Angelo Ferrando


Indirizzo Via Dodecaneso, 35 - 16146 Genova
Ufficio 309
Telefono ufficio (+39) 010353 - 6710
Cellulare (+39) 3421761217
Pagina personale
Ciclo di dottorato XXXI
Tutor(s) Viviana Mascardi, Davide Ancona


  1. [1] A.Ferrando. Automatic partitions extraction to distribute the runtime verification of a global specification. In Proceedings of the Doctoral Consortium of AI*IA 2016 co-located with the 15th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 29, 2016., pages 40–45, 2016.
  2. [2] A.Ferrando, D.Ancona, and V.Mascardi. Monitoring Patients with Hypoglycemia using Self-Adaptive Protocol-Driven Agents: a Case Study. In Post-Proceedings of Engineering Multi-Agent Systems, pages 71, 2016.
  3. [3]  F.Aielli, D.Ancona, P.Caianiello, S.Costantini, G.D.Gasperis, A.D.Marco, A. Ferrando, and V. Mascardi. FRIENDLY & KIND with your health: Human-friendly knowledge-intensive dynamic systems for the e-health domain. In Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection - International Workshops of PAAMS 2016, Sevilla, Spain, June 1-3, 2016. Proceedings, pages 15–26, 2016.
  4. [4]  D.Ancona, D.Briola, A.Ferrando, and V.Mascardi. Global protocols as first class entities for self-adaptive agents. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, pages 1019–1029, 2015.
  5. [5]  D.Ancona, D.Briola, and V. Mascardi. Protocols with exceptions, timeouts, and handlers: A uniform framework for monitoring fail-uncontrolled and ambient intelligence systems. In Proceedings of the 16th Workshop ”From Objects to Agents”, Naples, Italy, June 17-19, 2015., pages 65–75, 2015.
  6. [6]  D.Ancona, A.Ferrando, and V.Mascardi. Comparing trace expressions and linear temporal logic for runtime verification. In Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pages 47–64, 2016.
  7. [7]  S.Beux, D.Briola, A.Corradi, G.Delzanno, A.Ferrando, F.Frassetto, G. Guerrini, V. Mascardi, M. Oreggia, F. Pozzi, A. Solimando, and A. Tacchella. Computational thinking for beginners: A successful experience using prolog. In Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pages 31–45, 2015.
  8. [8]  A.Bruzone,M.Massei,S.Poggi,C.Bartolucci, and A.Ferrando. Intelligent agents for human behavior modeling as support to operations. In M. S. Obaidat, S. Koziel, J. Kacprzyk, L. Leifsson, and T. Ören, editors, Simulation and Modeling Methodologies, Technologies and Applications, volume 319 of Advances in Intelligent Systems and Computing, pages 119–132. Springer International Publishing, 2015.
  9. [9]  A.G.Bruzzone, L.Dato, and A.Ferrando. Simulation exploration experience: Providing effective surveillance and defense for a moon base against threats from outer space. In 18th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2014, Toulouse, France, October 1-3, 2014, pages 121–126, 2014.
  10. [10]  A.G.Bruzzone, F.Madeo, M.Dallorto, D.Poggi, and A.Ferrando. Different modeling and simulation approaches applied to industrial process plants. In Proceedings of the Emerging M&S Applications in Industry & Academia / Modeling and Humanities Symposium, part of the 2013 Spring Simulation Multiconference, SpringSim ’13, San Diego, CA, USA, April 7-10, 2013, page 6, 2013.
  11. [11]  A.Ferrando. Parametric protocol-driven agents and their integration in JADE. In Proceedings of the thirtieth Convegno Italiano di Logica Computazionale, CILC 2015, 2015.
  12. [12]  M.Massei, S.Poggi, M.Agresta, and A.Ferrando. Development planning based on interoperable agent driven simulation. Journal of Computational Science, 5(3):395 – 407, 2014.
  13. [13]  M.Massei, S.Poggi, A.Tremori, andA.Ferrando. Innovative models for supporting operational planning. International Journal of Simulation and Process Modelling, 9(3), 2014. 

Sei qui: Home

Questo sito usa i cookie.