Andrea Morichetta

59 papers B 1C 7Misc 5Journal 15Unranked 24
YearRankTypeTitle / Venue / Authors
2025 — conf
A Framework for Supporting Decentralised Applications Analysis.
BlockTEA
Flavio Corradini, Lorenzo Luzi, Fausto Marcantoni, Alessandro Marcelletti, Andrea Morichetta, Barbara Re
2025 J jnl
A methodology for extracting and decoding smart contracts data.
Comput. Commun.
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re
2025 C conf
Alchemist: LLM-Driven Test Generation using Solidity Mutants and the Scientific Method.
ICBC
Morena Barboni, Filippo Lampa, Andrea Morichetta, Andrea Polini, Edward Zulkoski
2025 C conf
An Algorand-based Approach for Flexible Execution of BPMN Choreographies.
DLT
Nawaz Abdullah Malla, Alessandro Marcelletti, Andrea Morichetta, Francesco Tiezzi
2025 J jnl
Blockchain-Based Execution of BPMN Choreographies with Multiple Instances.
Distributed Ledger Technol. Res. Pract.
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2025 — conf
Enhancing Research Data Integrity Through Blockchain: Design and Implementation of a Web Based Management System.
FedCSIS (Communication Papers)
Sikandar Ali, Roberto Ciccocioppo, Massimo Ubaldi, Andrea Morichetta, Matteo Piersantelli
2025 J jnl
Event log extraction methodology for Ethereum applications.
Future Gener. Comput. Syst.
Andrea Morichetta, Yuri Paoloni, Barbara Re
2025 Misc conf
Looseness for Choreography-based Software Architectures on Blockchain.
SAC
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2025 C conf
Non-Fungible Mutable Tokens for Flexible Choreography Roles and Ownership.
DLT
Francesco Donini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini
2025 — conf
Optimizing Smart Contract Testing via Neural-MCTS Test Prioritization.
BlockTEA
Morena Barboni, Filippo Lampa, Andrea Morichetta, Andrea Polini
2025 — conf
PolyIDns: A Blockchain-Based Solution for Decentralized Domain Management.
BlockTEA
Alessandro Marcelletti, Leonardo Migliorelli, Andrea Morichetta
2025 — conf
ReACMe: Repetition Aware Clustering Methodology for Business Process Log Collections.
BIR
Caterina Luciani, Luigi Bucchicchio, Andrea Morichetta, Marco Piangerelli, Andrea Polini
2025 J jnl
Wielding Blockchain Transactions for Capture-Replay Testing of Upgradeable Smart Contracts.
ACM Trans. Internet Techn.
Morena Barboni, Guglielmo De Angelis, Andrea Morichetta, Andrea Polini
2024 — conf
A Data Extraction Methodology for Ethereum Smart Contracts.
PerCom Workshops
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re
2024 — conf
A Digital Twin Approach for Blockchain Smart Contracts.
SANER (Companion)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re, Luca Ruschioni
2024 J jnl
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.
Anders Flodström, Robert Andrei Buchmann, Andrea Morichetta
2024 J jnl
ChorSSI: A Model-Driven Framework for Self-Sovereign Identity Systems on Blockchain.
Enterp. Model. Inf. Syst. Archit.
Tommaso Cippitelli, Alessandro Marcelletti, Andrea Morichetta
2024 — ed.
Companion Proceedings of the 16th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling and the 13th Enterprise Design and Engineering Working Conference: BES, DTE, FACETE, Tools & Demos, Forum, EDEN Doctoral Consortium co-located with PoEM 2023, Vienna, Austria, November 28 - December 01, 2023.
PoEM Companion
Tiago Prince Sales, David Aveiro, Henderik A. Proper, Petra Maria Asprion, Alessandro Marcelletti, Andrea Morichetta, Bettina Schneider, Philipp Zech, Vinay Kulkarni, Ruth Breu, Souvik Barat, Geert Poels, Jonas Van Riel, Rodrigo Fernandes Calhau, Dominik Bork, Mark Mulder, Sybren de Kinderen, Sérgio Guerreiro, Cristine Griffo
2024 C conf
Enhanced mutation testing of smart contracts in support of code inspection.
ICBC
Sebastian Banescu, Morena Barboni, Andrea Morichetta, Andrea Polini, Edward Zulkoski
2024 Misc conf
Mutation Testing of Smart Contracts As a Service.
QUATIC
Morena Barboni, Andrea Morichetta, Andrea Polini, Sebastian Banescu, Edward Zulkoski
2024 J jnl
ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts.
Softw. Qual. J.
Morena Barboni, Andrea Morichetta, Andrea Polini, Francesco Casoni
2024 C conf
Unveiling Algorand Storage Peculiarities.
DLT
Nawaz Abdullah Malla, Alessandro Marcelletti, Andrea Morichetta, Francesco Tiezzi
2023 J jnl
A Flexible Approach to Multi-party Business Process Execution on Blockchain.
Future Gener. Comput. Syst.
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2023 C conf
CATANA: Replay Testing for the Ethereum Blockchain.
ICTSS
Morena Barboni, Guglielmo De Angelis, Andrea Morichetta, Andrea Polini
2023 — conf
ChorSSI: A BPMN-Based Execution Framework for Self-Sovereign Identity Systems on Blockchain.
BPM (Blockchain and RPA Forum)
Tommaso Cippitelli, Alessandro Marcelletti, Andrea Morichetta
2023 — ed.
Joint Proceedings of the BIR 2023 Workshops and Doctoral Consortium co-located with 22nd International Conference on Perspectives in Business Informatics Research (BIR 2023), Ascoli Piceno, Italy, September 13-15, 2023.
BIR Workshops
Andrea Morichetta, Robert Andrei Buchmann, Kurt Sandkuhl, Ulf Seigerroth, Marite Kirikova, Charles Møller, Anne Gutschmidt, Ana-Maria Ghiran, Alessandro Marcelletti, Barbara Re, Björn Johansson
2023 — conf
Managing Variability of Large Public Administration Event Log Collections: Dealing with Concept Drift.
BIR
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli
2023 Misc conf
RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies.
SAC
Francesco Donini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini
2022 — conf
A Choreography-Driven Approach for Blockchain-Based IoT Applications.
PerCom Workshops
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2022 — conf
ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies.
BPM (PhD/Demos)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2022 J jnl
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain.
ACM Trans. Manag. Inf. Syst.
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2022 — conf
Flexible execution of multi-party business processes on blockchain.
WETSEB@ICSE
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2022 — conf
Label-independent feature engineering-based clustering in Public Administration Event Logs (short paper).
EGOV-CeDEM-ePart-*
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini
2022 — ed.
Proceedings of the PoEM 2022 Workshops and Models at Work co-located with Practice of Enterprise Modelling 2022, London, United Kingdom, November 23-25, 2022.
PoEM Workshops
Dominik Bork, Souvik Barat, Petra Maria Asprion, Alessandro Marcelletti, Andrea Morichetta, Bettina Schneider, Vinay Kulkarni, Ruth Breu, Philipp Zech
2022 Misc conf
ReSuMo: Regression Mutation Testing for Solidity Smart Contracts.
QUATIC
Morena Barboni, Francesco Casoni, Andrea Morichetta, Andrea Polini
2022 — conf
Smart contract testing: challenges and opportunities.
WETSEB@ICSE
Morena Barboni, Andrea Morichetta, Andrea Polini
2022 J jnl
SuMo: A mutation testing approach and tool for the Ethereum blockchain.
J. Syst. Softw.
Morena Barboni, Andrea Morichetta, Andrea Polini
2021 — conf
ChorChain: A model-driven framework for choreography-based systems using blockchain.
ITBPM@BPM
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2021 — ed.
Joint Proceedings of the BIR 2021 Workshops and Doctoral Consortium co-located with 20th International Conference on Perspectives in Business Informatics Research (BIR 2021), Vienna, Austria, September 22-24, 2021.
BIR Workshops
Peter Forbrig, Knut Hinkelmann, Marite Kirikova, Birger Lantow, Charles Møller, Andrea Morichetta, Pierluigi Plebani, Barbara Re, Kurt Sandkuhl, Ulf Seigerroth
2021 — ed.
Proceedings of workshops co-organized with the 14th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modelling (PoEM 2021), Online, originally held in Riga, Latvia, November 24, 2021
PoEM Workshops
Beatriz Marín, Yves Wautelet, Samedi Heng, Saïd Assar, Petra Maria Asprion, Andrea Morichetta
2021 — conf
Process Variance Analysis and Configuration in the Public Administration Sector.
RTA-CSIT
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Andrea Polini
2021 C conf
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts.
AST
Morena Barboni, Andrea Morichetta, Andrea Polini
2021 J jnl
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts.
CoRR
Morena Barboni, Andrea Morichetta, Andrea Polini
2021 — conf
TLV-diss
EGOV
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini
2021 J jnl
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations.
J. Log. Algebraic Methods Program.
Flavio Corradini, Andrea Morichetta, Chiara Muzi, Barbara Re, Francesco Tiezzi
2020 J jnl
Collaboration vs. choreography conformance in BPMN.
CoRR
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2020 J jnl
Collaboration vs. choreography conformance in BPMN.
Log. Methods Comput. Sci.
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2020 J jnl
Correctness checking for BPMN collaborations with sub-processes.
J. Syst. Softw.
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2020 Misc conf
Engineering trustable choreography-based systems using blockchain.
SAC
Flávio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2020 — ed.
Proceedings of the workshops co-organized with the 13th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling (PoEM 2020), On-line (originally located in Riga, Latvia), November 26, 2020.
PoEM Workshops
Petra Maria Asprion, Signe Balina, Peter Forbrig, Janis Kampars, Marite Kirikova, Charles Møller, Andrea Morichetta, Ben Roelens, Kurt Sandkuhl
2019 — conf
Enabling Auditing of Smart Contracts Through Process Mining.
From Software Engineering to Formal Methods and Tools, and Back
Flavio Corradini, Fausto Marcantoni, Andrea Morichetta, Andrea Polini, Barbara Re, Massimiliano Sampaolo
2019 — conf
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies.
The Art of Modelling Computational Systems
Flavio Corradini, Andrea Morichetta, Barbara Re, Francesco Tiezzi
2018 B conf
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice.
EDOC
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2018 — conf
Runtime Computation of Optimal Offloading Scheduling.
MobileCloud
Andrea Morichetta, Barbara Re, Francesco Tiezzi
2015 — conf
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing.
FACS
Luca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi
2015 — conf
Decision Support for Mobile Cloud Computing Applications via Model Checking.
MobileCloud
Luca Aceto, Andrea Morichetta, Francesco Tiezzi
2015 — ch.
The SCEL Language: Design, Implementation, Verification.
The ASCENS Approach
Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
2014 — conf
Programming and Verifying Component Ensembles.
FPS@ETAPS
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi
2013 — conf
Adequate monitoring of service compositions.
ESEC/SIGSOFT FSE
Antonia Bertolino, Eda Marchetti, Andrea Morichetta