A WSDL-Based Type System for WS-BPEL. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (COORDINATION, 2006)

A Calculus for Orchestration of Web Services. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (ESOP, 2007)

Regulating Data Exchange in Service Oriented Applications. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (FSEN, 2007)

C-clock-WS: A Timed Service-Oriented Calculus. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (ICTAC, 2007)

Service Discovery and Negotiation With COWS. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (WWV, 2007)

Specifying and Analysing SOC Applications with COWS. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (Concurrency, Graphs and Models, 2008)

A Formal Account of WS-BPEL. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (COORDINATION, 2008)

A Model Checking Approach for Verifying COWS Specifications. - Alessandro Fantechi; Stefania Gnesi; Alessandro Lapadula; Franco Mazzanti; Rosario Pugliese; Francesco Tiezzi 001 (FASE, 2008)

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. - Martin Wirsing; Matthias M. Hölzl; Lucia Acciai; Federico Banti; Allan Clark; Alessandro Fantechi; Stephen Gilmore; Stefania Gnesi; László Gönczy; Nora Koch; Alessandro Lapadula; Philip Mayer; et al. (ISoLA, 2008)

Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. - Federico Banti; Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (WWV, 2008)

A Symbolic Semantics for a Calculus for Service-Oriented Computing. - Rosario Pugliese; Francesco Tiezzi 001; Nobuko Yoshida (PLACES@DisCoTec, 2008)

TAPAs: A Tool for the Analysis of Process Algebras. - Francesco Calzolai; Rocco De Nicola; Michele Loreti; Francesco Tiezzi 001 (Trans. Petri Nets Other Model. Concurr., 2008)

On Observing Dynamic Prioritised Actions in SOC. - Rosario Pugliese; Francesco Tiezzi 001; Nobuko Yoshida (ICALP (2), 2009)

On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. - Massimiliano Masi; Rosario Pugliese; Francesco Tiezzi 001 (ICISS, 2009)

From Architectural to Behavioural Specification of Services. - Laura Bocchi; José Luiz Fiadeiro; Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (FESCA@ETAPS, 2009)

A tool for rapid development of WS-BPEL applications. - Luca Cesari; Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (SAC, 2010)

A criterion for separating process calculi - Federico Banti; Rosario Pugliese; Francesco Tiezzi 001 (EXPRESS, 2010)

The Sensoria Approach Applied to the Finance Case Study. - Stefania Gnesi; Rosario Pugliese; Francesco Tiezzi 001 (Results of the SENSORIA Project, 2011)

e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. - Massimiliano Masi; Rosario Pugliese; Francesco Tiezzi 001 (AFRICOMM, 2011)

Orchestrating Tuple-Based Languages. - Rocco De Nicola; Andrea Margheri; Francesco Tiezzi 001 (TGC, 2011)

A WSDL-based type system for asynchronous WS-BPEL processes. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (Formal Methods Syst. Des., 2011)

An accessible verification environment for UML models of services. - Federico Banti; Rosario Pugliese; Francesco Tiezzi 001 (J. Symb. Comput., 2011)

Formalisation and Implementation of the XACML Access Control Mechanism. - Massimiliano Masi; Rosario Pugliese; Francesco Tiezzi 001 (ESSoS, 2012)

Towards a Formal Verification Methodology for Collective Robotic Systems. - Edmond Gjondrekaj; Michele Loreti; Rosario Pugliese; Francesco Tiezzi 001; Carlo Pinciroli; Manuele Brambilla; Mauro Birattari; Marco Dorigo (ICFEM, 2012)

Towards model-driven development of access control policies for web applications. - Marianne Busch; Nora Koch; Massimiliano Masi; Rosario Pugliese; Francesco Tiezzi 001 (MDsec@MoDELS, 2012)

Modeling adaptation with a tuple-based coordination language. - Edmond Gjondrekaj; Michele Loreti; Rosario Pugliese; Francesco Tiezzi 001 (SAC, 2012)

A calculus for orchestration of web services. - Rosario Pugliese; Francesco Tiezzi 001 (J. Appl. Log., 2012)

Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. - Massimiliano Masi; Rosario Pugliese; Francesco Tiezzi 001 (J. Medical Syst., 2012)

Using formal methods to develop WS-BPEL applications. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (Sci. Comput. Program., 2012)

A logical verification methodology for service-oriented computing. - Alessandro Fantechi; Stefania Gnesi; Alessandro Lapadula; Franco Mazzanti; Rosario Pugliese; Francesco Tiezzi 001 (ACM Trans. Softw. Eng. Methodol., 2012)

