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 Flexible Approach to Multi-party Business Process Execution on Blockchain
2023-01-01 Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
Adequate Monitoring of Service Compositions
2013-01-01 Bertolino, Antonia; Marchetti, Eda; Morichetta, Andrea
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.
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, Flavio; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
Correctness checking for BPMN collaborations with sub-processes
2020-01-01 Corradini, Flavio; Morichetta, Andrea; Polini, Aandrea; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
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, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
Engineering Trustable Choreography-based Systems Using Blockchain
2020-01-01 Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
Flexible Execution of Multi-Party Business Processes on Blockchain
2022-01-01 Corradini, F.; Marcelletti, A.; Morichetta, A.; Polini, A.; Re, B.; Tiezzi, F.
International Online Winter School on Blockchain Technology and Applications - Hyperledger
2024-01-01 Morichetta, Andrea; Corradini, Flavio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco; Marcelletti, Alessnadro
International Online Winter School on Blockchain Technology and Applications Hyperledger
2021-01-01 Corradini, Flavio; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
| 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 Flexible Approach to Multi-party Business Process Execution on Blockchain | 1-gen-2023 | Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | Articolo | |
| Adequate Monitoring of Service Compositions | 1-gen-2013 | Bertolino, Antonia; Marchetti, Eda; Morichetta, Andrea | Contributo in atto di convegno su volume | |
| 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 | |
| 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, Flavio; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | Articolo | |
| Correctness checking for BPMN collaborations with sub-processes | 1-gen-2020 | Corradini, Flavio; Morichetta, Andrea; Polini, Aandrea; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco | 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, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | Articolo | |
| Engineering Trustable Choreography-based Systems Using Blockchain | 1-gen-2020 | Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
| Flexible Execution of Multi-Party Business Processes on Blockchain | 1-gen-2022 | Corradini, F.; Marcelletti, A.; Morichetta, A.; Polini, A.; Re, B.; Tiezzi, F. | Contributo in atto di convegno su volume | |
| International Online Winter School on Blockchain Technology and Applications - Hyperledger | 1-gen-2024 | Morichetta, Andrea; Corradini, Flavio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco; Marcelletti, Alessnadro | ORGANIZZAZIONE DI EVENTI | |
| International Online Winter School on Blockchain Technology and Applications Hyperledger | 1-gen-2021 | Corradini, Flavio; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | ORGANIZZAZIONE DI EVENTI |