Francesco Tiezzi

Lorenzo Bettini

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

Klaim in the Making.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Unveiling Algorand Storage Peculiarities.

[BibT_eX]

[DOI]

Nawaz Abdullah Malla

Andrea Morichetta

Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024

On the Interplay Between BPMN Collaborations and the Physical Environment.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 22nd International Conference, 2024

BEAR: BPMN and Environment AnimatoR.

[BibT_eX]

[DOI]

Proceedings of the Best Dissertation Award, 2024

2023

Coordinating and programming multiple ROS-based robots with X-KLAIM.

[BibT_eX]

[DOI]

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

A BPMN-driven framework for Multi-Robot System development.

[BibT_eX]

[DOI]

Robotics Auton. Syst., February, 2023

A systematic literature review on IoT-aware business process modeling views, requirements and notations.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2023

A Flexible Approach to Multi-party Business Process Execution on Blockchain.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2023

Empowering trusted data sharing for data analytics in a federated environment: A blockchain-based approach.

[BibT_eX]

[DOI]

Pierluigi Plebani

Davide Rossetto

Frontiers Blockchain, 2023

Checkpoint-based rollback recovery in session programming.

[BibT_eX]

[DOI]

CoRR, 2023

Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems.

[BibT_eX]

[DOI]

Big Data Cogn. Comput., 2023

Enhancing compatibility in QoS communication for the Internet of Robotic Things.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 2023

A Methodology for the Analysis of Robotic Systems via Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Enterprise Design, Operations, and Computing, 2023

Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach.

[BibT_eX]

[DOI]

Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), 2023

Rollback Recovery in Session-Based Programming.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2023

2022

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain.

[BibT_eX]

[DOI]

ACM Trans. Manag. Inf. Syst., 2022

BPMN 2.0 OR-Join Semantics: Global and local characterisation.

[BibT_eX]

[DOI]

Inf. Syst., 2022

Formalising and animating multiple instances in BPMN collaborations.

[BibT_eX]

[DOI]

Inf. Syst., 2022

Consistent modelling of hierarchical BPMN collaborations.

[BibT_eX]

[DOI]

Bus. Process. Manag. J., 2022

Flexible execution of multi-party business processes on blockchain.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain, 2022

A Choreography-Driven Approach for Blockchain-Based IoT Applications.

[BibT_eX]

[DOI]

Proceedings of the 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2022

Programming Multi-robot Systems with X-KLAIM.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

