MORICHETTA, Andrea
MORICHETTA, Andrea
Scuola di Scienze e Tecnologie
A Choreography-Driven Approach for Blockchain-Based IoT Applications
2022-01-01 Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing
2016-01-01 Aceto, Luca; Larsen, Kim G.; Morichetta, Andrea; Tiezzi, Francesco
A Data Extraction Methodology for Ethereum Smart Contracts
2024-01-01 Corradini, F.; Marcelletti, A.; Morichetta, A.; Re, B.
A Digital Twin Approach for Blockchain Smart Contracts
2024-01-01 Corradini, F.; Marcelletti, A.; Morichetta, A.; Re, B.; Ruschioni, L.
A Flexible Approach to Multi-party Business Process Execution on Blockchain
2023-01-01 Corradini, F; Marcelletti, A; Morichetta, A; Polini, A; Re, B; Tiezzi, F
Adequate Monitoring of Service Compositions
2013-01-01 Bertolino, Antonia; Marchetti, Eda; Morichetta, Andrea
Blockchain-based Execution of BPMN Choreographies with Multiple Instances
2023-01-01 Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
CATANA: Replay Testing for the Ethereum Blockchain
2023-01-01 Barboni, M.; Angelis, G. D.; Morichetta, A.; Polini, A.
ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies
2022-01-01 Corradini, F.; Marcelletti, A.; Morichetta, A.; Polini, A.; Re, B.; Tiezzi, F.
ChorChain: A model-driven framework for choreography-based systems using blockchain
2021-01-01 Corradini, F.; Marcelletti, A.; Morichetta, A.; Polini, A.; Re, B.; Tiezzi, F.
ChorSSI: A BPMN-Based Execution Framework for Self-Sovereign Identity Systems on Blockchain
2023-01-01 Cippitelli, T.; Marcelletti, A.; Morichetta, A.
ChorSSI: A Model-Driven Framework for Self-Sovereign Identity Systems on Blockchain
2024-01-01 Cippitelli, Tommaso; Marcelletti, Alessandro; Morichetta, Andrea
Collaboration vs Choreography Conformance in BPMN 2.0: from Theory to Practice
2018-01-01 Corradini, Flavio; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
Collaboration vs. choreography conformance in BPMN
2020-01-01 Corradini, F; Morichetta, A; Polini, A; Re, B; Tiezzi, F
Coordinating REST Interactions in Service Choreographies using Blockchain
2024-01-01 Donini, Francesco; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea
Correctness checking for BPMN collaborations with sub-processes
2020-01-01 Corradini, F; Morichetta, A; Polini, A; Re, B; Rossi, L; Tiezzi, F
CSIMQ Anniversary Editor-in-Chief Thoughts and Editorial Introduction to Issue 38: Model-based and Decision Support Methods for Next-generation Information Systems
2024-01-01 Flodstrom, A.; Buchmann, R. A.; Morichetta, A.
Decision Support for Mobile Cloud Computing Applications via Model Checking
2015-01-01 Aceto, Luca; Morichetta, Andrea; Tiezzi, Francesco
Enabling Auditing of Smart Contracts Through Process Mining
2019-01-01 Corradini, Flavio; Marcantoni, Fausto; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Sampaolo, Massimiliano
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain
2022-01-01 Corradini, F; Marcelletti, A; Morichetta, A; Polini, A; Re, B; Tiezzi, F
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A Choreography-Driven Approach for Blockchain-Based IoT Applications | 1-gen-2022 | Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing | 1-gen-2016 | Aceto, Luca; Larsen, Kim G.; Morichetta, Andrea; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
A Data Extraction Methodology for Ethereum Smart Contracts | 1-gen-2024 | Corradini, F.; Marcelletti, A.; Morichetta, A.; Re, B. | Contributo in atto di convegno su volume | |
A Digital Twin Approach for Blockchain Smart Contracts | 1-gen-2024 | Corradini, F.; Marcelletti, A.; Morichetta, A.; Re, B.; Ruschioni, L. | Abstract atto convegno su volume | |
A Flexible Approach to Multi-party Business Process Execution on Blockchain | 1-gen-2023 | Corradini, F; Marcelletti, A; Morichetta, A; Polini, A; Re, B; Tiezzi, F | Articolo | |
Adequate Monitoring of Service Compositions | 1-gen-2013 | Bertolino, Antonia; Marchetti, Eda; Morichetta, Andrea | Contributo in atto di convegno su volume | |
Blockchain-based Execution of BPMN Choreographies with Multiple Instances | 1-gen-2023 | Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | Articolo | |
CATANA: Replay Testing for the Ethereum Blockchain | 1-gen-2023 | Barboni, M.; Angelis, G. D.; Morichetta, A.; Polini, A. | Contributo in atto di convegno su volume | |
ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies | 1-gen-2022 | Corradini, F.; Marcelletti, A.; Morichetta, A.; Polini, A.; Re, B.; Tiezzi, F. | Contributo in atto di convegno su volume | |
ChorChain: A model-driven framework for choreography-based systems using blockchain | 1-gen-2021 | Corradini, F.; Marcelletti, A.; Morichetta, A.; Polini, A.; Re, B.; Tiezzi, F. | Contributo in atto di convegno su volume | |
ChorSSI: A BPMN-Based Execution Framework for Self-Sovereign Identity Systems on Blockchain | 1-gen-2023 | Cippitelli, T.; Marcelletti, A.; Morichetta, A. | Contributo in atto di convegno su volume | |
ChorSSI: A Model-Driven Framework for Self-Sovereign Identity Systems on Blockchain | 1-gen-2024 | Cippitelli, Tommaso; Marcelletti, Alessandro; Morichetta, Andrea | Articolo | |
Collaboration vs Choreography Conformance in BPMN 2.0: from Theory to Practice | 1-gen-2018 | Corradini, Flavio; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
Collaboration vs. choreography conformance in BPMN | 1-gen-2020 | Corradini, F; Morichetta, A; Polini, A; Re, B; Tiezzi, F | Articolo | |
Coordinating REST Interactions in Service Choreographies using Blockchain | 1-gen-2024 | Donini, Francesco; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea | Articolo | |
Correctness checking for BPMN collaborations with sub-processes | 1-gen-2020 | Corradini, F; Morichetta, A; Polini, A; Re, B; Rossi, L; Tiezzi, F | Articolo | |
CSIMQ Anniversary Editor-in-Chief Thoughts and Editorial Introduction to Issue 38: Model-based and Decision Support Methods for Next-generation Information Systems | 1-gen-2024 | Flodstrom, A.; Buchmann, R. A.; Morichetta, A. | Cura di atti, volumi e cataloghi | |
Decision Support for Mobile Cloud Computing Applications via Model Checking | 1-gen-2015 | Aceto, Luca; Morichetta, Andrea; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
Enabling Auditing of Smart Contracts Through Process Mining | 1-gen-2019 | Corradini, Flavio; Marcantoni, Fausto; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Sampaolo, Massimiliano | Contributo in atto di convegno su volume | |
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain | 1-gen-2022 | Corradini, F; Marcelletti, A; Morichetta, A; Polini, A; Re, B; Tiezzi, F | Articolo |