Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 28
Titolo Data di pubblicazione Autore(i) Tipo File
A Data Oriented Approach to Derive Public Administration Business Processes 1-gen-2015 Cognini, Riccardo; Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara Contributo in atto di convegno su volume
BProVe: a Formal Verification Framework for Business Process Models 1-gen-2017 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea Contributo in atto di convegno su volume
BProVe: Tool Support for Business Process Verification 1-gen-2017 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea Contributo in atto di convegno su volume
On Avoiding Erroneous Synchronization in BPMN Processes 1-gen-2017 Corradini, Flavio; Fornari, Fabrizio; Muzi, Chiara; Polini, Andrea; Re, Barbara; Tiezzi, Francesco Contributo in atto di convegno su volume
Checking business process modeling guidelines in apromore 1-gen-2017 Fornari, Fabrizio; Gnesi, Stefania; Rosa, Marcello La; Polini, Andrea; Re, Barbara; Spagnolo, Giorgio Oronzo Contributo in atto di convegno su volume
A Formal Approach to Modelling and Verification of Business Process Collaborations 1-gen-2018 Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco Articolo
Checking Business Process Correctness in Apromore 1-gen-2018 Fornari, Fabrizio; La Rosa, Marcello; Polini, Andrea; Re, Barbara; Tiezzi, Francesco Contributo in atto di convegno su volume
A Guidelines Framework for Understandable BPMN Models 1-gen-2018 Corradini, Flavio; Ferrari, Alessio; Fornari, Fabrizio; Gnesi, Stefania; Polini, Andrea; Re, Barbara; Spagnolo, Giorgio Articolo
Quality Assurance for Business Process Models: a Focus on Understandability and Correctness 19-giu-2018 Fornari, Fabrizio Doctoral Thesis
RePROSitory: a Repository Platform for Sharing Business PROcess modelS 1-gen-2019 Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco Contributo in atto di convegno su volume
Case studies for a new IoT programming paradigm: Fluidware 1-gen-2019 Mariani, Stefano; Casadei, Roberto; Fornari, Fabrizio; Fortino, Giancarlo; Pianini, Danilo; Re, Barbara; Russo, Wilma; Savaglio, Claudio; Viroli, Mirko; Zambonelli, Franco Contributo in atto di convegno su volume
Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review 1-gen-2020 Compagnucci, I.; Corradini, F.; Fornari, F.; Polini, A.; Re, B.; Tiezzi, F. Contributo in atto di convegno su volume
Trends on the Usage of BPMN 2.0 from Publicly Available Repositories 1-gen-2021 Compagnucci, I.; Corradini, F.; Fornari, F.; Re, B. Contributo in atto di convegno su volume
FloWare: An Approach for IoT Support and Application Development 1-gen-2021 Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara Contributo in atto di convegno su volume
A formal approach for the analysis of BPMN collaboration models 1-gen-2021 Corradini, F.; Fornari, F.; Polini, A.; Re, B.; Tiezzi, F.; Vandin, A. Articolo
RePROSitory: A Repository platform for sharing business PROcess models and logS 1-gen-2021 Corradini, F.; Fornari, F.; Polini, A.; Re, B.; Tiezzi, F. Contributo in atto di convegno su volume
BPMN-Redrawer: From Images to BPMN Models 1-gen-2022 Antinori, A.; Coltrinari, R.; Corradini, F.; Fornari, F.; Re, B.; Scarpetta, M. Contributo in atto di convegno su volume
X-IoT: A Model-Driven Approach for Cross-Platform IoT Applications Development 1-gen-2022 Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara Contributo in atto di convegno su volume
Measuring the Benefits of CI/CD Practices for Database Application Development 1-gen-2023 Fluri, Jasmin; Fornari, Fabrizio; Pustulka, Ela Contributo in atto di convegno su volume
A systematic literature review on IoT-aware business process modeling views, requirements and notations 1-gen-2023 Compagnucci, I; Corradini, F; Fornari, F; Polini, A; Re, B; Tiezzi, F Articolo
Mostrati risultati da 1 a 20 di 28
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