Michele Loreti
Orcid: 0000-0003-3061-863XAffiliations:
- University of Camerino, Italy
- University of Florence, Italy (former)
According to our database1,
Michele Loreti
authored at least 142 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Sci. Comput. Program., 2024
Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), 2024
Proceedings of the Ital-IA Intelligenza Artificiale, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations.
Proceedings of the Formal Methods for Industrial Critical Systems, 2024
Proceedings of the Coordination Models and Languages, 2024
Proceedings of the 35th International Conference on Concurrency Theory, 2024
Proceedings of the Computational Methods in Systems Biology, 2024
2023
Int. J. Softw. Tools Technol. Transf., August, 2023
Log. Methods Comput. Sci., 2023
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems.
Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023
Implementing a CTL Model Checker with μ <i>G</i>, a Language for Programming Graph Neural Networks.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023
Proceedings of the Coordination Models and Languages, 2023
2022
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems.
Log. Methods Comput. Sci., 2022
CoRR, 2022
CoRR, 2022
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems.
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022
2021
Sci. Comput. Program., 2021
Formal Aspects Comput., 2021
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021
2020
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes.
Theor. Comput. Sci., 2020
Programming interactions in collective adaptive systems by relying on attribute-based communication.
Sci. Comput. Program., 2020
Proceedings of the Runtime Verification - 20th International Conference, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020
2019
ACM Trans. Model. Comput. Simul., 2019
Replicated Computations Results (RCR) Report for "Statistical Abstraction for Multi-scale Spatio-temporal Systems".
ACM Trans. Model. Comput. Simul., 2019
Inf. Comput., 2019
Inferring analyzable models from trajectories of spatially-distributed internet of things.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication.
Proceedings of the Coordination Models and Languages, 2019
2018
Replicated Computations Results (RCR) Report for "Mesoscopic Modelling of Pedestrian Movement using Carma and its Tools".
ACM Trans. Model. Comput. Simul., 2018
Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST).
ACM Trans. Model. Comput. Simul., 2018
Int. J. Softw. Tools Technol. Transf., 2018
Log. Methods Comput. Sci., 2018
Proceedings of the 2018 Winter Simulation Conference, 2018
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018
2017
Log. Methods Comput. Sci., 2017
Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation.
Proceedings of the ModelEd, TestEd, TrustEd, 2017
2016
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications.
IEEE Wirel. Commun., 2016
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination.
Sci. Comput. Program., 2015
Math. Struct. Comput. Sci., 2015
J. Log. Algebraic Methods Program., 2015
Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes.
Acta Informatica, 2015
Proceedings of the Software Engineering and Formal Methods, 2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the Runtime Verification - 6th International Conference, 2015
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015
Proceedings of the Coordination Models and Languages, 2015
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems.
Proceedings of the Coordination Models and Languages, 2015
2014
Relating strong behavioral equivalences for processes with nondeterminism and probabilities.
Theor. Comput. Sci., 2014
ACM Trans. Auton. Adapt. Syst., 2014
Stochastically timed predicate-based communication primitives for autonomic computing.
Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
Log. Methods Comput. Sci., 2014
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Proceedings of the Theoretical Computer Science, 2014
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014
Proceedings of the Agent Environments for Multi-Agent Systems IV, 2014
2013
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences.
Inf. Comput., 2013
A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities"
CoRR, 2013
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes.
Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013
2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the Formal Methods and Software Engineering, 2012
2011
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010
Proceedings of the Coordination Models and Languages, 12th International Conference, 2010
2009
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009
Proceedings of the Formal Methods for Industrial Critical Systems, 2009
Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, 2009
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009
2008
Trans. Petri Nets Other Model. Concurr., 2008
Math. Struct. Comput. Sci., 2008
Proceedings of the Fifth Workshop on Structural Operational Semantics, 2008
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008
Proceedings of the Engineering Interactive Systems, 2008
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008
2007
Design of a Password-based Authentication Method for Wireless Networks.
Proceedings of the WINSYS 2007, 2007
Modeling Fuzzy Behaviours in Concurrent Systems.
Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007
Proceedings of the E-business and Telecommunications - 4th International Conference, 2007
2006
Scalable Comput. Pract. Exp., 2006
Proceedings of the Workshop on Logic, Models and Computer Science, 2006
Proceedings of the Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, 2006
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006
Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006
2005
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing.
Proceedings of the Distributed Applications and Interoperable Systems, 2005
2004
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming.
Autom. Softw. Eng., 2004
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses.
Proceedings of the IEEE International Conference on Advanced Learning Technologies, 2004
Proceedings of the Formal Methods for Components and Objects, 2004
2003
Proceedings of the Global Computing. Programming Environments, 2003
2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002
2001
Proceedings of the Bohm's theorem: applications to Computer Science Theory, 2001
Proceedings of the International Workshop on Concurrency and Coordination, 2001
2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000