MORICHETTA, Andrea

MORICHETTA, Andrea  

Scuola di Scienze e Tecnologie  

Mostra records
Risultati 1 - 20 di 24 (tempo di esecuzione: 0.066 secondi).
Titolo Data di pubblicazione Autore(i) Tipo File
Adequate monitoring of service compositions 1-gen-2013 Bertolino, A.; Marchetti, E.; Morichetta, A. 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
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
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, F.; Morichetta, A.; Polini, A.; Re, B.; Rossi, L.; Tiezzi, F. Articolo
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
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, 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-2020 Corradini, Flavio; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco 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
Joint Proceedings of the BIR 2021 Workshops and Doctoral Consortium co-located with 20th International Conference on Perspectives in Business Informatics Research (BIR 2021) 1-gen-2021 Forbrig, Peter; Hinkelmann, KARL KNUT; Kirikova, Marite; Lantow, Birger; Møller, Charles; Morichetta, Andrea; Plebani, Pierluigi; Re, Barbara; Sandkuhl, Kurt; Seigerroth:, Ulf Cura di atti, volumi e cataloghi
Model-driven engineering for multi-party business processes on multiple blockchains 1-gen-2021 Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Scala, Emanuele; Tiezzi, Francesco Articolo
Proceedings of the workshops co-organized with the 13th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling (PoEM 2020) 1-gen-2020 Asprion, P. M.; Forbrig, P.; Kirikova, M.; Morichetta, A.; Sandkuhl, K.; Balina, S.; Kampars, J.; Moller, C.; Roelens, B. Cura di atti, volumi e cataloghi
Process variance analysis and configuration in the Public Administration sector 1-gen-2021 Corradini, F.; Luciani, C.; Morichetta, A.; Polini, A. Contributo in atto di convegno su volume
Runtime  Computation of  Optimal Offloading Scheduling  1-gen-2018 Morichetta, Andrea; Re, Barbara; Tiezzi, Francesco Contributo in atto di convegno su volume
The SCEL Language: Design, Implementation, Verification 1-gen-2015 De Nicola, Rocco; Latella, Diego; Lafuente, Alberto Lluch; Loreti, Michele; Margheri, Andrea; Massink, Mieke; Morichetta, Andrea; Pugliese, Rosario; Tiezzi, Francesco; Vandin, Andrea Capitolo di libro o voce di enciclopedia
SuMo: A mutation testing approach and tool for the Ethereum blockchain 1-gen-2022 Barboni, M.; Morichetta, A.; Polini, A. Articolo