On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data. - Andrea Margheri; Massimiliano Masi; Rosario Pugliese; Francesco Tiezzi 001 (HEALTHINF, 2013)

Formalising Adaptation Patterns for Autonomic Ensembles. - Luca Cesari; Rocco De Nicola; Rosario Pugliese; Mariachiara Puviani; Francesco Tiezzi 001; Franco Zambonelli (FACS, 2013)

Network-Aware Evaluation Environment for Reputation Systems. - Alessandro Celestini; Rocco De Nicola; Francesco Tiezzi 001 (IFIPTM, 2013)

Specifying and analysing reputation systems with a coordination language. - Alessandro Celestini; Rocco De Nicola; Francesco Tiezzi 001 (SAC, 2013)

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. - Philip Mayer; Annabelle Klarl; Rolf Hennicker; Mariachiara Puviani; Francesco Tiezzi 001; Rosario Pugliese; Jaroslav Keznikl; Toma Bure (SASO Workshops, 2013)

Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. - Andrea Margheri; Rosario Pugliese; Francesco Tiezzi 001 (UIC/ATC, 2013)

Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -. - Andrea Margheri; Massimiliano Masi; Rosario Pugliese; Francesco Tiezzi 001 (WS-FM, 2013)

Blind-date Conversation Joining. - Luca Cesari; Rosario Pugliese; Francesco Tiezzi 001 (WWV, 2013)

Special issue on Automated Specification and Verification of Web Systems. - Laura Kovács; Rosario Pugliese; Josep Silva; Francesco Tiezzi 001 (J. Log. Algebraic Methods Program., 2013)

Reputation-Based Composition of Social Web Services. - Alessandro Celestini; Gianpiero Costantino; Rocco De Nicola; Zakaria Maamar; Fabio Martinelli; Marinella Petrocchi; Francesco Tiezzi 001 (AINA, 2014)

Programming and Verifying Component Ensembles. - Rocco De Nicola; Alberto Lluch-Lafuente; Michele Loreti; Andrea Morichetta 001; Rosario Pugliese; Valerio Senni; Francesco Tiezzi 001 (FPS@ETAPS, 2014)

Reputation-Based Cooperation in the Clouds. - Alessandro Celestini; Alberto Lluch-Lafuente; Philip Mayer; Stefano Sebastio; Francesco Tiezzi 001 (IFIPTM, 2014)

Self-expression and Dynamic Attribute-Based Ensembles in SCEL. - Giacomo Cabri; Nicola Capodieci; Luca Cesari; Rocco De Nicola; Rosario Pugliese; Francesco Tiezzi 001; Franco Zambonelli (ISoLA (1), 2014)

On Programming and Policing Autonomic Computing Systems. - Michele Loreti; Andrea Margheri; Rosario Pugliese; Francesco Tiezzi 001 (ISoLA (1), 2014)

Towards a Formal Approach to Mobile Cloud Computing. - Michele Amoretti; Alessandro Grazioli; Francesco Zanichelli; Valerio Senni; Francesco Tiezzi 001 (PDP, 2014)

Trust-Based Enforcement of Security Policies. - Roberto Vigo; Alessandro Celestini; Francesco Tiezzi 001; Rocco De Nicola; Flemming Nielson; Hanne Riis Nielson (TGC, 2014)

SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. - Rafael Brundo Uriarte; Francesco Tiezzi 001; Rocco De Nicola (UCC, 2014)

Towards Reversible Sessions. - Francesco Tiezzi 001; Nobuko Yoshida (PLACES, 2014)

Causal-Consistent Reversibility. - Ivan Lanese; Claudio Antares Mezzina; Francesco Tiezzi 001 (Bull. EATCS, 2014)

A Formal Approach to Autonomic Systems Programming: The SCEL Language. - Rocco De Nicola; Michele Loreti; Rosario Pugliese; Francesco Tiezzi 001 (ACM Trans. Auton. Adapt. Syst., 2014)

Programming Autonomic Systems with Multiple Constraint Stores. - Ugo Montanari; Rosario Pugliese; Francesco Tiezzi 001 (Software, Services, and Systems, 2015)

Service Clustering for Autonomic Clouds Using Random Forest. - Rafael Brundo Uriarte; Sotirios A. Tsaftaris; Francesco Tiezzi 001 (CCGRID, 2015)

A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. - Luca Aceto; Kim G. Larsen; Andrea Morichetta 001; Francesco Tiezzi 001 (FACS, 2015)

