Follow
Fabrizio Fornari
Title
Cited by
Cited by
Year
A guidelines framework for understandable BPMN models
F Corradini, A Ferrari, F Fornari, S Gnesi, A Polini, B Re, GO Spagnolo
Data & Knowledge Engineering 113, 129-154, 2018
1192018
A formal approach to modeling and verification of business process collaborations
F Corradini, F Fornari, A Polini, B Re, F Tiezzi
Science of Computer Programming 166, 35-70, 2018
592018
A formal approach for the analysis of BPMN collaboration models
F Corradini, F Fornari, A Polini, B Re, F Tiezzi, A Vandin
Journal of Systems and Software 180, 111007, 2021
402021
BProVe: a formal verification framework for business process models
AV Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco ...
ASE 2017 Proceedings of the 32nd IEEE/ACM International Conference on …, 2017
38*2017
Modelling notations for IoT-aware business processes: a systematic literature review
I Compagnucci, F Corradini, F Fornari, A Polini, B Re, F Tiezzi
Business Process Management Workshops: BPM 2020 International Workshops …, 2020
242020
RePROSitory: a Repository platform for sharing business PROcess modelS
F Corradini, F Fornari, A Polini, B Re, F Tiezzi
BPM (PhD/Demos), 149-153, 2019
242019
Trends on the usage of BPMN 2.0 from publicly available repositories
I Compagnucci, F Corradini, F Fornari, B Re
International Conference on Business Informatics Research, 84-99, 2021
172021
FloWare: an approach for IoT support and application development
F Corradini, A Fedeli, F Fornari, A Polini, B Re
International Conference on Business Process Modeling, Development and …, 2021
142021
A systematic literature review on IoT-aware business process modeling views, requirements and notations
I Compagnucci, F Corradini, F Fornari, A Polini, B Re, F Tiezzi
Software and Systems Modeling 22 (3), 969-1004, 2023
112023
Quality assessment strategy: Applying business process modelling understandability guidelines
F Corradini, A Ferrari, F Fornari, S Gnesi, A Polini, B Re, O Spagnolo
University of Camerino, Italy, 2015
112015
BProVe:Tool Support for Business Process Verification
AV Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco ...
ASE2017 Proceedings of the 32nd IEEE/ACM International Conference on …, 2017
10*2017
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development
F Corradini, A Fedeli, F Fornari, A Polini, B Re
Software and Systems Modeling 22 (1), 131-158, 2023
82023
X-IoT: a model-driven approach for cross-platform IoT applications development
F Corradini, A Fedeli, F Fornari, A Polini, B Re
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1448-1451, 2022
82022
DTMN a modelling notation for digital twins
F Corradini, A Fedeli, F Fornari, A Polini, B Re
International Conference on Enterprise Design, Operations, and Computing, 63-78, 2022
72022
On Avoiding Erroneous Synchronization in BPMN Processes
F Corradini, F Fornari, C Muzi, A Polini, B Re, F Tiezzi
BIS 2017, 106-119, 2017
62017
Quality assessment strategy: Applying business process understandability guidelines for learning
F Corradini, A Ferrari, F Fornari, S Gnesi, A Polini, B Re, G Spagnolo
Tech. Rep. 4.1, ISTI-CNR, University of Camerino, Italy, URL http://puma …, 2015
52015
A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models
I Compagnucci, F Corradini, F Fornari, B Re
Business & Information Systems Engineering 66 (1), 43-66, 2024
42024
X-IoT: a model-driven approach to support IoT application portability across IoT platforms
F Corradini, A Fedeli, F Fornari, A Polini, B Re, L Ruschioni
Computing 105 (9), 1981-2005, 2023
42023
BPMN-Redrawer: From Images to BPMN Models.
A Antinori, R Coltrinari, F Corradini, F Fornari, B Re, M Scarpetta
BPM (PhD/Demos), 107-111, 2022
32022
BPMN Inspector: A Tool for Extracting Features from BPMN Models
I Compagnucci, F Corradini, F Fornari, B Re
Proceedings of the Best Dissertation Award, Doctoral Consortium, and …, 2023
22023
The system can't perform the operation now. Try again later.
Articles 1–20