vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments. - Claudia Vannucchi; Michelangelo Diamanti; Gianmarco Mazzante; Diletta Romana Cacciagrano; Flavio Corradini; Rosario Culmone; Nikos Gorogiannis; Leonardo Mostarda; Franco Raimondi (Intelligent Environments, 2017)

Symbolic verification of event-condition-action rules in intelligent environments. - Claudia Vannucchi; Michelangelo Diamanti; Gianmarco Mazzante; Diletta Cacciagrano; Rosario Culmone; Nikos Gorogiannis; Leonardo Mostarda; Franco Raimondi (J. Reliab. Intell. Environ., 2017)

Automatic Abstraction and Refinement for Simulations with Adaptive Level of Detail. - Michelangelo Diamanti; David Thue (AIIDE, 2019)

Social Crowd Simulation: The Challenge of Fragmentation. - Michelangelo Diamanti; Hannes Högni Vilhjálmsson (AIVR, 2021)

Assessing the Disturbance from Overcrowding in Outdoor Nature Experiences. - Claudio Pedica; Michelangelo Diamanti; Hannes Högni Vilhjálmsson (CHI Extended Abstracts, 2021)

Extending the menge crowd simulation framework: visual authoring in unity. - Michelangelo Diamanti; Hannes Högni Vilhjálmsson (IVA, 2022)