An Operational Semantics of BPMN Collaboration. - Flavio Corradini; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (FACS, 2015)

Decision Support for Mobile Cloud Computing Applications via Model Checking. - Luca Aceto; Andrea Morichetta 001; Francesco Tiezzi 001 (MobileCloud, 2015)

Causal-Consistent Reversibility in a Tuple-Based Language. - Elena Giachino; Ivan Lanese; Claudio Antares Mezzina; Francesco Tiezzi 001 (PDP, 2015)

A calculus for attribute-based communication. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti; Francesco Tiezzi 001; Roberto Vigo (SAC, 2015)

Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. - Rocco De Nicola; Alessandro Maggi; Marinella Petrocchi; Angelo Spognardi; Francesco Tiezzi 001 (SEFM, 2015)

Domain-specific queries and Web search personalization: some investigations. - Van Tien Hoang; Angelo Spognardi; Francesco Tiezzi 001; Marinella Petrocchi; Rocco De Nicola (WWV, 2015)

On Properties of Policy-Based Specifications. - Andrea Margheri; Rosario Pugliese; Francesco Tiezzi 001 (WWV, 2015)

Reversible session-based pi-calculus. - Francesco Tiezzi 001; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2015)

A formalized framework for mobile cloud computing. - Michele Amoretti; Alessandro Grazioli; Valerio Senni; Francesco Tiezzi 001; Francesco Zanichelli (Serv. Oriented Comput. Appl., 2015)

Correctness of Service Components and Service Component Ensembles. - Jacques Combaz; Saddek Bensalem; Francesco Tiezzi 001; Andrea Margheri; Rosario Pugliese; Jan Kofron (The ASCENS Approach, 2015)

The Autonomic Cloud. - Philip Mayer; José Velasco; Annabelle Klarl; Rolf Hennicker; Mariachiara Puviani; Francesco Tiezzi 001; Rosario Pugliese; Jaroslav Keznikl; Tomás Bures (The ASCENS Approach, 2015)

The SCEL Language: Design, Implementation, Verification. - Rocco De Nicola; Diego Latella; Alberto Lluch-Lafuente; Michele Loreti; Andrea Margheri; Mieke Massink; Andrea Morichetta 001; Rosario Pugliese; Francesco Tiezzi 001; Andrea Vandin (The ASCENS Approach, 2015)

Dynamic SLAs for Clouds. - Rafael Brundo Uriarte; Francesco Tiezzi 001; Rocco De Nicola (ESOCC, 2016)

Reversing Single Sessions. - Francesco Tiezzi 001; Nobuko Yoshida (RC, 2016)

Supporting Autonomic Management of Clouds: Service Clustering With Random Forest. - Rafael Brundo Uriarte; Francesco Tiezzi 001; Sotirios A. Tsaftaris (IEEE Trans. Netw. Serv. Manag., 2016)

On Avoiding Erroneous Synchronization in BPMN Processes. - Flavio Corradini; Fabrizio Fornari 001; Chiara Muzi; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (BIS, 2017)

Supporting Multi-layer Modeling in BPMN Collaborations. - Flavio Corradini; Andrea Polini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (EOMAS@CAiSE, 2017)

BProVe: a formal verification framework for business process models. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (ASE, 2017)

BProVe: tool support for business process verification. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (ASE, 2017)

Causal-consistent rollback in a tuple-based language. - Elena Giachino; Ivan Lanese; Claudio Antares Mezzina; Francesco Tiezzi 001 (J. Log. Algebraic Methods Program., 2017)

A language-based approach to modelling and analysis of Twitter interactions. - Alessandro Maggi; Marinella Petrocchi; Angelo Spognardi; Francesco Tiezzi 001 (J. Log. Algebraic Methods Program., 2017)

Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM, 2018)

MIDA: Multiple Instances and Data Animator. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM (Dissertation/Demos/Industry), 2018)

Checking Business Process Correctness in Apromore. - Fabrizio Fornari 001; Marcello La Rosa; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (CAiSE Forum, 2018)

Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. - Flavio Corradini; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (EDOC, 2018)

Formalising BPMN Service Interaction Patterns. - Chiara Muzi; Luise Pufahl; Lorenzo Rossi 001; Mathias Weske; Francesco Tiezzi 001 (PoEM, 2018)

Runtime Computation of Optimal Offloading Scheduling. - Andrea Morichetta 001; Barbara Re 001; Francesco Tiezzi 001 (MobileCloud, 2018)

Global vs. Local Semantics of BPMN 2.0 OR-Join. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (SOFSEM, 2018)

