Loreti, Michele
- MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
2021/04/29 by Ezio Bartocci, Luca Bortolussi, Bartocci, Ezio +7 · 1 citation
Computer Science · Decision Sciences · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Simulation Techniques and Applications
- Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication
2017/10/26 by Alrahman, Yehia Abd, De Nicola, Rocco, Loreti, Michele · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)