RESEARCHER PROFILE

Michele Loreti

← Back to Università di Camerino

M

Università di Camerino

Logic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and KnowledgePetri Nets in System ModelingAdvanced Software Engineering Methodologies

Michele Loreti works in Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Petri Nets in System Modeling, Advanced Software Engineering Methodologies. Recorded institutional associations include Università di Camerino.

222Publications
2,741Citations
29H-index

ORCID

Inclusion identifies researchers whose recorded research contributions may inform their university’s understanding of its research community. It does not rank individual research quality or establish current employment.

Selected research works

Up to 100 highly cited works; DOI links open the original research. Counts reflect the collected record, not real-time citation totals.

  1. SCC: A Service Centered Calculus

    2006 · 148 citations

  2. A Formal Approach to Autonomic Systems Programming

    2014 · 140 citations

  3. Sessions and Pipelines for Structured Service Programming

    2008 · 117 citations

  4. The Klaim Project: Theory and Practice

    2003 · 97 citations

  5. Monitoring mobile and spatially distributed cyber-physical systems

    2017 · 73 citations

  6. Specifying and Verifying Properties of Space

    2014 · 69 citations

  7. Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools

    2016 · 67 citations

  8. A Language-Based Approach to Autonomic Computing

    2013 · 65 citations

  9. Model checking mobile stochastic logic

    2007 · 64 citations

  10. The SCEL Language: Design, Implementation, Verification

    2015 · 64 citations

  11. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties

    2015 · 62 citations

  12. Spatio-temporal model checking of vehicular movement in public transport systems

    2018 · 58 citations

  13. Model Checking Spatial Logics for Closure Spaces

    2017 · 56 citations

  14. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL

    2018 · 55 citations

  15. Programming interactions in collective adaptive systems by relying on attribute-based communication

    2017 · 49 citations

  16. A calculus for attribute-based communication

    2015 · 48 citations

  17. CARMA: Collective Adaptive Resource-sharing Markovian Agents

    2015 · 47 citations

  18. A uniform definition of stochastic process calculi

    2013 · 44 citations

  19. On the Power of Attribute-Based Communication

    2016 · 44 citations

  20. Rate-Based Transition Systems for Stochastic Process Calculi

    2009 · 40 citations

  21. An Experimental Spatio-Temporal Model Checker

    2015 · 40 citations

  22. A calculus for collective-adaptive systems and its behavioural theory

    2019 · 37 citations

  23. A modal logic for mobile agents

    2004 · 36 citations

  24. An infrastructure language for open nets

    2002 · 36 citations

  25. A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences

    2013 · 35 citations

← Return to the university profile