A Classification of BPMN Collaborations based on Safeness and Soundness Notions. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Francesco Tiezzi 001 (CoRR, 2018)

A formal approach to modeling and verification of business process collaborations. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Sci. Comput. Program., 2018)

Analysis of Ethereum Smart Contracts and Opcodes. - Stefano Bistarelli; Gianmarco Mazzante; Matteo Micheletti; Leonardo Mostarda; Francesco Tiezzi 001 (AINA, 2019)

Automata-Based Behavioural Contracts with Action Correlation. - Davide Basile 001; Rosario Pugliese; Francesco Tiezzi 001; Pierpaolo Degano; Gian-Luigi Ferrari 002 (From Software Engineering to Formal Methods and Tools, and Back, 2019)

X-Klaim Is Back. - Lorenzo Bettini; Emanuela Merelli; Francesco Tiezzi 001 (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies. - Flavio Corradini; Andrea Morichetta 001; Barbara Re 001; Francesco Tiezzi 001 (The Art of Modelling Computational Systems, 2019)

RePROSitory: a Repository Platform for Sharing Business PROcess modelS. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (BPM (PhD/Demos), 2019)

UBBA: Unity Based BPMN Animator. - Basit Mubeen Abdul; Flavio Corradini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (CAiSE Forum, 2019)

Defining and guaranteeing dynamic service levels in clouds. - Rafael Brundo Uriarte; Rocco De Nicola; Vincenzo Scoca; Francesco Tiezzi 001 (Future Gener. Comput. Syst., 2019)

A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. - Andrea Margheri; Massimiliano Masi; Rosario Pugliese; Francesco Tiezzi 001 (IEEE Trans. Software Eng., 2019)

Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Business Process Management Workshops, 2020)

Verification of Privacy-Enhanced Collaborations. - Sara Belluccini; Rocco De Nicola; Marlon Dumas; Pille Pullonen; Barbara Re 001; Francesco Tiezzi 001 (FormaliSE@ICSE, 2020)

PALM: A Technique for Process ALgebraic Specification Mining. - Sara Belluccini; Rocco De Nicola; Barbara Re 001; Francesco Tiezzi 001 (IFM, 2020)

Writing Robotics Applications with X-Klaim. - Lorenzo Bettini; Khalid Bourr; Rosario Pugliese; Francesco Tiezzi 001 (ISoLA (2), 2020)

Engineering trustable choreography-based systems using blockchain. - Flávio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (SAC, 2020)

Ethereum smart contracts: Analysis and statistics of their source code and opcodes. - Stefano Bistarelli; Gianmarco Mazzante; Matteo Micheletti; Leonardo Mostarda; Davide Sestili; Francesco Tiezzi 001 (Internet Things, 2020)

A formal approach to the engineering of domain-specific distributed systems. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese; Francesco Tiezzi 001 (J. Log. Algebraic Methods Program., 2020)

Replacement freeness: A criterion for separating process calculi. - Rosario Pugliese; Francesco Tiezzi 001 (J. Log. Algebraic Methods Program., 2020)

Correctness checking for BPMN collaborations with sub-processes. - Flavio Corradini; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (J. Syst. Softw., 2020)

Collaboration vs. choreography conformance in BPMN. - Flavio Corradini; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Log. Methods Comput. Sci., 2020)

RePROSitory: a Repository platform for sharing business PROcess models and logS. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (ITBPM@BPM, 2021)

ChorChain: A model-driven framework for choreography-based systems using blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (ITBPM@BPM, 2021)

Disciplined use of BPMN for mission modeling of Multi-Robot Systems. - Khalid Bourr; Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (PoEM (Forum), 2021)

Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. - Flavio Corradini; Andrea Morichetta 001; Chiara Muzi; Barbara Re 001; Francesco Tiezzi 001 (J. Log. Algebraic Methods Program., 2021)

A formal approach for the analysis of BPMN collaboration models. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (J. Syst. Softw., 2021)

A Purpose-Guided Log Generation Framework. - Andrea Burattin; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM, 2022)

ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (BPM (PhD/Demos), 2022)

A Technique for Collaboration Discovery. - Flavio Corradini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPMDS/EMMSAD@CAiSE, 2022)

An Approach to Support Digital Process Twin. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (DASC/PiCom/CBDCom/CyberSciTech, 2022)

PURPLE: a PURPose-guided Log GEnerator (Extended Abstract). - Andrea Burattin; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (ICPM Doctoral Consortium / Demo, 2022)

