35
Publications
1.1K
Citations
21
H-Index
2000
Active since
Michele Loreti is an author at University of Florence specializing in engineering, computer science, and systems engineering.
Top concepts
EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringAutomated ReasoningVerificationProbabilitySystem SoftwareProgram Analysis
Publications per year
2000–2022
35
35
Monitoring mobile and spatially distributed cyber-physical systems
Ezio Bartocci, Luca Bortolussi, Michele Loreti et al. · 2017 · 76 citations · Full text
Model checking mobile stochastic logic
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella et al. · Theoretical Computer Science · 2007 · 64 citations
Engineering, Automated Reasoning, Probabilistic Verification +8
Spatio-temporal model checking of vehicular movement in public transport systems
Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti et al. · International Journal on Software Tools for Technology Transfer · 2018 · 57 citations · Full text
Automotive Tracking, Engineering, Transportation System Management +7
Model Checking Spatial Logics for Closure Spaces
Vincenzo Ciancia, Diego Latella, Michele Loreti et al. · Logical Methods in Computer Science · 2017 · 56 citations · Full text
Rows per page
1–5 of 35