Flavio Corradini

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 86

Top Venues

Publications

Emanuele Scala, Changyu Dong, Flavio Corradini, Leonardo Mostarda
ZeroMT: Towards Multi-Transfer transactions with privacy for account-based blockchain. J. Inf. Secur. Appl. 83 (2024)
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re
A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models. Bus. Inf. Syst. Eng. 66 (1) (2024)
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
libmg: A Python library for programming graph neural networks in μG. Sci. Comput. Program. 238 (2024)
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
The μG Language for Programming Graph Neural Networks. CoRR (2024)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re
A Data Extraction Methodology for Ethereum Smart Contracts. PerCom Workshops (2024)
Massimo Callisto De Donato, Flavio Corradini, Fabrizio Fornari, Barbara Re, Matteo Romagnoli
Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform. EDOC Workshops (2023)
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
A systematic literature review on IoT-aware business process modeling views, requirements and notations. Softw. Syst. Model. 22 (3) (2023)
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re
BPMN Inspector: A Tool for Extracting Features from BPMN Models. BPM (Demos / Resources Forum) (2023)
Marianna Ciccarelli, Flavio Corradini, Michele Germani, Giacomo Menchi, Leonardo Mostarda, Alessandra Papetti, Marco Piangerelli
SPECTRE: a deep learning network for posture recognition in manufacturing. J. Intell. Manuf. 34 (8) (2023)
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli
Managing Variability of Large Public Administration Event Log Collections: Dealing with Concept Drift. BIR (2023)
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
, a Language for Programming Graph Neural Networks. FORTE (2023)
Emanuele Scala, Changyu Dong, Flavio Corradini, Leonardo Mostarda
Zero-Knowledge Multi-transfer Based on Range Proofs and Homomorphic Encryption. AINA (2) (2023)
Massimo Callisto De Donato, Flavio Corradini, Fabrizio Fornari, Barbara Re, Matteo Romagnoli
Design and Development of a Digital Twin Prototype for the SAFE Project. EDOC Workshops (2023)
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
A BPMN-driven framework for Multi-Robot System development. Robotics Auton. Syst. 160 (2023)
Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development. Softw. Syst. Model. 22 (1) (2023)
Diletta Cacciagrano, Flavio Corradini, Marco Piangerelli
Sensorless Predictive Maintenance: An Example on a 'Not 4.0' Coffee Machine Production Process. AINA (3) (2023)
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems. Big Data Cogn. Comput. 7 (3) (2023)
Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re, Luca Ruschioni
X-IoT: a model-driven approach to support IoT application portability across IoT platforms. Computing 105 (9) (2023)
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
A Methodology for the Analysis of Robotic Systems via Process Mining. EDOC (2023)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
A Flexible Approach to Multi-party Business Process Execution on Blockchain. Future Gener. Comput. Syst. 147 (2023)
Flavio Corradini, Sara Pettinari, Barbara Re, Luca Ruschioni, Francesco Tiezzi
Enhancing compatibility in QoS communication for the Internet of Robotic Things. ER (Companion) (2023)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Flexible execution of multi-party business processes on blockchain. WETSEB@ICSE (2022)
Alessandro Antinori, Riccardo Coltrinari, Flavio Corradini, Fabrizio Fornari, Barbara Re, Marco Scarpetta
BPMN-Redrawer: From Images to BPMN Models. BPM (PhD/Demos) (2022)
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
An Approach to Support Digital Process Twin. DASC/PiCom/CBDCom/CyberSciTech (2022)
Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
A Technique for Collaboration Discovery. BPMDS/EMMSAD@CAiSE (2022)
Sajjad Ahmed, Knut Hinkelmann, Flavio Corradini
Development of Fake News Model using Machine Learning through Natural Language Processing. CoRR (2022)
Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re
X-IoT: a model-driven approach for cross-platform IoT applications development. SAC (2022)
Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Consistent modelling of hierarchical BPMN collaborations. Bus. Process. Manag. J. 28 (2) (2022)
Flavio Corradini, Leonardo Mostarda, Emanuele Scala
ZeroMT: Multi-transfer Protocol for Enabling Privacy in Off-Chain Payments. AINA (2) (2022)
Fabio Pagnotta, Leonardo Mostarda, Orhan Gemikonakli, Rosario Culmone, Diletta Romana Cacciagrano, Flavio Corradini
NARUN: noise adaptive routing for utility networks. Int. J. Web Grid Serv. 18 (4) (2022)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Formalising and animating multiple instances in BPMN collaborations. Inf. Syst. 103 (2022)
Flavio Corradini, Arianna Fedeli, Andrea Polini, Barbara Re
Towards a Digital Twin Modelling Notation. DASC/PiCom/CBDCom/CyberSciTech (2022)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. BPM (PhD/Demos) (2022)
Sajjad Ahmed, Knut Hinkelmann, Flavio Corradini
Combining Machine Learning with Knowledge Engineering to detect Fake News in Social Networks-a survey. CoRR (2022)
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini
Label-independent feature engineering-based clustering in Public Administration Event Logs (short paper). EGOV-CeDEM-ePart-* (2022)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain. ACM Trans. Manag. Inf. Syst. 13 (3) (2022)
Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re
DTMN a Modelling Notation for Digital Twins. EDOC Workshops (2022)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
A Choreography-Driven Approach for Blockchain-Based IoT Applications. PerCom Workshops (2022)
Flavio Corradini, Michele Loreti, Marco Piangerelli, Giacomo Rocchetti
REPTILE: A Proactive Real-Time Deep Reinforcement Learning Self-adaptive Framework. CoRR (2022)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
BPMN 2.0 OR-Join Semantics: Global and local characterisation. Inf. Syst. 105 (2022)
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Andrea Polini
Process Variance Analysis and Configuration in the Public Administration Sector. RTA-CSIT (2021)
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini
: A Dissimilarity Measure for Public Administration Process Logs. EGOV (2021)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
A formal approach for the analysis of BPMN collaboration models. J. Syst. Softw. 180 (2021)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
ChorChain: A model-driven framework for choreography-based systems using blockchain. ITBPM@BPM (2021)
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re
Trends on the Usage of BPMN 2.0 from Publicly Available Repositories. BIR (2021)
Flavio Corradini, Andrea Morichetta, Chiara Muzi, Barbara Re, Francesco Tiezzi
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. J. Log. Algebraic Methods Program. 119 (2021)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
RePROSitory: a Repository platform for sharing business PROcess models and logS. ITBPM@BPM (2021)
Khalid Burr, Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Disciplined use of BPMN for mission modeling of Multi-Robot Systems. PoEM (Forum) (2021)
Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re
FloWare: An Approach for IoT Support and Application Development. BPMDS/EMMSAD@CAiSE (2021)
Diletta Cacciagrano, Flavio Corradini, Gianmarco Mazzante, Leonardo Mostarda, Davide Sestili
Off-Chain Execution of IoT Smart Contracts. AINA (2) (2021)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Collaboration vs. choreography conformance in BPMN. Log. Methods Comput. Sci. 16 (4) (2020)
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review. Business Process Management Workshops (2020)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Collaboration vs. choreography conformance in BPMN. CoRR (2020)
Diletta Cacciagrano, Flavio Corradini, Matteo Micheletti, Leonardo Mostarda
Applying REECHD to non-uniformly distributed heterogeneous devices. Int. J. Grid Util. Comput. 11 (5) (2020)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Correctness checking for BPMN collaborations with sub-processes. J. Syst. Softw. 166 (2020)
Flavio Corradini, Francesco De Angelis, Andrea Polini, Carlo Castagnari, Jacopo de Berardinis, Giorgio Forcina
Tangramob: An Agent-Based Simulation Framework for Validating Urban Smart Mobility Solutions. J. Intell. Syst. 29 (1) (2020)
Flavio Corradini, Andrea Morichetta, Barbara Re, Francesco Tiezzi
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies. The Art of Modelling Computational Systems (2019)
Knut Hinkelmann, Sajjad Ahmed, Flavio Corradini
Combining Machine Learning with Knowledge Engineering to detect Fake News in Social Networks - A Survey. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering (2019)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
RePROSitory: a Repository Platform for Sharing Business PROcess modelS. BPM (PhD/Demos) (2019)
Flavio Corradini, Fausto Marcantoni, Andrea Morichetta, Andrea Polini, Barbara Re, Massimiliano Sampaolo
Enabling Auditing of Smart Contracts Through Process Mining. From Software Engineering to Formal Methods and Tools, and Back (2019)
Basit Mubeen Abdul, Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
UBBA: Unity Based BPMN Animator. CAiSE Forum (2019)
Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli
Business Rules in e-Government Applications. CoRR (2018)
Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re
Business process flexibility - a systematic literature review with a software systems perspective. Inf. Syst. Frontiers 20 (2) (2018)
Flavio Corradini, Lucio Forastieri, Alberto Polzonetti, Oliviero Riganelli, Andrea Sergiacomi
Shared Services Center for E-Government Policy. CoRR (2018)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. BPM (2018)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Global vs. Local Semantics of BPMN 2.0 OR-Join. SOFSEM (2018)
Carlo Castagnari, Flavio Corradini, Francesco De Angelis, Jacopo de Berardinis, Giorgio Forcina, Andrea Polini
Tangramob: an agent-based simulation framework for validating urban smart mobility solutions. CoRR (2018)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. EDOC (2018)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
A formal approach to modeling and verification of business process collaborations. Sci. Comput. Program. 166 (2018)
Flavio Corradini, Alessio Ferrari, Fabrizio Fornari, Stefania Gnesi, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo
A Guidelines framework for understandable BPMN models. Data Knowl. Eng. 113 (2018)
Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi, Claudia Vannucchi
Analysis and verification of ECA rules in intelligent environments. J. Ambient Intell. Smart Environ. 10 (3) (2018)
Flavio Corradini, Chiara Muzi, Barbara Re, Francesco Tiezzi
A Classification of BPMN Collaborations based on Safeness and Soundness Notions. CoRR (2018)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
MIDA: Multiple Instances and Data Animator. BPM (Dissertation/Demos/Industry) (2018)
Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments. Intelligent Environments (2017)
Flavio Corradini, Fabrizio Fornari, Chiara Muzi, Andrea Polini, Barbara Re, Francesco Tiezzi
On Avoiding Erroneous Synchronization in BPMN Processes. BIS (2017)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
BProVe: tool support for business process verification. ASE (2017)
Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Supporting Multi-layer Modeling in BPMN Collaborations. EOMAS@CAiSE (2017)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
BProVe: a formal verification framework for business process models. ASE (2017)
Flavio Corradini, Francesco De Angelis, Barbara Re, Emiliano Anceschi, Massimo Callisto De Donato, Paolo Iddas
Private assisted house for smart living. J. Ambient Intell. Smart Environ. 9 (6) (2017)
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
Uniformity in Multiscale Models: From Complex Automata to BioShape. J. Cell. Autom. 12 (5) (2017)
Flavio Corradini, Francesco De Angelis, Daniele Fanì, Andrea Polini
An Overview of Service-Oriented Computing Challenges and Issues. WEBIST (1) (2016)
Claudia Vannucchi, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Franco Raimondi, Luca Tesei
A Formal Model for Event-Condition-Action Rules in Intelligent Environments. Intelligent Environments (Workshops) (2016)
Zaib Ullah, Leonardo Mostarda, Roberto Gagliardi, Diletta Cacciagrano, Flavio Corradini
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED. AINA (2016)
Marco Bernardo, Flavio Corradini, Luca Tesei
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions. Theor. Comput. Sci. 629 (2016)
Flavio Corradini, Barbara Re
The European Digital Agenda and the Impact of ICT on Public Administrations and Small and Medium Enterprises. RTA-CSIT (2016)
Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini
A Pattern for Enabling Multitenancy in Legacy Application. CLOSER (2) (2016)
Flavio Corradini, Andrea Polini, Barbara Re
Inter-organizational business process verification in public administration. Bus. Process. Manag. J. 21 (5) (2015)
Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re
Extending Feature Models to Express Variability in Business Process Models. CAiSE Workshops (2015)
Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re
Process Variability Modeling for Complex Organizations. ES (2015)
Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini
Cloud Readiness Assessment of Legacy Application. CLOSER (2015)
Flavio Corradini, Francesco De Angelis, Daniele Fanì, Andrea Polini
A Flexible Architecture to Monitor Dynamic Web Services Composition. WEBIST (2015)
Flavio Corradini, Francesco De Angelis, Fabrizio Ippoliti, Fausto Marcantoni
A Survey of Trust Management Models for Cloud Computing. CLOSER (2015)
Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi
A Constrained ECA Language Supporting Formal Verification of WSNs. AINA Workshops (2015)
Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi
An Operational Semantics of BPMN Collaboration. FACS (2015)
Flavio Corradini, Francesco De Angelis, Barbara Re, Emiliano Anceschi, Massimo Callisto De Donato, Paolo Iddas
An Integration Platform for Private Assisted Houses. ICT4AgeingWell (2015)
Gerald Lüttgen, Flavio Corradini
Special issue on "Comprehending asynchrony in specification and analysis" dedicated to Walter Vogler on the occasion of his 60th birthday. Acta Informatica 52 (2-3) (2015)
Riccardo Cognini, Flavio Corradini, Alberto Polzonetti, Barbara Re
Five factors that make pervasive business intelligence a winning wager. IEEM (2014)
Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re
Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes. Business Process Management Workshops (2014)
Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re
Research challenges in business process adaptability. SAC (2014)
Lorena Rossi, Alberto Belli, Adelmo De Santis, Claudia Diamantini, Emanuele Frontoni, Ennio Gambi, Lorenzo Palma, Luca Pernini, Paola Pierleoni, Domenico Potena, Laura Raffaeli, Susanna Spinsante, Primo Zingaretti, Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Francesco De Angelis, Emanuela Merelli, Barbara Re
Interoperability issues among smart home technological frameworks. MESA (2014)

Flavio Corradini.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Flavio Corradini