default search action
Flavio Corradini
Flávio Corradini
Person information
SPARQL queries
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j74]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): 43-66 (2024) - [j73]Emanuele Scala, Changyu Dong, Flavio Corradini, Leonardo Mostarda:
ZeroMT: Towards Multi-Transfer transactions with privacy for account-based blockchain. J. Inf. Secur. Appl. 83: 103794 (2024) - [j72]Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti:
libmg: A Python library for programming graph neural networks in μG. Sci. Comput. Program. 238: 103165 (2024) - [c142]Flavio Corradini, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
On the Interplay Between BPMN Collaborations and the Physical Environment. BPM 2024: 93-110 - [c141]Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re:
A Data Extraction Methodology for Ethereum Smart Contracts. PerCom Workshops 2024: 524-529 - [c140]Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re, Luca Ruschioni:
A Digital Twin Approach for Blockchain Smart Contracts. SANER-C 2024: 1-11 - [i12]Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti:
The μG Language for Programming Graph Neural Networks. CoRR abs/2407.09441 (2024) - 2023
- [j71]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): 139 (2023) - [j70]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): 1981-2005 (2023) - [j69]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: 219-234 (2023) - [j68]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): 3469-3481 (2023) - [j67]Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
A BPMN-driven framework for Multi-Robot System development. Robotics Auton. Syst. 160: 104322 (2023) - [j66]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): 131-158 (2023) - [j65]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): 969-1004 (2023) - [c139]Diletta Cacciagrano, Flavio Corradini, Marco Piangerelli:
Sensorless Predictive Maintenance: An Example on a 'Not 4.0' Coffee Machine Production Process. AINA (3) 2023: 311-320 - [c138]Emanuele Scala, Changyu Dong, Flavio Corradini, Leonardo Mostarda:
Zero-Knowledge Multi-transfer Based on Range Proofs and Homomorphic Encryption. AINA (2) 2023: 461-472 - [c137]Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli:
Managing Variability of Large Public Administration Event Log Collections: Dealing with Concept Drift. BIR 2023: 31-44 - [c136]Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re:
BPMN Inspector: A Tool for Extracting Features from BPMN Models. BPM (Demos / Resources Forum) 2023: 122-126 - [c135]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: 107-122 - [c134]Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
A Methodology for the Analysis of Robotic Systems via Process Mining. EDOC 2023: 117-133 - [c133]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: 325-330 - [c132]Flavio Corradini, Sara Pettinari, Barbara Re, Luca Ruschioni, Francesco Tiezzi:
Enhancing compatibility in QoS communication for the Internet of Robotic Things. ER (Companion) 2023 - [c131]Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti:
Implementing a CTL Model Checker with μ G, a Language for Programming Graph Neural Networks. FORTE 2023: 37-54 - 2022
- [j64]Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Consistent modelling of hierarchical BPMN collaborations. Bus. Process. Manag. J. 28(2): 442-460 (2022) - [j63]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): 384-410 (2022) - [j62]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Formalising and animating multiple instances in BPMN collaborations. Inf. Syst. 103: 101459 (2022) - [j61]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
BPMN 2.0 OR-Join Semantics: Global and local characterisation. Inf. Syst. 105: 101934 (2022) - [j60]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): 31:1-31:53 (2022) - [c130]Flavio Corradini, Leonardo Mostarda, Emanuele Scala:
ZeroMT: Multi-transfer Protocol for Enabling Privacy in Off-Chain Payments. AINA (2) 2022: 611-623 - [c129]Alessandro Antinori, Riccardo Coltrinari, Flavio Corradini, Fabrizio Fornari, Barbara Re, Marco Scarpetta:
BPMN-Redrawer: From Images to BPMN Models. BPM (PhD/Demos) 2022: 107-111 - [c128]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: 132-136 - [c127]Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
A Technique for Collaboration Discovery. BPMDS/EMMSAD@CAiSE 2022: 63-78 - [c126]Flavio Corradini, Arianna Fedeli, Andrea Polini, Barbara Re:
Towards a Digital Twin Modelling Notation. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-6 - [c125]Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
An Approach to Support Digital Process Twin. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-4 - [c124]Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re:
DTMN a Modelling Notation for Digital Twins. EDOC Workshops 2022: 63-78 - [c123]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 - [c122]Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
A Choreography-Driven Approach for Blockchain-Based IoT Applications. PerCom Workshops 2022: 255-260 - [c121]Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re:
X-IoT: a model-driven approach for cross-platform IoT applications development. SAC 2022: 1448-1451 - [c120]Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Flexible execution of multi-party business processes on blockchain. WETSEB@ICSE 2022: 25-32 - [i11]Sajjad Ahmed, Knut Hinkelmann, Flavio Corradini:
Development of Fake News Model using Machine Learning through Natural Language Processing. CoRR abs/2201.07489 (2022) - [i10]Sajjad Ahmed, Knut Hinkelmann, Flavio Corradini:
Combining Machine Learning with Knowledge Engineering to detect Fake News in Social Networks-a survey. CoRR abs/2201.08032 (2022) - [i9]Flavio Corradini, Michele Loreti, Marco Piangerelli, Giacomo Rocchetti:
REPTILE: A Proactive Real-Time Deep Reinforcement Learning Self-adaptive Framework. CoRR abs/2203.14686 (2022) - 2021
- [j59]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: 100630 (2021) - [j58]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: 111007 (2021) - [c119]Diletta Cacciagrano, Flavio Corradini, Gianmarco Mazzante, Leonardo Mostarda, Davide Sestili:
Off-Chain Execution of IoT Smart Contracts. AINA (2) 2021: 608-619 - [c118]Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re:
Trends on the Usage of BPMN 2.0 from Publicly Available Repositories. BIR 2021: 84-99 - [c117]Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi:
RePROSitory: a Repository platform for sharing business PROcess models and logS. ITBPM@BPM 2021: 13-18 - [c116]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: 26-32 - [c115]Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re:
FloWare: An Approach for IoT Support and Application Development. BPMDS/EMMSAD@CAiSE 2021: 350-365 - [c114]Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini:
TLV-dissγ : A Dissimilarity Measure for Public Administration Process Logs. EGOV 2021: 301-314 - [c113]Khalid Bourr, Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Disciplined use of BPMN for mission modeling of Multi-Robot Systems. PoEM (Forum) 2021: 1-10 - [c112]Flavio Corradini, Caterina Luciani, Andrea Morichetta, Andrea Polini:
Process Variance Analysis and Configuration in the Public Administration Sector. RTA-CSIT 2021: 103-112 - 2020
- [j57]Diletta Cacciagrano, Flavio Corradini, Matteo Micheletti, Leonardo Mostarda:
Applying REECHD to non-uniformly distributed heterogeneous devices. Int. J. Grid Util. Comput. 11(5): 629-645 (2020) - [j56]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): 1188-1201 (2020) - [j55]Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Correctness checking for BPMN collaborations with sub-processes. J. Syst. Softw. 166: 110594 (2020) - [j54]Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Collaboration vs. choreography conformance in BPMN. Log. Methods Comput. Sci. 16(4) (2020) - [c111]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: 108-121 - [c110]Flávio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Engineering trustable choreography-based systems using blockchain. SAC 2020: 1470-1479 - [i8]Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Collaboration vs. choreography conformance in BPMN. CoRR abs/2002.04396 (2020)
2010 – 2019
- 2019
- [c109]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 - [c108]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: 163-181 - [c107]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: 467-480 - [c106]Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi:
RePROSitory: a Repository Platform for Sharing Business PROcess modelS. BPM (PhD/Demos) 2019: 149-153 - [c105]Basit Mubeen Abdul, Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
UBBA: Unity Based BPMN Animator. CAiSE Forum 2019: 1-9 - [e8]Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese:
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11665, Springer 2019, ISBN 978-3-030-21484-5 [contents] - 2018
- [j53]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: 129-154 (2018) - [j52]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): 343-371 (2018) - [j51]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): 261-273 (2018) - [j50]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: 35-70 (2018) - [c104]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. BPM 2018: 83-101 - [c103]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
MIDA: Multiple Instances and Data Animator. BPM (Dissertation/Demos/Industry) 2018: 86-90 - [c102]Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. EDOC 2018: 95-104 - [c101]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Global vs. Local Semantics of BPMN 2.0 OR-Join. SOFSEM 2018: 321-336 - [i7]Flavio Corradini, Lucio Forastieri, Alberto Polzonetti, Oliviero Riganelli, Andrea Sergiacomi:
Shared Services Center for E-Government Policy. CoRR abs/1802.07982 (2018) - [i6]Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli:
Business Rules in e-Government Applications. CoRR abs/1802.08484 (2018) - [i5]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 abs/1805.10906 (2018) - [i4]Flavio Corradini, Chiara Muzi, Barbara Re, Francesco Tiezzi:
A Classification of BPMN Collaborations based on Safeness and Soundness Notions. CoRR abs/1809.06178 (2018) - 2017
- [j49]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): 725-741 (2017) - [j48]Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei:
Uniformity in Multiscale Models: From Complex Automata to BioShape. J. Cell. Autom. 12(5): 333-359 (2017) - [c100]Flavio Corradini, Fabrizio Fornari, Chiara Muzi, Andrea Polini, Barbara Re, Francesco Tiezzi:
On Avoiding Erroneous Synchronization in BPMN Processes. BIS 2017: 106-119 - [c99]Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Supporting Multi-layer Modeling in BPMN Collaborations. EOMAS@CAiSE 2017: 53-67 - [c98]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: 92-99 - [c97]Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin:
BProVe: a formal verification framework for business process models. ASE 2017: 217-228 - [c96]Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin:
BProVe: tool support for business process verification. ASE 2017: 937-942 - 2016
- [j47]Marco Bernardo, Flavio Corradini, Luca Tesei:
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions. Theor. Comput. Sci. 629: 2-39 (2016) - [c95]Zaib Ullah, Leonardo Mostarda, Roberto Gagliardi, Diletta Cacciagrano, Flavio Corradini:
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED. AINA 2016: 339-345 - [c94]Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini:
A Pattern for Enabling Multitenancy in Legacy Application. CLOSER (2) 2016: 257-264 - [c93]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: 56-65 - [c92]Flavio Corradini, Barbara Re:
The European Digital Agenda and the Impact of ICT on Public Administrations and Small and Medium Enterprises. RTA-CSIT 2016: 11-16 - [c91]Flavio Corradini, Francesco De Angelis, Daniele Fanì, Andrea Polini:
An Overview of Service-Oriented Computing Challenges and Issues. WEBIST (1) 2016: 231-238 - [p2]Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re:
Business Process Feature Model: An Approach to Deal with Variability of Business Processes. Domain-Specific Conceptual Modeling 2016: 171-194 - 2015
- [j46]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): 107-108 (2015) - [j45]Flavio Corradini, Andrea Polini, Barbara Re:
Inter-organizational business process verification in public administration. Bus. Process. Manag. J. 21(5): 1040-1065 (2015) - [c90]Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi:
A Constrained ECA Language Supporting Formal Verification of WSNs. AINA Workshops 2015: 187-192 - [c89]Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re:
Extending Feature Models to Express Variability in Business Process Models. CAiSE Workshops 2015: 245-256 - [c88]Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini:
Cloud Readiness Assessment of Legacy Application. CLOSER 2015: 119-126 - [c87]Flavio Corradini, Francesco De Angelis, Fabrizio Ippoliti, Fausto Marcantoni:
A Survey of Trust Management Models for Cloud Computing. CLOSER 2015: 155-162 - [c86]Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re:
Process Variability Modeling for Complex Organizations. ES 2015: 9-20 - [c85]Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi:
An Operational Semantics of BPMN Collaboration. FACS 2015: 161-180 - [c84]Flavio Corradini, Francesco De Angelis, Barbara Re, Emiliano Anceschi, Massimo Callisto De Donato, Paolo Iddas:
An Integration Platform for Private Assisted Houses. ICT4AgeingWell 2015: 45-52 - [c83]Flavio Corradini, Francesco De Angelis, Daniele Fanì, Andrea Polini:
A Flexible Architecture to Monitor Dynamic Web Services Composition. WEBIST 2015: 64-72 - 2014
- [c82]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: 210-221 - [c81]Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re:
Modelling Process Intensive Scenarios for the Smart City. EGOV 2014: 147-158 - [c80]Marco Bernardo, Flavio Corradini, Luca Tesei:
Timed process calculi: from durationless actions to durational ones. ICTCS 2014: 21-32 - [c79]Riccardo Cognini, Flavio Corradini, Alberto Polzonetti, Barbara Re:
Five factors that make pervasive business intelligence a winning wager. IEEM 2014: 617-621 - [c78]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: 1-7 - [c77]Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re:
Research challenges in business process adaptability. SAC 2014: 1049-1054 - 2012
- [c76]Serenella Carota, Flavio Corradini, Damiano Falcioni, Maria Laura Maggiulli, Fausto Marcantoni, Roberto Piangerelli, Alberto Polzonetti, Barbara Re, Andrea Sergiacomi:
FedCohesion: Federated Identity Management in the Marche Region. EGOVIS/EDEM 2012: 112-124 - [c75]Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei:
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation. SIMULTECH 2012: 218-227 - 2011
- [c74]Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei:
BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems. IS-EUD 2011: 379-382 - [c73]