Programming Multi-robot Systems with X-KLAIM. - Lorenzo Bettini; Khalid Bourr; Rosario Pugliese; Francesco Tiezzi 001 (ISoLA (3), 2022)

A Choreography-Driven Approach for Blockchain-Based IoT Applications. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (PerCom Workshops, 2022)

Flexible execution of multi-party business processes on blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (WETSEB@ICSE, 2022)

Consistent modelling of hierarchical BPMN collaborations. - Flavio Corradini; Andrea Polini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Bus. Process. Manag. J., 2022)

Formalising and animating multiple instances in BPMN collaborations. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Inf. Syst., 2022)

BPMN 2.0 OR-Join Semantics: Global and local characterisation. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Inf. Syst., 2022)

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (ACM Trans. Manag. Inf. Syst., 2022)

Rollback Recovery in Session-Based Programming. - Claudio Antares Mezzina; Francesco Tiezzi 001; Nobuko Yoshida (COORDINATION, 2023)

Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach. - Tania Bruno; Ettore Etenzi; Luca Gualandi; Eraldo Katra; Rosario Pugliese; Alessio Taranto; Francesco Tiezzi 001 (DLT, 2023)

A Methodology for the Analysis of Robotic Systems via Process Mining. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (EDOC, 2023)

Enhancing compatibility in QoS communication for the Internet of Robotic Things. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Luca Ruschioni; Francesco Tiezzi 001 (ER (Companion), 2023)

Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Big Data Cogn. Comput., 2023)

Empowering trusted data sharing for data analytics in a federated environment: A blockchain-based approach. - Pierluigi Plebani; Davide Rossetto; Francesco Tiezzi 001 (Frontiers Blockchain, 2023)

A Flexible Approach to Multi-party Business Process Execution on Blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Future Gener. Comput. Syst., 2023)

A systematic literature review on IoT-aware business process modeling views, requirements and notations. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Softw. Syst. Model., 2023)

A BPMN-driven framework for Multi-Robot System development. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Robotics Auton. Syst., 2023)

Coordinating and programming multiple ROS-based robots with X-KLAIM. - Lorenzo Bettini; Khalid Bourr; Rosario Pugliese; Francesco Tiezzi 001 (Int. J. Softw. Tools Technol. Transf., 2023)

BEAR: BPMN and Environment AnimatoR. - Flavio Corradini; Luca Mozzoni; Jessica Piccioni; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM (Demos / Resources Forum), 2024)

On the Interplay Between BPMN Collaborations and the Physical Environment. - Flavio Corradini; Jessica Piccioni; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM, 2024)

Unveiling Algorand Storage Peculiarities. - Nawaz Abdullah Malla; Alessandro Marcelletti; Andrea Morichetta 001; Francesco Tiezzi 001 (DLT, 2024)

Klaim in the Making. - Lorenzo Bettini; Gian-Luigi Ferrari 002; Michele Loreti; Rosario Pugliese; Francesco Tiezzi 001; Emilio Tuosto (ISoLA (1), 2024)

Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-Klaim Code. - Khalid Bourr; Francesco Tiezzi 001; Lorenzo Bettini (ISoLA (2), 2024)

Formal Approaches for Modeling and Analysis of Business Process Collaborations. - Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001; Lorenzo Rossi 001; Andrea Polini; Francesco Tiezzi 001; Andrea Vandin (ISoLA (1), 2024)

A technique for discovering BPMN collaboration diagrams. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Softw. Syst. Model., 2024)

Modeling, Formalizing, and Animating Environment-Aware BPMN Collaborations. - Flavio Corradini; Luca Mozzoni; Jessica Piccioni; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM, 2025)

On Policies for Bartering Access to Resources. - Lorenzo Bettini; Rosario Pugliese; Francesco Tiezzi 001 (ITASEC/SERICS, 2025)

Looseness for Choreography-based Software Architectures on Blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (SAC, 2025)

Checkpoint-based rollback recovery in session programming. - Claudio Antares Mezzina; Francesco Tiezzi 001; Nobuko Yoshida (Log. Methods Comput. Sci., 2025)

Model-based verification of data protection mechanisms in collaborative business processes. - Sara Belluccini; Rocco De Nicola; Marlon Dumas; Pille Pullonen-Raudvere; Barbara Re 001; Francesco Tiezzi 001 (Softw. Syst. Model., 2025)

Blockchain-Based Execution of BPMN Choreographies with Multiple Instances. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Distributed Ledger Technol. Res. Pract., 2025)