Michele Loreti
- 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 #cs.LO
- Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication
2017/10/26 by Yehia Abd Alrahman, Alrahman, Yehia Abd, Rocco De Nicola +3 · 2 citations
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- TAPAs: A Tool for the Analysis of Process Algebras
2008/01/01 by Francesco Calzolai, Rocco De Nicola, Michele Loreti +1 · 1 citation
Computer Science · Mathematics · #Algebra over a field #Algorithm #Computer science #Counterexample #Discrete mathematics #Equivalence (formal languages) #Feature (linguistics) #Formal Methods in Verification #Mathematics #Model checking #Model-Driven Software Engineering Techniques #Process (computing) #Process calculus #Programming language #Pure mathematics #Representation (politics) #Rotation formalisms in three dimensions #Set (abstract data type) #Software Reliability and Analysis Research #Theoretical computer science #Transition system