Andrea Morichetta

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 32

Top Topics

Mutation Testing

Business Processes

Cloud Computing

Top Venues

J. Syst. Softw.

Publications

Anders Flodström, Robert Andrei Buchmann, Andrea Morichetta
CSIMQ Anniversary Editor-in-Chief Thoughts and Editorial Introduction to Issue 38: Model-based and Decision Support Methods for Next-generation Information Systems. Complex Syst. Informatics Model. Q. 38 (2024)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re
A Data Extraction Methodology for Ethereum Smart Contracts. PerCom Workshops (2024)
Morena Barboni, Andrea Morichetta, Andrea Polini, Francesco Casoni
ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts. Softw. Qual. J. 32 (1) (2024)
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli
Managing Variability of Large Public Administration Event Log Collections: Dealing with Concept Drift. BIR (2023)
Francesco Donini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini
RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies. SAC (2023)
Tommaso Cippitelli, Alessandro Marcelletti, Andrea Morichetta
ChorSSI: A BPMN-Based Execution Framework for Self-Sovereign Identity Systems on Blockchain. BPM (Blockchain and RPA Forum) (2023)
Morena Barboni, Guglielmo De Angelis, Andrea Morichetta, Andrea Polini
CATANA: Replay Testing for the Ethereum Blockchain. ICTSS (2023)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
A Flexible Approach to Multi-party Business Process Execution on Blockchain. Future Gener. Comput. Syst. 147 (2023)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Flexible execution of multi-party business processes on blockchain. WETSEB@ICSE (2022)
Morena Barboni, Francesco Casoni, Andrea Morichetta, Andrea Polini
ReSuMo: Regression Mutation Testing for Solidity Smart Contracts. QUATIC (2022)
Morena Barboni, Andrea Morichetta, Andrea Polini
Smart contract testing: challenges and opportunities. WETSEB@ICSE (2022)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. BPM (PhD/Demos) (2022)
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini
Label-independent feature engineering-based clustering in Public Administration Event Logs (short paper). EGOV-CeDEM-ePart-* (2022)
Morena Barboni, Andrea Morichetta, Andrea Polini
SuMo: A mutation testing approach and tool for the Ethereum blockchain. J. Syst. Softw. 193 (2022)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain. ACM Trans. Manag. Inf. Syst. 13 (3) (2022)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
A Choreography-Driven Approach for Blockchain-Based IoT Applications. PerCom Workshops (2022)
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Andrea Polini
Process Variance Analysis and Configuration in the Public Administration Sector. RTA-CSIT (2021)
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini
: A Dissimilarity Measure for Public Administration Process Logs. EGOV (2021)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
ChorChain: A model-driven framework for choreography-based systems using blockchain. ITBPM@BPM (2021)
Morena Barboni, Andrea Morichetta, Andrea Polini
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts. AST@ICSE (2021)
Flavio Corradini, Andrea Morichetta, Chiara Muzi, Barbara Re, Francesco Tiezzi
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. J. Log. Algebraic Methods Program. 119 (2021)
Morena Barboni, Andrea Morichetta, Andrea Polini
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts. CoRR (2021)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Collaboration vs. choreography conformance in BPMN. Log. Methods Comput. Sci. 16 (4) (2020)
Flávio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Engineering trustable choreography-based systems using blockchain. SAC (2020)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Collaboration vs. choreography conformance in BPMN. CoRR (2020)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Correctness checking for BPMN collaborations with sub-processes. J. Syst. Softw. 166 (2020)
Flavio Corradini, Andrea Morichetta, Barbara Re, Francesco Tiezzi
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies. The Art of Modelling Computational Systems (2019)
Flavio Corradini, Fausto Marcantoni, Andrea Morichetta, Andrea Polini, Barbara Re, Massimiliano Sampaolo
Enabling Auditing of Smart Contracts Through Process Mining. From Software Engineering to Formal Methods and Tools, and Back (2019)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. EDOC (2018)
Andrea Morichetta, Barbara Re, Francesco Tiezzi
Runtime Computation of Optimal Offloading Scheduling. MobileCloud (2018)
Luca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. FACS (2015)
Luca Aceto, Andrea Morichetta, Francesco Tiezzi
Decision Support for Mobile Cloud Computing Applications via Model Checking. MobileCloud (2015)
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi
Programming and Verifying Component Ensembles. FPS@ETAPS (2014)
Antonia Bertolino, Eda Marchetti, Andrea Morichetta
Adequate monitoring of service compositions. ESEC/SIGSOFT FSE (2013)