( en | de | ru )

 

Disambiguation of "Loreti, Michele"

Author of the publication

copydeleteadd this publication to your clipboard
Inferring analyzable models from trajectories of spatially-distributed internet of things.

, , , , , and . SEAMS@ICSE, page 100-106. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Valeria Loreti

Michele Luminati

Michele Albertini

Michèle Mattusch

Michele Cagnoli

 

Other publications of authors with the same name

An infrastructure language for open nets., , and . SAC, page 373-377. ACM, (2002)Property-Preserving Refinement of Concurrent Systems., and . TGC, volume 6084 of Lecture Notes in Computer Science, page 222-236. Springer, (2010)Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming., , and . Autom. Softw. Eng., 11 (3): 245-288 (2004)MoonLight: a lightweight tool for monitoring spatio-temporal properties., , , , and . Int. J. Softw. Tools Technol. Transf., 25 (4): 503-517 (August 2023)Model Checking Spatial Logics for Closure Spaces., , , and . Log. Methods Comput. Sci., (2016)Structured Nets in KLAIM., , and . SAC (1), page 174-180. ACM, (2000)A uniform definition of stochastic process calculi., , , and . ACM Comput. Surv., 46 (1): 5:1-5:35 (2013)Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL., , , , and . Log. Methods Comput. Sci., (2018)A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems., , , and . Log. Methods Comput. Sci., (2022)Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST)., and . ACM Trans. Model. Comput. Simul., 28 (2): 8:1-8:4 (2018)