Articles with public access mandates - Flavio CorradiniLearn more
Not available anywhere: 4
Inter-organizational business process verification in public administration
F Corradini, A Polini, B Re
Business Process Management Journal 21 (5), 1040-1065, 2015
Mandates: Government of Italy
Formalising and animating multiple instances in BPMN collaborations
F Corradini, C Muzi, B Re, L Rossi, F Tiezzi
Information Systems 103, 101459, 2022
Mandates: Government of Italy
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
Mandates: Government of Italy
Towards a digital twin modelling notation
F Corradini, A Fedeli, A Polini, B Re
2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf …, 2022
Mandates: Government of Italy
Available somewhere: 14
A comparison of heed based clustering algorithms--Introducing ER-HEED
Z Ullah, L Mostarda, R Gagliardi, D Cacciagrano, F Corradini
2016 IEEE 30th international conference on advanced information networking …, 2016
Mandates: Government of Italy
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
Mandates: Government of Italy
Research challenges in business process adaptability
R Cognini, F Corradini, S Gnesi, A Polini, B Re
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1049-1054, 2014
Mandates: Government of Italy
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
Mandates: Government of Italy
A constrained ECA language supporting formal verification of WSNs
F Corradini, R Culmone, L Mostarda, L Tesei, F Raimondi
2015 IEEE 29th International Conference on Advanced Information Networking …, 2015
Mandates: Government of Italy
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
Mandates: Government of Italy
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
Mandates: Government of Italy
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions
M Bernardo, F Corradini, L Tesei
Theoretical Computer Science 629, 2-39, 2016
Mandates: Government of Italy
Modelling process intensive scenarios for the smart city
R Cognini, F Corradini, A Polini, B Re
Electronic Government: 13th IFIP WG 8.5 International Conference, EGOV 2014 …, 2014
Mandates: Government of Italy
Process variability modeling for complex organizations
R Cognini, F Corradini, A Polini, B Re
2015 International Conference on Enterprise Systems (ES), 9-20, 2015
Mandates: Government of Italy
Timed process calculi: from durationless actions to durational ones.
M Bernardo, F Corradini, L Tesei
ICTCS, 21-32, 2014
Mandates: Government of Italy
Enhancing compatibility in QoS communication for the Internet of Robotic Things.
F Corradini, S Pettinari, B Re, L Ruschioni, F Tiezzi
ER (Companion), 2023
Mandates: Government of Italy
A Flexible Architecture to Monitor Dynamic Web Services Composition
F Corradini, F De Angelis, A Polini
International Conference on Web Information Systems and Technologies 2, 64-72, 2015
Mandates: Government of Italy
A Data Oriented Approach to Derive Public Administration Business Processes
R Cognini, F Corradini, F Fornari, A Polini, B Re
Electronic Government and Electronic Participation, 201-208, 2015
Mandates: Government of Italy
Publication and funding information is determined automatically by a computer program