PURPLE: a PURPose-guided Log GEnerator (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the ICPM Doctoral Consortium and Demo Track 2022 co-located with 4th International Conference on Process Mining (ICPM 2022), 2022

An Approach to Support Digital Process Twin.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intl. Conf. on Dependable, 2022

A Technique for Collaboration Discovery.

[BibT_eX]

[DOI]

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2022

ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies.

[BibT_eX]

[DOI]

Proceedings of the Best Dissertation Award, 2022

A Purpose-Guided Log Generation Framework.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 20th International Conference, 2022

2021

A formal approach for the analysis of BPMN collaboration models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2021

Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2021

Disciplined use of BPMN for mission modeling of Multi-Robot Systems.

[BibT_eX]

[DOI]

Proceedings of the Forum at Practice of Enterprise Modeling 2021 (PoEM-Forum 2021) (PoEM 2021), 2021

ChorChain: A model-driven framework for choreography-based systems using blockchain.

[BibT_eX]

[DOI]

Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

RePROSitory: a Repository platform for sharing business PROcess models and logS.

[BibT_eX]

[DOI]

Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

2020

Collaboration vs. choreography conformance in BPMN.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2020

Correctness checking for BPMN collaborations with sub-processes.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Replacement freeness: A criterion for separating process calculi.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2020

A formal approach to the engineering of domain-specific distributed systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2020

Ethereum smart contracts: Analysis and statistics of their source code and opcodes.

[BibT_eX]

[DOI]

Internet Things, 2020

Engineering trustable choreography-based systems using blockchain.

[BibT_eX]

[DOI]

Flávio Corradini

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Writing Robotics Applications with X-Klaim.

[BibT_eX]

[DOI]

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

PALM: A Technique for Process ALgebraic Specification Mining.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Verification of Privacy-Enhanced Collaborations.

[BibT_eX]

[DOI]

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2020

2019

A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2019

Defining and guaranteeing dynamic service levels in clouds.

[BibT_eX]

[DOI]

Vincenzo Scoca

Future Gener. Comput. Syst., 2019

UBBA: Unity Based BPMN Animator.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Engineering in Responsible Information Systems, 2019

RePROSitory: a Repository Platform for Sharing Business PROcess modelS.

[BibT_eX]

[DOI]

Proceedings of the Dissertation Award, 2019

Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

X-Klaim Is Back.

[BibT_eX]

[DOI]

Lorenzo Bettini

Emanuela Merelli

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Automata-Based Behavioural Contracts with Action Correlation.

[BibT_eX]

[DOI]

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

Analysis of Ethereum Smart Contracts and Opcodes.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Networking and Applications, 2019

2018

A formal approach to modeling and verification of business process collaborations.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

A Classification of BPMN Collaborations based on Safeness and Soundness Notions.

[BibT_eX]

[DOI]

CoRR, 2018

Global vs. Local Semantics of BPMN 2.0 OR-Join.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

Runtime Computation of Optimal Offloading Scheduling.

[BibT_eX]

[DOI]

Andrea Morichetta

Barbara Re

Proceedings of the 6th IEEE International Conference on Mobile Cloud Computing, 2018

Formalising BPMN Service Interaction Patterns.

[BibT_eX]

[DOI]

Proceedings of the Practice of Enterprise Modeling - 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31, 2018

Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

Checking Business Process Correctness in Apromore.

[BibT_eX]

[DOI]

Proceedings of the Information Systems in the Big Data Era, 2018

MIDA: Multiple Instances and Data Animator.

[BibT_eX]

[DOI]

Proceedings of the Dissertation Award, 2018

Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 16th International Conference, 2018

2017

A language-based approach to modelling and analysis of Twitter interactions.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

Causal-consistent rollback in a tuple-based language.

[BibT_eX]

[DOI]

Elena Giachino

Ivan Lanese

J. Log. Algebraic Methods Program., 2017

BProVe: tool support for business process verification.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

BProVe: a formal verification framework for business process models.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Supporting Multi-layer Modeling in BPMN Collaborations.

[BibT_eX]

[DOI]

Proceedings of the Enterprise and Organizational Modeling and Simulation, 2017

On Avoiding Erroneous Synchronization in BPMN Processes.

[BibT_eX]

[DOI]

Proceedings of the Business Information Systems - 20th International Conference, 2017

2016

Supporting Autonomic Management of Clouds: Service Clustering With Random Forest.

[BibT_eX]

[DOI]

Sotirios A. Tsaftaris

IEEE Trans. Netw. Serv. Manag., 2016

Reversing Single Sessions.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 8th International Conference, 2016

Dynamic SLAs for Clouds.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing, 2016

2015

The SCEL Language: Design, Implementation, Verification.

[BibT_eX]

[DOI]

Diego Latella

Alberto Lluch-Lafuente

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

The Autonomic Cloud.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Correctness of Service Components and Service Component Ensembles.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

A formalized framework for mobile cloud computing.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2015

Reversible session-based pi-calculus.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2015

On Properties of Policy-Based Specifications.

[BibT_eX]

[DOI]

Andrea Margheri

Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015

Domain-specific queries and Web search personalization: some investigations.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015

Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

A calculus for attribute-based communication.

[BibT_eX]

[DOI]

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

Causal-Consistent Reversibility in a Tuple-Based Language.

[BibT_eX]

[DOI]

Elena Giachino

Ivan Lanese

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Decision Support for Mobile Cloud Computing Applications via Model Checking.

[BibT_eX]

[DOI]

Luca Aceto

Andrea Morichetta

Proceedings of the 3rd IEEE International Conference on Mobile Cloud Computing, 2015

An Operational Semantics of BPMN Collaboration.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Service Clustering for Autonomic Clouds Using Random Forest.

[BibT_eX]

[DOI]

Sotirios A. Tsaftaris

Proceedings of the 15th IEEE/ACM International Symposium on Cluster, 2015

Programming Autonomic Systems with Multiple Constraint Stores.

[BibT_eX]

[DOI]

Ugo Montanari

Proceedings of the Software, 2015

2014

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

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2014

Causal-Consistent Reversibility.

[BibT_eX]

[DOI]

Ivan Lanese

Bull. EATCS, 2014

Towards Reversible Sessions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

SLAC: A Formal Service-Level-Agreement Language for Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Trust-Based Enforcement of Security Policies.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Towards a Formal Approach to Mobile Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro International Conference on Parallel, 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

Self-expression and Dynamic Attribute-Based Ensembles in SCEL.

[BibT_eX]

[DOI]

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

Reputation-Based Cooperation in the Clouds.

[BibT_eX]

[DOI]

Alessandro Celestini

Alberto Lluch-Lafuente

Philip Mayer

Stefano Sebastio

Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014

Programming and Verifying Component Ensembles.

[BibT_eX]

[DOI]

Alberto Lluch-Lafuente

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

Reputation-Based Composition of Social Web Services.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014

2013

Special issue on Automated Specification and Verification of Web Systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2013

Blind-date Conversation Joining.

[BibT_eX]

[DOI]

Luca Cesari

Proceedings of the Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, 2013

Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013

Linguistic Abstractions for Programming and Policing Autonomic Computing Systems.

[BibT_eX]

[DOI]

Andrea Margheri

Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Specifying and analysing reputation systems with a coordination language.

[BibT_eX]

[DOI]

Alessandro Celestini

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Network-Aware Evaluation Environment for Reputation Systems.

[BibT_eX]

[DOI]

Alessandro Celestini

Proceedings of the Trust Management VII - 7th IFIP WG 11.11 International Conference, 2013

Formalising Adaptation Patterns for Autonomic Ensembles.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data.

[BibT_eX]

Proceedings of the HEALTHINF 2013, 2013

2012

A logical verification methodology for service-oriented computing.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2012

Using formal methods to develop WS-BPEL applications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios.

[BibT_eX]

[DOI]

J. Medical Syst., 2012

A calculus for orchestration of web services.

[BibT_eX]

[DOI]

J. Appl. Log., 2012

Modeling adaptation with a tuple-based coordination language.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Towards model-driven development of access control policies for web applications.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Security Workshop, 2012

Towards a Formal Verification Methodology for Collective Robotic Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

Formalisation and Implementation of the XACML Access Control Mechanism.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - 4th International Symposium, 2012

2011

An accessible verification environment for UML models of services.

[BibT_eX]

[DOI]

Federico Banti

J. Symb. Comput., 2011

A WSDL-based type system for asynchronous WS-BPEL processes.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2011

Orchestrating Tuple-Based Languages.

[BibT_eX]

[DOI]

Andrea Margheri

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

e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience.

[BibT_eX]

[DOI]

Proceedings of the e-Infrastructure and e-Services for Developing Countries, 2011

The Sensoria Approach Applied to the Finance Case Study.

[BibT_eX]

[DOI]

Stefania Gnesi

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

2010

A criterion for separating process calculi

[BibT_eX]

[DOI]

Federico Banti

Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

A tool for rapid development of WS-BPEL applications.

[BibT_eX]

[DOI]

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

2009

From Architectural to Behavioural Specification of Services.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security, 5th International Conference, 2009

On Observing Dynamic Prioritised Actions in SOC.

[BibT_eX]

[DOI]

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

2008

TAPAs: A Tool for the Analysis of Process Algebras.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2008

A Symbolic Semantics for a Calculus for Service-Oriented Computing.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

Specification and Analysis of SOC Systems Using COWS: A Finance Case Study.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2008

A Model Checking Approach for Verifying COWS Specifications.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2008

A Formal Account of WS-BPEL.

[BibT_eX]

[DOI]

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

Specifying and Analysing SOC Applications with COWS.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2007

Service Discovery and Negotiation With COWS.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007

C-clock-WS: A Timed Service-Oriented Calculus.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2007

Regulating Data Exchange in Service Oriented Applications.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

A Calculus for Orchestration of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2007

2006

A WSDL-Based Type System for WS-BPEL.

[BibT_eX]

[DOI]