Adequate monitoring of service compositions. - Antonia Bertolino; Eda Marchetti; Andrea Morichetta 001 (ESEC/SIGSOFT FSE, 2013)

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)

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)

Decision Support for Mobile Cloud Computing Applications via Model Checking. - Luca Aceto; Andrea Morichetta 001; Francesco Tiezzi 001 (MobileCloud, 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)

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)

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

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)

Enabling Auditing of Smart Contracts Through Process Mining. - Flavio Corradini; Fausto Marcantoni; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Massimiliano Sampaolo (From Software Engineering to Formal Methods and Tools, and Back, 2019)

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)

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)

SuMo: A Mutation Testing Strategy for Solidity Smart Contracts. - Morena Barboni; Andrea Morichetta 001; Andrea Polini (AST@ICSE, 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)

TLV-dissγ : A Dissimilarity Measure for Public Administration Process Logs. - Flavio Corradini; Caterina Luciani; Andrea Morichetta 001; Marco Piangerelli; Andrea Polini (EGOV, 2021)

Process Variance Analysis and Configuration in the Public Administration Sector. - Flavio Corradini; Caterina Luciani; Andrea Morichetta 001; Andrea Polini (RTA-CSIT, 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)

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)

Label-independent feature engineering-based clustering in Public Administration Event Logs (short paper). - Flavio Corradini; Caterina Luciani; Andrea Morichetta 001; Marco Piangerelli; Andrea Polini (EGOV-CeDEM-ePart-*, 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)

ReSuMo: Regression Mutation Testing for Solidity Smart Contracts. - Morena Barboni; Francesco Casoni; Andrea Morichetta 001; Andrea Polini (QUATIC, 2022)

Smart contract testing: challenges and opportunities. - Morena Barboni; Andrea Morichetta 001; Andrea Polini (WETSEB@ICSE, 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)

SuMo: A mutation testing approach and tool for the Ethereum blockchain. - Morena Barboni; Andrea Morichetta 001; Andrea Polini (J. Syst. Softw., 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)

Managing Variability of Large Public Administration Event Log Collections: Dealing with Concept Drift. - Flavio Corradini; Caterina Luciani; Andrea Morichetta 001; Marco Piangerelli (BIR, 2023)

ChorSSI: A BPMN-Based Execution Framework for Self-Sovereign Identity Systems on Blockchain. - Tommaso Cippitelli; Alessandro Marcelletti; Andrea Morichetta 001 (BPM (Blockchain and RPA Forum), 2023)

CATANA: Replay Testing for the Ethereum Blockchain. - Morena Barboni; Guglielmo De Angelis; Andrea Morichetta 001; Andrea Polini (ICTSS, 2023)

RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies. - Francesco Donini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini (SAC, 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)

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

Enhanced mutation testing of smart contracts in support of code inspection. - Sebastian Banescu; Morena Barboni; Andrea Morichetta 001; Andrea Polini; Edward Zulkoski (ICBC, 2024)

A Data Extraction Methodology for Ethereum Smart Contracts. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Barbara Re 001 (PerCom Workshops, 2024)

Mutation Testing of Smart Contracts As a Service. - Morena Barboni; Andrea Morichetta 001; Andrea Polini; Sebastian Banescu; Edward Zulkoski (QUATIC, 2024)

A Digital Twin Approach for Blockchain Smart Contracts. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Barbara Re 001; Luca Ruschioni (SANER (Companion), 2024)

CSIMQ Anniversary Editor-in-Chief Thoughts and Editorial Introduction to Issue 38: Model-based and Decision Support Methods for Next-generation Information Systems. - Anders Flodström; Robert Andrei Buchmann; Andrea Morichetta 001 (Complex Syst. Informatics Model. Q., 2024)

ChorSSI: A Model-Driven Framework for Self-Sovereign Identity Systems on Blockchain. - Tommaso Cippitelli; Alessandro Marcelletti; Andrea Morichetta 001 (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2024)

ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts. - Morena Barboni; Andrea Morichetta 001; Andrea Polini; Francesco Casoni (Softw. Qual. J., 2024)

Alchemist: LLM-Driven Test Generation using Solidity Mutants and the Scientific Method. - Morena Barboni; Filippo Lampa; Andrea Morichetta 001; Andrea Polini; Edward Zulkoski (ICBC, 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)

A methodology for extracting and decoding smart contracts data. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Barbara Re 001 (Comput. Commun., 2025)

Event log extraction methodology for Ethereum applications. - Andrea Morichetta 001; Yuri Paoloni; Barbara Re 001 (Future Gener. Comput. Syst., 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)

Wielding Blockchain Transactions for Capture-Replay Testing of Upgradeable Smart Contracts. - Morena Barboni; Guglielmo De Angelis; Andrea Morichetta 001; Andrea Polini (ACM Trans. Internet Techn., 2025)