Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 34
Titolo Data di pubblicazione Autore(i) Tipo File
Adequate Monitoring of Service Compositions 1-gen-2013 Bertolino, Antonia; Marchetti, Eda; Morichetta, Andrea 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
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
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
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
Runtime  Computation of  Optimal Offloading Scheduling  1-gen-2018 Morichetta, Andrea; Re, Barbara; Tiezzi, Francesco Contributo in atto di convegno su volume
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
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies 1-gen-2019 Corradini, Flavio; Morichetta, Andrea; Re, Barbara; Tiezzi, Francesco 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
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
Correctness checking for BPMN collaborations with sub-processes 1-gen-2020 Corradini, Flavio; Morichetta, Andrea; Polini, Aandrea; Re, Barbara; Rossi, Lorenzo; 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
Collaboration vs. choreography conformance in BPMN 1-gen-2020 Corradini, Flavio; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco Articolo
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
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
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations 1-gen-2021 Corradini, Flavio; Morichetta, Andrea; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco Articolo
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
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
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts 1-gen-2021 Barboni, Morena; Morichetta, Andrea; Polini, Andrea Contributo in atto di convegno su volume
PoEM-WS 2021 - Proceedings of Workshops on Practice of Enterprise Modelling Workshops 2021, co-organized with the 14th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modelling, PoEM 2021 1-gen-2021 Marín, Beatriz; Wautelet, Yves; Heng, Samedi; Assar, Saïd; Maria Asprion, Petra; Morichetta, Andrea Cura di atti, volumi e cataloghi
Mostrati risultati da 1 a 20 di 34
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile