Flavio Corradini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
68
Venues
26
Active years
1994–2026
Best venue rank
A*
Where they publish
- ABPM15 papers
- ACaiSE7 papers
- BAINA6 papers
- BEDOC5 papers
- A*PERCOM3 papers
- MulticonferenceSAC3 papers
- CCLOSER3 papers
- BCONCUR3 papers
- CDASC2 papers
- BSOFSEM2 papers
- CWEBIST2 papers
- CWETICE2 papers
- BMFCS2 papers
- BICPM1 paper
- CISoLA1 paper
- AER1 paper
- CFORTE1 paper
- CSIMULTECH1 paper
- CIIWAS1 paper
- MulticonferenceICCS1 paper
- CICCSA1 paper
- A*LICS1 paper
- A*ICSE1 paper
- CCoordination1 paper
- BFASE1 paper
- A*ICALP1 paper
Papers
68 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | PERCOM | Extracting and Decoding Internal Transactions in EVM-based Blockchains. | Flavio Corradini, Lorenzo Luzi, Alessandro Marcelletti, Andrea Morichetta, Barbara Re |
| 2025 | BPM | BEAR 2.0: Enhancing the Environment Model for Animating Environment‑aware BPMN Collaborations. | Flavio Corradini, Luca Mozzoni, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2025 | BPM | Modeling, Formalizing, and Animating Environment-Aware BPMN Collaborations. | Flavio Corradini, Luca Mozzoni, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2025 | BPM | Multimodal Zero-Shot Activity Recognition for Process Mining of Robotic Systems. | Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Massimiliano Sampaolo |
| 2025 | CaiSE | Robotic Datasets for Process Mining. | Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Massimiliano Sampaolo |
| 2025 | CaiSE | Enabling Process Mining on Multimodal Robotic Data. | Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Massimiliano Sampaolo |
| 2025 | CaiSE | Towards a Digital Twin of a Decanter Centrifuge for Wastewater Management. | Massimo Callisto De Donato, Flavio Corradini, Niccol Francioni, Francesco Giovannini, Barbara Re, Andrea Scacchia |
| 2025 | ICPM | SOUP: Simplifying Event Knowledge Graph Management for Process Mining. | Flavio Corradini, Alessio Giacch, Sara Pettinari, Barbara Re, Lorenzo Rossi |
| 2025 | SAC | Looseness for Choreography-based Software Architectures on Blockchain. | Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2024 | BPM | BEAR: BPMN and Environment AnimatoR. | Flavio Corradini, Luca Mozzoni, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2024 | BPM | On the Interplay Between BPMN Collaborations and the Physical Environment. | Flavio Corradini, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2024 | ISoLA | Formal Approaches for Modeling and Analysis of Business Process Collaborations. | Flavio Corradini, Fabrizio Fornari, Barbara Re, Lorenzo Rossi, Andrea Polini, Francesco Tiezzi, Andrea Vandin |
| 2024 | PERCOM | A Data Extraction Methodology for Ethereum Smart Contracts. | Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re |
| 2023 | AINA | Sensorless Predictive Maintenance: An Example on a 'Not 4.0' Coffee Machine Production Process. | Diletta Cacciagrano, Flavio Corradini, Marco Piangerelli |
| 2023 | AINA | Zero-Knowledge Multi-transfer Based on Range Proofs and Homomorphic Encryption. | Emanuele Scala, Changyu Dong, Flavio Corradini, Leonardo Mostarda |
| 2023 | BPM | BPMN Inspector: A Tool for Extracting Features from BPMN Models. | Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re |
| 2023 | EDOC | A Methodology for the Analysis of Robotic Systems via Process Mining. | Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2023 | EDOC | Design and Development of a Digital Twin Prototype for the SAFE Project. | Massimo Callisto De Donato, Flavio Corradini, Fabrizio Fornari, Barbara Re, Matteo Romagnoli |
| 2023 | EDOC | Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform. | Massimo Callisto De Donato, Flavio Corradini, Fabrizio Fornari, Barbara Re, Matteo Romagnoli |
| 2023 | ER | Enhancing compatibility in QoS communication for the Internet of Robotic Things. | Flavio Corradini, Sara Pettinari, Barbara Re, Luca Ruschioni, Francesco Tiezzi |
| 2023 | FORTE | Implementing a CTL Model Checker with μ | Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti |
| 2022 | AINA | ZeroMT: Multi-transfer Protocol for Enabling Privacy in Off-Chain Payments. | Flavio Corradini, Leonardo Mostarda, Emanuele Scala |
| 2022 | BPM | BPMN-Redrawer: From Images to BPMN Models. | Alessandro Antinori, Riccardo Coltrinari, Flavio Corradini, Fabrizio Fornari, Barbara Re, Marco Scarpetta |
| 2022 | BPM | ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. | Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2022 | DASC | Towards a Digital Twin Modelling Notation. | Flavio Corradini, Arianna Fedeli, Andrea Polini, Barbara Re |
| 2022 | DASC | An Approach to Support Digital Process Twin. | Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2022 | EDOC | DTMN a Modelling Notation for Digital Twins. | Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re |
| 2022 | PERCOM | A Choreography-Driven Approach for Blockchain-Based IoT Applications. | Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2022 | SAC | X-IoT: a model-driven approach for cross-platform IoT applications development. | Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re |
| 2021 | AINA | Off-Chain Execution of IoT Smart Contracts. | Diletta Cacciagrano, Flavio Corradini, Gianmarco Mazzante, Leonardo Mostarda, Davide Sestili |
| 2021 | BPM | RePROSitory: a Repository platform for sharing business PROcess models and logS. | Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2021 | BPM | ChorChain: A model-driven framework for choreography-based systems using blockchain. | Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2021 | CaiSE | FloWare: An Approach for IoT Support and Application Development. | Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re |
| 2020 | BPM | Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review. | Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2019 | BPM | RePROSitory: a Repository Platform for Sharing Business PROcess modelS. | Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2019 | CaiSE | UBBA: Unity Based BPMN Animator. | Basit Mubeen Abdul, Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2018 | BPM | Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. | Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2018 | BPM | MIDA: Multiple Instances and Data Animator. | Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2018 | EDOC | Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. | Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2018 | SOFSEM | Global vs. Local Semantics of BPMN 2.0 OR-Join. | Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2017 | CaiSE | Supporting Multi-layer Modeling in BPMN Collaborations. | Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2016 | AINA | A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED. | Zaib Ullah, Leonardo Mostarda, Roberto Gagliardi, Diletta Cacciagrano, Flavio Corradini |
| 2016 | CLOSER | A Pattern for Enabling Multitenancy in Legacy Application. | Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini |
| 2016 | WEBIST | An Overview of Service-Oriented Computing Challenges and Issues. | Flavio Corradini, Francesco De Angelis, Daniele Fan, Andrea Polini |
| 2015 | AINA | A Constrained ECA Language Supporting Formal Verification of WSNs. | Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi |
| 2015 | CaiSE | Extending Feature Models to Express Variability in Business Process Models. | Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re |
| 2015 | CLOSER | A Survey of Trust Management Models for Cloud Computing. | Flavio Corradini, Francesco De Angelis, Fabrizio Ippoliti, Fausto Marcantoni |
| 2015 | CLOSER | Cloud Readiness Assessment of Legacy Application. | Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini |
| 2015 | WEBIST | A Flexible Architecture to Monitor Dynamic Web Services Composition. | Flavio Corradini, Francesco De Angelis, Daniele Fan, Andrea Polini |
| 2014 | BPM | Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes. | Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re |
| 2014 | SAC | Research challenges in business process adaptability. | Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re |
| 2012 | SIMULTECH | A Geometrical Refinement of Shape Calculus Enabling Direct Simulation. | Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei |
| 2009 | SOFSEM | Time and Fairness in a Process Algebra with Non-blocking Reading. | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
| 2008 | IIWAS | A model-prover for constrained dynamic conversations. | Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito |
| 2006 | CONCUR | Checking a Mutex Algorithm in a Process Algebra with Fairness. | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
| 2006 | ICCS | Enacting Proactive Workflows Engine in e-Science. | Ezio Bartocci, Flavio Corradini, Emanuela Merelli |
| 2005 | ICCSA | A Multi-agent System for Modelling Carbohydrate Oxidation in Cell. | Flavio Corradini, Emanuela Merelli, Marco Vita |
| 2005 | LICS | Regular Expressions in Process Algebra. | Jos C. M. Baeten, Flavio Corradini |
| 2004 | WETICE | FarMAS: A MAS for Extended Quality Workflow. | Diego Bonura, Flavio Corradini, Emanuela Merelli, Gino Romiti |
| 2004 | WETICE | Code Mobility for Pervasive Computing. | Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini |
| 2003 | CONCUR | Relating Fairness and Timing in Process Algebras. | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
| 2000 | ICSE | Deriving test plans from architectural descriptions. | Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini |
| 1999 | Coordination | Static Analysis of Real-Time Component-Based Systems Configurations. | Candida Attanasio, Flavio Corradini, Paola Inverardi |
| 1999 | FASE | Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. | Candida Attanasio, Flavio Corradini, Paola Inverardi |
| 1996 | MFCS | Specification and Verification of Timed Lazy Systems. | Flavio Corradini, Marco Pistore |
| 1995 | CONCUR | Fully Abstract Models for Nondeterministic Regular Expressions. | Flavio Corradini, Rocco De Nicola, Anna Labella |
| 1995 | MFCS | Performance Preorder: Ordering Processes with Respect to Speed. | Flavio Corradini, Roberto Gorrieri, Marco Roccetti |
| 1994 | ICALP | Distribution and Locality of Concurrent Systems. | Flavio Corradini, Rocco De Nicola |