Michele Loreti

Ruggero Lanotte

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

Visualisation of Collective Systems with Sequit and Sibilla.

[BibT_eX]

[DOI]

Nicola Del Giudice

Federico Maria Cruciani

Proceedings of the Coordination Models and Languages, 2024

RobTL: Robustness Temporal Logic for CPS.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Concurrency Theory, 2024

Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2024

2023

MoonLight: a lightweight tool for monitoring spatio-temporal properties.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., August, 2023

A Spatial Logic for Simplicial Models.

[BibT_eX]

[DOI]

Michela Quadrini

Log. Methods Comput. Sci., 2023

A framework to measure the robustness of programs in the unpredictable environment.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2023

DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2023

2022

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2022

EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2022

REPTILE: A Proactive Real-Time Deep Reinforcement Learning Self-adaptive Framework.

[BibT_eX]

[DOI]

CoRR, 2022

A Logical Framework for Reasoning About Local and Global Properties of Collective Systems.

[BibT_eX]

[DOI]

Aniqa Rehman

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

YODA: Yet anOther agent Description lAnguage.

[BibT_eX]

[DOI]

Nicola Del Giudice

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

2021

Provably correct implementation of the <i>AbC</i> calculus.

[BibT_eX]

[DOI]

Tan Duong

Sci. Comput. Program., 2021

Semantics of the probabilistic Lambda Calculus By Dirk Draheim.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

A Spatial Logic for a Simplicial Complex Model.

[BibT_eX]

[DOI]

Michela Quadrini

CoRR, 2021

Online monitoring of spatio-temporal properties for imprecise signals.

[BibT_eX]

[DOI]

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

How Adaptive and Reliable is Your Program?

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

2020

The metric linear-time branching-time spectrum on nondeterministic probabilistic processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Fluid approximation of broadcasting systems.

[BibT_eX]

[DOI]

Luca Bortolussi

Theor. Comput. Sci., 2020

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

[BibT_eX]

[DOI]

Sci. Comput. Program., 2020

Monitoring Spatio-Temporal Properties (Invited Tutorial).

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 20th International Conference, 2020

Measuring Adaptability and Reliability of Large Scale Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

2019

Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL.

[BibT_eX]

[DOI]

Ludovica Luisa Vissat

ACM Trans. Model. Comput. Simul., 2019

Replicated Computations Results (RCR) Report for "Statistical Abstraction for Multi-scale Spatio-temporal Systems".

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2019

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

[BibT_eX]

[DOI]

Inf. Comput., 2019

Inferring analyzable models from trajectories of spatially-distributed internet of things.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Modelling and analysing resilient cyber-physical systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Tan Duong

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

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2018

Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST).

[BibT_eX]

[DOI]

Maurice H. ter Beek

ACM Trans. Model. Comput. Simul., 2018

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

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2018

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

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

Statistical Analysis of CARMA Models: an Advanced Tutorial.

[BibT_eX]

[DOI]

Proceedings of the 2018 Winter Simulation Conference, 2018

A Distributed Coordination Infrastructure for Attribute-Based Interaction.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017

A Behavioural Theory for Interactions in Collective-Adaptive Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields.

[BibT_eX]

[DOI]

Ugo Montanari

Log. Methods Comput. Sci., 2017

Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic.

[BibT_eX]

[DOI]

Ludovica Luisa Vissat

Laura Nenzi

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

FlyFast: A Mean Field Model Checker.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ludovica Luisa Vissat

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Monitoring mobile and spatially distributed cyber-physical systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications.

[BibT_eX]

[DOI]

IEEE Wirel. Commun., 2016

Model Checking Spatial Logics for Closure Spaces.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2016

jSSTL - A Tool to Monitor Spatio-Temporal Properties.

[BibT_eX]

[DOI]

Laura Nenzi

Luca Bortolussi

Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

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

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

Spatial Logic and Spatial Model Checking for Closure Spaces.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Programming of CAS Systems by Relying on Attribute-Based Communication.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

On the Power of Attribute-Based Communication.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015

The SCEL Language: Design, Implementation, Verification.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Tools for Ensemble Design and Runtime.

[BibT_eX]

[DOI]

Dhaminda B. Abeywickrama

Giacoma Valentina Monreale

Andrea Margheri

Philip Mayer

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

CaSPiS: a calculus of sessions, pipelines and services.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

Editorial for the Special Issue on Open Problems in Concurrency Theory.

[BibT_eX]

[DOI]

Daniel Gebler

J. Log. Algebraic Methods Program., 2015

Preface.

[BibT_eX]

[DOI]

Pierluigi Crescenzi

Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

CARMA: Collective Adaptive Resource-sharing Markovian Agents.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Acta Informatica, 2015

An Experimental Spatio-Temporal Model Checker.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2015

A calculus for attribute-based communication.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Monitoring and visualizing adaptation of autonomic systems at runtime.

[BibT_eX]

[DOI]

Dhaminda B. Abeywickrama

Nikola B. Serbedzija

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

On-the-fly Fluid Model Checking via Discrete Time Population Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

