Michele Loreti
According to our database1, Michele Loreti
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:
On csauthors.net:
Bibliography
2017
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.
CoRR, 2017
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields.
Logical Methods in Computer Science, 2017
FlyFast: A Mean Field Model Checker.
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
Monitoring mobile and spatially distributed cyber-physical systems.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
2016
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications.
IEEE Wireless Commun., 2016
Preface.
Electr. Notes Theor. Comput. Sci., 2016
Model Checking Spatial Logics for Closure Spaces.
Logical Methods in Computer Science, 2016
On the Power of Attribute-based Communication.
CoRR, 2016
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools.
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016
Spatial Logic and Spatial Model Checking for Closure Spaces.
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
Programming of CAS Systems by Relying on Attribute-Based Communication.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
On the Power of Attribute-Based Communication.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
2015
The SCEL Language: Design, Implementation, Verification.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Tools for Ensemble Design and Runtime.
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
CaSPiS: a calculus of sessions, pipelines and services.
Mathematical Structures in Computer Science, 2015
Editorial for the Special Issue on Open Problems in Concurrency Theory.
J. Log. Algebr. Meth. Program., 2015
CARMA: Collective Adaptive Resource-sharing Markovian Agents.
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 Inf., 2015
An Experimental Spatio-Temporal Model Checker.
Proceedings of the Software Engineering and Formal Methods, 2015
A calculus for attribute-based communication.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Monitoring and visualizing adaptation of autonomic systems at runtime.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties.
Proceedings of the Runtime Verification - 6th International Conference, 2015
On-the-fly Fluid Model Checking via Discrete Time Population Models.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields.
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
On StocS: A Stochastic Extension of SCEL.
Proceedings of the Software, 2015
2014
Relating strong behavioral equivalences for processes with nondeterminism and probabilities.
Theor. Comput. Sci., 2014
A Formal Approach to Autonomic Systems Programming: The SCEL Language.
TAAS, 2014
Report on OPCT 2014.
Bulletin of the EATCS, 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
On-the-fly Probabilistic Model Checking.
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014
Specifying and Verifying Properties of Space - Extended Version.
CoRR, 2014
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
Logical Methods in Computer Science, 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
On Programming and Policing Autonomic Computing Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Specifying and Verifying Properties of Space.
Proceedings of the Theoretical Computer Science, 2014
Programming and Verifying Component Ensembles.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014
Specification and Analysis of Open-Ended Systems with CARMA.
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 uniform definition of stochastic process calculi.
ACM Comput. Surv., 2013
A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities"
CoRR, 2013
On-the-fly Fast Mean-Field Model-Checking: Extended Version.
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
On-the-fly Fast Mean-Field Model-Checking.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013
2012
Modeling adaptation with a tuple-based coordination language.
Proceedings of the ACM Symposium on Applied Computing, 2012
Towards a Formal Verification Methodology for Collective Robotic Systems.
Proceedings of the Formal Methods and Software Engineering, 2012
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
Proceedings of the Foundations of Software Science and Computational Structures, 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
Context Aware Specification and Verification of Distributed Systems.
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011
A Language-Based Approach to Autonomic Computing.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
SoSL: A Service-Oriented Stochastic Logic.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Quantitative Analysis of Services.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Analysing Robot Movement Using the Sensoria Methods.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
Property-Preserving Refinement of Concurrent Systems.
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
Simulation and Analysis of Distributed Systems in Klaim.
Proceedings of the Coordination Models and Languages, 12th International Conference, 2010
2009
MarCaSPiS: a Markovian Extension of a Calculus for Services.
Electr. Notes Theor. Comput. Sci., 2009
Rate-Based Transition Systems for Stochastic Process Calculi.
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009
On a Uniform Framework for the Definition of Stochastic Process Languages.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009
A process Algebra Approach to Fuzzy Reasoning.
Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, 2009
Assume-Guarantee Verification of Concurrent Systems.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009
2008
TAPAs: A Tool for the Analysis of Process Algebras.
Trans. Petri Nets and Other Models of Concurrency, 2008
Multiple-Labelled Transition Systems for nominal calculi and their logics.
Mathematical Structures in Computer Science, 2008
Provably Correct Implementations of Services.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008
A Fluid Flow Approach to Usability Analysis of Multi-user Systems.
Proceedings of the Engineering Interactive Systems, 2008
Sessions and Pipelines for Structured Service Programming.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008
Implementing Session Centered Calculi.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008
2007
Model checking mobile stochastic logic.
Theor. Comput. Sci., 2007
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi.
Electr. Notes Theor. Comput. Sci., 2007
Implementing a Distributed Mobile Calculus Using the IMC Framework.
Electr. Notes Theor. Comput. Sci., 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
2006
Implementing Mobile and Distributed Applications in X-Klaim.
Scalable Computing: Practice and Experience, 2006
SCC: A Service Centered Calculus.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006
Assessing CS1 java skills: a three-year experience.
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
A modal logic for mobile agents.
ACM Trans. Comput. Log., 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
MoMo: A Modal Logic for Reasoning About Mobility.
Proceedings of the Formal Methods for Components and Objects, 2004
2003
The Klaim Project: Theory and Practice.
Proceedings of the Global Computing. Programming Environments, 2003
2002
AGILE: Software Architecture for Mobility.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Software update via mobile agent based programming.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002
An infrastructure language for open nets.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002
Formalizing Properties of Mobile Agent Systems.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002
2001
Hyperformulae, Parallel Deductions and Intersection Types.
Electr. Notes Theor. Comput. Sci., 2001
Modelling Node Connectivity in Dynamically Evolving Networks.
Electr. Notes Theor. Comput. Sci., 2001
2000
Structured Nets in KLAIM.
Proceedings of the Applied Computing 2000, 2000
A Modal Logic for KLAIM.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000