


default search action
Andrea Morichetta 0001
Person information
- affiliation: University of Camerino, Italy
Other persons with the same name
- Andrea Morichetta 0002
— TU Wien, Vienna, Austria (and 1 more)
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j10]Andrea Morichetta, Yuri Paoloni, Barbara Re:
Event log extraction methodology for Ethereum applications. Future Gener. Comput. Syst. 164: 107566 (2025) - 2024
- [j9]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: I-III (2024) - [j8]Tommaso Cippitelli, Alessandro Marcelletti, Andrea Morichetta:
ChorSSI: A Model-Driven Framework for Self-Sovereign Identity Systems on Blockchain. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 19 (2024) - [j7]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): 225-253 (2024) - [c28]Nawaz Abdullah Malla, Alessandro Marcelletti, Andrea Morichetta, Francesco Tiezzi:
Unveiling Algorand Storage Peculiarities. DLT 2024 - [c27]Sebastian Banescu, Morena Barboni, Andrea Morichetta, Andrea Polini, Edward Zulkoski:
Enhanced mutation testing of smart contracts in support of code inspection. ICBC 2024: 558-566 - [c26]Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re:
A Data Extraction Methodology for Ethereum Smart Contracts. PerCom Workshops 2024: 524-529 - [c25]Morena Barboni
, Andrea Morichetta
, Andrea Polini
, Sebastian Banescu
, Edward Zulkoski
:
Mutation Testing of Smart Contracts As a Service. QUATIC 2024: 93-109 - [c24]Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re, Luca Ruschioni:
A Digital Twin Approach for Blockchain Smart Contracts. SANER (Companion) 2024: 1-11 - [e6]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:
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. CEUR Workshop Proceedings 3645, CEUR-WS.org 2024 [contents] - 2023
- [j6]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: 219-234 (2023) - [c23]Flavio Corradini
, Caterina Luciani
, Andrea Morichetta
, Marco Piangerelli
:
Managing Variability of Large Public Administration Event Log Collections: Dealing with Concept Drift. BIR 2023: 31-44 - [c22]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: 5-20 - [c21]Morena Barboni
, Guglielmo De Angelis
, Andrea Morichetta
, Andrea Polini
:
CATANA: Replay Testing for the Ethereum Blockchain. ICTSS 2023: 257-265 - [c20]Francesco Donini
, Alessandro Marcelletti
, Andrea Morichetta
, Andrea Polini
:
RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies. SAC 2023: 245-248 - [e5]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:
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. CEUR Workshop Proceedings 3514, CEUR-WS.org 2023 [contents] - 2022
- [j5]Morena Barboni
, Andrea Morichetta
, Andrea Polini:
SuMo: A mutation testing approach and tool for the Ethereum blockchain. J. Syst. Softw. 193: 111445 (2022) - [j4]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): 31:1-31:53 (2022) - [c19]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: 132-136 - [c18]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 - [c17]Flavio Corradini, Alessandro Marcelletti
, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
A Choreography-Driven Approach for Blockchain-Based IoT Applications. PerCom Workshops 2022: 255-260 - [c16]Morena Barboni
, Francesco Casoni
, Andrea Morichetta
, Andrea Polini
:
ReSuMo: Regression Mutation Testing for Solidity Smart Contracts. QUATIC 2022: 61-76 - [c15]Morena Barboni
, Andrea Morichetta, Andrea Polini:
Smart contract testing: challenges and opportunities. WETSEB@ICSE 2022: 21-24 - [c14]Flavio Corradini, Alessandro Marcelletti
, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Flexible execution of multi-party business processes on blockchain. WETSEB@ICSE 2022: 25-32 - [e4]Dominik Bork, Souvik Barat, Petra Maria Asprion, Alessandro Marcelletti, Andrea Morichetta, Bettina Schneider, Vinay Kulkarni, Ruth Breu, Philipp Zech
:
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. CEUR Workshop Proceedings 3298, CEUR-WS.org 2022 [contents] - 2021
- [j3]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: 100630 (2021) - [c13]Morena Barboni
, Andrea Morichetta, Andrea Polini:
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts. AST@ICSE 2021: 50-59 - [c12]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: 26-32 - [c11]Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini
:
TLV-dissγ : A Dissimilarity Measure for Public Administration Process Logs. EGOV 2021: 301-314 - [c10]Flavio Corradini, Caterina Luciani, Andrea Morichetta, Andrea Polini:
Process Variance Analysis and Configuration in the Public Administration Sector. RTA-CSIT 2021: 103-112 - [e3]Peter Forbrig, Knut Hinkelmann, Marite Kirikova, Birger Lantow, Charles Møller, Andrea Morichetta, Pierluigi Plebani, Barbara Re, Kurt Sandkuhl, Ulf Seigerroth:
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. CEUR Workshop Proceedings 2991, CEUR-WS.org 2021 [contents] - [e2]Beatriz Marín, Yves Wautelet, Samedi Heng, Saïd Assar, Petra Maria Asprion, Andrea Morichetta:
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. CEUR Workshop Proceedings 3031, CEUR-WS.org 2021 [contents] - [i2]Morena Barboni, Andrea Morichetta, Andrea Polini:
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts. CoRR abs/2105.03626 (2021) - 2020
- [j2]Flavio Corradini, Andrea Morichetta
, Andrea Polini
, Barbara Re, Lorenzo Rossi
, Francesco Tiezzi:
Correctness checking for BPMN collaborations with sub-processes. J. Syst. Softw. 166: 110594 (2020) - [j1]Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Collaboration vs. choreography conformance in BPMN. Log. Methods Comput. Sci. 16(4) (2020) - [c9]Flávio Corradini, Alessandro Marcelletti
, Andrea Morichetta
, Andrea Polini, Barbara Re, Francesco Tiezzi:
Engineering trustable choreography-based systems using blockchain. SAC 2020: 1470-1479 - [e1]Petra Maria Asprion, Signe Balina, Peter Forbrig, Janis Kampars, Marite Kirikova, Charles Møller, Andrea Morichetta, Ben Roelens, Kurt Sandkuhl:
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. CEUR Workshop Proceedings 2749, CEUR-WS.org 2020 [contents] - [i1]Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Collaboration vs. choreography conformance in BPMN. CoRR abs/2002.04396 (2020)
2010 – 2019
- 2019
- [c8]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: 163-181 - [c7]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: 467-480 - 2018
- [c6]Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. EDOC 2018: 95-104 - [c5]Andrea Morichetta, Barbara Re, Francesco Tiezzi:
Runtime Computation of Optimal Offloading Scheduling. MobileCloud 2018: 73-78 - 2015
- [c4]Luca Aceto, Kim G. Larsen
, Andrea Morichetta, Francesco Tiezzi:
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. FACS 2015: 66-85 - [c3]Luca Aceto, Andrea Morichetta, Francesco Tiezzi:
Decision Support for Mobile Cloud Computing Applications via Model Checking. MobileCloud 2015: 199-204 - [p1]Rocco De Nicola
, Diego Latella, Alberto Lluch-Lafuente
, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
:
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71 - 2014
- [c2]Rocco De Nicola
, Alberto Lluch-Lafuente
, Michele Loreti
, Andrea Morichetta, Rosario Pugliese
, Valerio Senni
, Francesco Tiezzi:
Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83 - 2013
- [c1]Antonia Bertolino
, Eda Marchetti
, Andrea Morichetta:
Adequate monitoring of service compositions. ESEC/SIGSOFT FSE 2013: 59-69
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-02 23:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint