Fabrizio Fornari

Fabrizio Fornari

Università degli Studi di Camerino - Camerino / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 5147957
University of Camerino
person_outline Fabrizio Fornari's MOST POPULAR ARTICLES
1-) A guidelines framework for understandable BPMN modelsF Corradini, A Ferrari, F Fornari, S Gnesi, A Polini, B Re, GO SpagnoloData & Knowledge Engineering 113, 129-154, 20181122018
2-) A formal approach to modeling and verification of business process collaborationsF Corradini, F Fornari, A Polini, B Re, F TiezziScience of Computer Programming 166, 35-70, 2018562018
3-) A formal approach for the analysis of BPMN collaboration modelsF Corradini, F Fornari, A Polini, B Re, F Tiezzi, A VandinJournal of Systems and Software 180, 111007, 2021412021
4-) BProVe: a formal verification framework for business process modelsAV Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco ...ASE 2017 Proceedings of the 32nd IEEE/ACM International Conference on …, 201743*2017
5-) A systematic literature review on IoT-aware business process modeling views, requirements and notationsI Compagnucci, F Corradini, F Fornari, A Polini, B Re, F TiezziSoftware and Systems Modeling 22 (3), 969-1004, 2023292023