A Fixpoint-Based Calculus for Graph-Shaped Computational Fields.

[BibT_eX]

[DOI]

Ugo Montanari

Proceedings of the Coordination Models and Languages, 2015

Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2015

On StocS: A Stochastic Extension of SCEL.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

2014

Relating strong behavioral equivalences for processes with nondeterminism and probabilities.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

A Formal Approach to Autonomic Systems Programming: The SCEL Language.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2014

Report on OPCT 2014.

[BibT_eX]

[DOI]

Daniel Gebler

Bull. EATCS, 2014

Stochastically timed predicate-based communication primitives for autonomic computing.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

On-the-fly Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014

Specifying and Verifying Properties of Space - Extended Version.

[BibT_eX]

[DOI]

CoRR, 2014

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2014

Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

On Programming and Policing Autonomic Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Specifying and Verifying Properties of Space.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2014

Programming and Verifying Component Ensembles.

[BibT_eX]

[DOI]

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Specification and Analysis of Open-Ended Systems with CARMA.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Inf. Comput., 2013

A uniform definition of stochastic process calculi.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2013

A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities"

[BibT_eX]

[DOI]

CoRR, 2013

On-the-fly Fast Mean-Field Model-Checking: Extended Version.

[BibT_eX]

[DOI]

CoRR, 2013

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

On-the-fly Fast Mean-Field Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

2012

Modeling adaptation with a tuple-based coordination language.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Towards a Formal Verification Methodology for Collective Robotic Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

2011

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi

[BibT_eX]

[DOI]

Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011

Context Aware Specification and Verification of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

A Language-Based Approach to Autonomic Computing.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

SoSL: A Service-Oriented Stochastic Logic.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Quantitative Analysis of Services.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Analysing Robot Movement Using the Sensoria Methods.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Property-Preserving Refinement of Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes.

[BibT_eX]

[DOI]

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Simulation and Analysis of Distributed Systems in Klaim.

[BibT_eX]

[DOI]

Francesco Calzolai

Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

2009

Rate-Based Transition Systems for Stochastic Process Calculi.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

On a Uniform Framework for the Definition of Stochastic Process Languages.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

A process Algebra Approach to Fuzzy Reasoning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2008

TAPAs: A Tool for the Analysis of Process Algebras.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2008

Multiple-Labelled Transition Systems for nominal calculi and their logics.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2008

MarCaSPiS: a Markovian Extension of a Calculus for Services.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Structural Operational Semantics, 2008

Provably Correct Implementations of Services.

[BibT_eX]

[DOI]

Roberto Bruni

Leonardo Gaetano Mezzina

Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

Combining Timed Coordination Primitives and Probabilistic Tuple Spaces.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

A Fluid Flow Approach to Usability Analysis of Multi-user Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Interactive Systems, 2008

Sessions and Pipelines for Structured Service Programming.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

Implementing Session Centered Calculi.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007

Model checking mobile stochastic logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Design of a Password-based Authentication Method for Wireless Networks.

[BibT_eX]

Andrea Manganaro

Mingyur Koblensky

Proceedings of the WINSYS 2007, 2007

Modeling Fuzzy Behaviours in Concurrent Systems.

[BibT_eX]

Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007

Design of a Password-Based EAP Method.

[BibT_eX]

[DOI]

Andrea Manganaro

Mingyur Koblensky

Proceedings of the E-business and Telecommunications - 4th International Conference, 2007

2006

Implementing Mobile and Distributed Applications in X-Klaim.

[BibT_eX]

[DOI]

Scalable Comput. Pract. Exp., 2006

Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi.

[BibT_eX]

[DOI]

Vasco Thudichum Vasconcelos

Proceedings of the Workshop on Logic, Models and Computer Science, 2006

Implementing a Distributed Mobile Calculus Using the IMC Framework.

[BibT_eX]

[DOI]

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

SCC: A Service Centered Calculus.

[BibT_eX]

[DOI]

Gianluigi Zavattaro

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Assessing CS1 java skills: a three-year experience.

[BibT_eX]

[DOI]

Pilu Crescenzi

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.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2005

2004

A modal logic for mobile agents.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2004

Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2004

An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Advanced Learning Technologies, 2004

MoMo: A Modal Logic for Reasoning About Mobility.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2004

2003

The Klaim Project: Theory and Practice.

[BibT_eX]

[DOI]

Proceedings of the Global Computing. Programming Environments, 2003

2002

AGILE: Software Architecture for Mobility.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Software update via mobile agent based programming.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

An infrastructure language for open nets.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Formalizing Properties of Mobile Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001

Hyperformulae, Parallel Deductions and Intersection Types.

[BibT_eX]

[DOI]

Beatrice Capitani

Betti Venneri

Proceedings of the Bohm's theorem: applications to Computer Science Theory, 2001

Modelling Node Connectivity in Dynamically Evolving Networks.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Concurrency and Coordination, 2001

2000

Structured Nets in KLAIM.

[BibT_eX]

[DOI]

Proceedings of the Applied Computing 2000, 2000

A Modal Logic for KLAIM.

[BibT_eX]

[DOI]