Andrea Morichetta

According to our database, Andrea Morichetta authored at least 31 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts.

Morena Barboni, Andrea Morichetta, Andrea Polini, Francesco Casoni

Softw. Qual. J., March, 2024

2023

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

Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi

Future Gener. Comput. Syst., 2023

RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies.

Francesco Donini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

CATANA: Replay Testing for the Ethereum Blockchain.

Morena Barboni, Guglielmo De Angelis, Andrea Morichetta, Andrea Polini

Proceedings of the Testing Software and Systems, 2023

ChorSSI: A BPMN-Based Execution Framework for Self-Sovereign Identity Systems on Blockchain.

Tommaso Cippitelli, Alessandro Marcelletti, Andrea Morichetta

Proceedings of the Business Process Management: Blockchain, Robotic Process Automation and Educators Forum, 2023

Managing Variability of Large Public Administration Event Log Collections: Dealing with Concept Drift.

Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli

Proceedings of the Perspectives in Business Informatics Research, 2023

2022

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain.

Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi

ACM Trans. Manag. Inf. Syst., 2022

SuMo: A mutation testing approach and tool for the Ethereum blockchain.

Morena Barboni, Andrea Morichetta, Andrea Polini

J. Syst. Softw., 2022

Flexible execution of multi-party business processes on blockchain.

Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi

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

Smart contract testing: challenges and opportunities.

Morena Barboni, Andrea Morichetta, Andrea Polini

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

ReSuMo: Regression Mutation Testing for Solidity Smart Contracts.

Morena Barboni, Francesco Casoni, Andrea Morichetta, Andrea Polini

Proceedings of the Quality of Information and Communications Technology, 2022

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

Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi

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

Label-independent feature engineering-based clustering in Public Administration Event Logs (short paper).

Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini

Proceedings of Ongoing Research, 2022

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

Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi

Proceedings of the Best Dissertation Award, 2022

2021

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

Flavio Corradini, Andrea Morichetta, Chiara Muzi, Barbara Re, Francesco Tiezzi

J. Log. Algebraic Methods Program., 2021

Process Variance Analysis and Configuration in the Public Administration Sector.

Flavio Corradini, Caterina Luciani, Andrea Morichetta, Andrea Polini

Proceedings of the 4th International Conference on Recent Trends and Applications in Computer Science and Information Technology, Tirana, Albania, May 21st - to, 2021

TLV-diss_γ: A Dissimilarity Measure for Public Administration Process Logs.

Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini

Proceedings of the Electronic Government - 20th IFIP WG 8.5 International Conference, 2021

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

Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi

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

SuMo: A Mutation Testing Strategy for Solidity Smart Contracts.

Morena Barboni, Andrea Morichetta, Andrea Polini

Proceedings of the 2nd IEEE/ACM International Conference on Automation of Software Test, 2021

2020

Collaboration vs. choreography conformance in BPMN.

Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi

Log. Methods Comput. Sci., 2020

Correctness checking for BPMN collaborations with sub-processes.

Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi

J. Syst. Softw., 2020

Engineering trustable choreography-based systems using blockchain.

Flávio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi

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

2019

Enabling Auditing of Smart Contracts Through Process Mining.

Flavio Corradini, Fausto Marcantoni, Andrea Morichetta, Andrea Polini, Barbara Re, Massimiliano Sampaolo

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

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

Flavio Corradini, Andrea Morichetta, Barbara Re, Francesco Tiezzi

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

2018

Runtime Computation of Optimal Offloading Scheduling.

Andrea Morichetta, Barbara Re, Francesco Tiezzi

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

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

Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi

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

2015

The SCEL Language: Design, Implementation, Verification.

Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Decision Support for Mobile Cloud Computing Applications via Model Checking.

Luca Aceto, Andrea Morichetta, Francesco Tiezzi

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

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

Luca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi

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

2014

Programming and Verifying Component Ensembles.

Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi

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

2013

Adequate monitoring of service compositions.

Antonia Bertolino, Eda Marchetti, Andrea Morichetta

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013