Michele Loreti

According to our database1, Michele Loreti
  • authored at least 97 papers between 2000 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
A Behavioural Theory for Interactions in Collective-Adaptive Systems.
CoRR, 2017

Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication.
CoRR, 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

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 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


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

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


  Loading...