default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFlavio Corradini
Flávio Corradini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j76]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)- [j75]Massimo Callisto De Donato, Flavio Corradini, Fabrizio Fornari, Barbara Re:
SAFE: An ICT platform for supporting monitoring, localization and rescue operations in case of earthquake. Internet Things 27: 101273 (2024) - [j74]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) - [j73]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) - [j72]Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
A technique for discovering BPMN collaboration diagrams. Softw. Syst. Model. 23(6): 1323-1343 (2024) - [c146]Massimo Callisto De Donato, Flavio Corradini, Flavio Fabbrizi, Fabrizio Fornari, Barbara Re:
Design and development of an IoT system for audiovisual self-administered tests. BIR Workshops 2024: 167-179 - [c145]Flavio Corradini, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
On the Interplay Between BPMN Collaborations and the Physical Environment. BPM 2024: 93-110 - [c144]Flavio Corradini, Luca Mozzoni, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
BEAR: BPMN and Environment AnimatoR. BPM (Demos / Resources Forum) 2024: 121-125 - [c143]Flavio Corradini, Fabrizio Fornari, Barbara Re, Lorenzo Rossi, Andrea Polini, Francesco Tiezzi, Andrea Vandin:
Formal Approaches for Modeling and Analysis of Business Process Collaborations. ISoLA (1) 2024: 50-61 - [c142]Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re:
A Data Extraction Methodology for Ethereum Smart Contracts. PerCom Workshops 2024: 524-529 - [c141]Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re, Luca Ruschioni:
A Digital Twin Approach for Blockchain Smart Contracts. SANER (Companion) 2024: 1-11 - [i13]Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti:
The μG Language for Programming Graph Neural Networks. CoRR abs/2407.09441 (2024) - [i12]Flavio Corradini, Marco Gori, Carlo Lucheroni, Marco Piangerelli, Martina Zannotti:
A Systematic Literature Review of Spatio-Temporal Graph Neural Network Models for Time Series Forecasting and Classification. CoRR abs/2410.22377 (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) - [c140]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 - [c139]Emanuele Scala, Changyu Dong, Flavio Corradini, Leonardo Mostarda:
Zero-Knowledge Multi-transfer Based on Range Proofs and Homomorphic Encryption. AINA (2) 2023: 461-472 - [c138]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 - [c137]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 - [c136]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 - [c135]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 - [c134]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 - [c133]Flavio Corradini, Sara Pettinari, Barbara Re, Luca Ruschioni, Francesco Tiezzi:
Enhancing compatibility in QoS communication for the Internet of Robotic Things. ER (Companion) 2023 - [c132]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) - [c131]Flavio Corradini, Leonardo Mostarda, Emanuele Scala:
ZeroMT: Multi-transfer Protocol for Enabling Privacy in Off-Chain Payments. AINA (2) 2022: 611-623 - [c130]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 - [c129]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 - [c128]Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
A Technique for Collaboration Discovery. BPMDS/EMMSAD@CAiSE 2022: 63-78 - [c127]Flavio Corradini, Arianna Fedeli, Andrea Polini, Barbara Re:
Towards a Digital Twin Modelling Notation. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-6 - [c126]Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
An Approach to Support Digital Process Twin. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-4 - [c125]Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re:
DTMN a Modelling Notation for Digital Twins. EDOC Workshops 2022: 63-78 - [c124]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 - [c123]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 - [c122]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 - [c121]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) - [c120]Diletta Cacciagrano, Flavio Corradini, Gianmarco Mazzante, Leonardo Mostarda, Davide Sestili:
Off-Chain Execution of IoT Smart Contracts. AINA (2) 2021: 608-619 - [c119]Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re:
Trends on the Usage of BPMN 2.0 from Publicly Available Repositories. BIR 2021: 84-99 - [c118]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 - [c117]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 - [c116]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 - [c115]Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini:
TLV-dissγ : A Dissimilarity Measure for Public Administration Process Logs. EGOV 2021: 301-314 - [c114]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 - [c113]Flavio Corradini, Caterina Luciani, Andrea Morichetta, Andrea Polini:
Process Variance Analysis and Configuration in the Public Administration Sector. RTA-CSIT 2021: 103-112 - [c112]Diletta Cacciagrano, Flavio Corradini, Leonardo Mostarda:
Blockchain and IoT Integration for Society 5.0. Society 5.0 2021: 1-12 - 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]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Read Operators and their Expressiveness in Process Algebras. EXPRESS 2011: 31-43 - [c72]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Automated Analysis of MUTEX Algorithms with FASE. GandALF 2011: 45-59 - [c71]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei:
A Uniform Multiscale Meta-model of BioShape. CS2Bio@DisCoTec 2011: 15-27 - [c70]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
Towards Abstraction-Based Verification of Shape Calculus. SASB 2011: 23-34 - [i3]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Evaluating the Efficiency of Asynchronous Systems with FASE. CoRR abs/1105.1369 (2011) - [i2]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei:
Multiscale Modelling: A Mobile Membrane Approach. CoRR abs/1108.3434 (2011) - [i1]Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito:
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People. ERCIM News 2011(87) (2011) - 2010
- [b1]Alessandro Aldini, Marco Bernardo, Flavio Corradini:
A Process Algebraic Approach to Software Architecture Design. Springer 2010, ISBN 978-1-84800-222-7, pp. I-XV, 1-304 - [j44]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. Sci. Ann. Comput. Sci. 20: 1-31 (2010) - [j43]Luis Álvarez Sabucedo, Luis E. Anido-Rifón, Flavio Corradini, Alberto Polzonetti, Barbara Re:
Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies. Expert Syst. Appl. 37(5): 3647-3656 (2010) - [j42]Flavio Corradini, Andrea Polini, Alberto Polzonetti, Barbara Re:
Business Processes Verification for e-Government Service Delivery. Inf. Syst. Manag. 27(4): 293-308 (2010) - [j41]Luis E. Anido-Rifón, Flavio Corradini:
Methodologies, Technologies and Tools Enabling e-Government. J. Univers. Comput. Sci. 16(8): 1055 (2010) - [j40]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei:
Detecting synchronisation of biological oscillators by model checking. Theor. Comput. Sci. 411(20): 1999-2018 (2010) - [c69]Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli:
Bone Remodelling: A Complex Automata-Based Model Running in BioShape. ACRI 2010: 116-127 - [c68]Flavio Corradini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re:
Designing Quality Business Processes for E-Government Digital Services. EGOV 2010: 424-435 - [c67]Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei:
An Individual-based Probabilistic Model for Fish Stock Simulation. AMCA-POP 2010: 37-55 - [c66]Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei:
Multiscale Bone Remodelling with Spatial P Systems. MeCBIC 2010: 70-84 - [c65]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani:
Bone Remodelling in BioShape. CS2Bio 2010: 17-29 - [c64]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei:
BioShape: a spatial shape-based scale-independent simulation environment for biological systems. ICCS 2010: 827-835
2000 – 2009
- 2009
- [j39]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Liveness of a mutex algorithm in a fair process algebra. Acta Informatica 46(3): 209-235 (2009) - [j38]Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci:
Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM 52(3): 97-105 (2009) - [j37]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Explicit fairness in testing semantics. Log. Methods Comput. Sci. 5(2) (2009) - [j36]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu:
Modeling and simulation of cardiac tissue using hybrid I/O automata. Theor. Comput. Sci. 410(33-34): 3149-3165 (2009) - [c63]Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli:
Online Public Service Delivery. CSREA EE 2009: 319-318 - [c62]Flavio Corradini, Emanuela Merelli, Alberto Polzonetti, Barbara Re, Leonardo Vito:
Resourceome for e-Government: Semantic Web Tool for Managing PA Resources. CSREA EE 2009: 354-356 - [c61]Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli:
Holistic development of online public services. ICEGOV 2009: 227-234 - [c60]Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito:
Constraint-Based Dynamic Conversations. ICNS 2009: 7-12 - [c59]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
A Shape Calculus for Biological Processes. ICTCS 2009: 30-33 - [c58]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Time and Fairness in a Process Algebra with Non-blocking Reading. SOFSEM 2009: 193-204 - [p1]Nicola Cannata, Flavio Corradini, Emanuela Merelli, Francesca Piersigilli, Leonardo Vito:
Towards Bioinformatics Resourceomes. Biomedical Data and Applications 2009: 13-36 - 2008
- [j35]Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka:
CellExcite: an efficient simulation environment for excitable cells. BMC Bioinform. 9(S-2) (2008) - [j34]Flavio Corradini, Alberto Polzonetti, Barbara Re, Luca Tesei:
Quality of service in e-government underlines the role of information usability. Int. J. Inf. Qual. 2(2): 133-151 (2008) - [j33]Nicola Cannata, Flavio Corradini, Emanuela Merelli:
Multiagent modelling and simulation of carbohydrate oxidation in cell. Int. J. Model. Identif. Control. 3(1): 17-28 (2008) - [j32]Flavio Corradini, Carlo Toffalori:
Preface to Special Issue devoted to the memory of Sauro Tulipani. Math. Struct. Comput. Sci. 18(1): 1-4 (2008) - [c57]Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka:
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. Concurrency, Graphs and Models 2008: 493-502 - [c56]Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti:
Improving Trust in Composite eServices Via Run-Time Participants Testing. EGOV 2008: 279-290 - [c55]Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska:
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. HSCC 2008: 229-243 - [c54]Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti:
A participant testing strategy for service orchestrations. ICDIM 2008: 308-313 - [c53]Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito:
A model-prover for constrained dynamic conversations. iiWAS 2008: 630-633 - [c52]Flavio Corradini, Roberto Gagliardi, Michele Papalini, Alberto Polzonetti, Oliviero Riganelli:
On the fault tolerance of mobile ad hoc networks. ITI 2008: 827-832 - [c51]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei:
Model Checking Biological Oscillators. FBTC@ICALP 2008: 41-58 - 2007
- [j31]Emanuela Merelli, Giuliano Armano, Nicola Cannata, Flavio Corradini, Mark d'Inverno, Andreas Doms, Phillip W. Lord, Andrew C. R. Martin, Luciano Milanesi, Steffen Möller, Michael Schroeder, Michael Luck:
Agents in bioinformatics, computational and systems biology. Briefings Bioinform. 8(1): 45-59 (2007) - [j30]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini:
BioWMS: a web-based Workflow Management System for bioinformatics. BMC Bioinform. 8(S-1) (2007) - [j29]Nicola Cannata, Flavio Corradini, Emanuela Merelli:
A Resourceomic Grid for bioinformatics. Future Gener. Comput. Syst. 23(3): 510-516 (2007) - [j28]Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer:
A characterization of regular expressions under bisimulation. J. ACM 54(2): 6 (2007) - [j27]Flavio Corradini, Walter Vogler:
Performance of pipelined asynchronous systems. J. Log. Algebraic Methods Program. 70(2): 201-221 (2007) - [j26]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Separation of synchronous and asynchronous communication via testing. Theor. Comput. Sci. 386(3): 218-235 (2007) - [c50]Flavio Corradini, Luis Álvarez Sabucedo, Alberto Polzonetti, Luis E. Anido-Rifón, Barbara Re:
A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal. EGOV 2007: 204-215 - [c49]Nicola Cannata, Flavio Corradini, Francesca Piersigilli, Emanuela Merelli, Leonardo Vito:
Semantic Resource Management in MAS. WOA 2007: 42-47 - [c48]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka:
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. FBTC@CONCUR 2007: 51-67 - [c47]Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia:
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. EXPRESS 2007: 59-84 - [e7]Flavio Corradini, Carlo Toffalori:
Proceedings of the Workshop on Logic, Models and Computer Science, LMCS 2006, Camerino, Italy, April 20-22, 2006. Electronic Notes in Theoretical Computer Science 169, Elsevier 2007 [contents] - 2006
- [j25]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Fairness of Actions in System Computations. Acta Informatica 43(2): 73-130 (2006) - [j24]Flavio Corradini, Paola Inverardi, Alexander L. Wolf:
On relating functional specifications to architectural specifications: A case study. Sci. Comput. Program. 59(3): 171-208 (2006) - [j23]Jos C. M. Baeten, Flavio Corradini:
Preface. Theor. Comput. Sci. 356(3): 263-264 (2006) - [j22]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Fairness of components in system computations. Theor. Comput. Sci. 356(3): 291-324 (2006) - [c46]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Checking a Mutex Algorithm in a Process Algebra with Fairness. CONCUR 2006: 142-157 - [c45]Flavio Corradini, Alberto Polzonetti, Romeo Pruno, Lucio Forastieri:
Document Exchange Methodology for Collaborative Work in e-Government. DEXA Workshops 2006: 283-287 - [c44]Flavio Corradini, Alberto Polzonetti, Romeo Pruno, Roberto D'Angelo:
Social Enterprise Architecture: Towards an Extendable and Scaleable System Architecture for KM. DEXA Workshops 2006: 584-587 - [c43]Flavio Corradini, Francesco De Angelis, Alberto Polzonetti, Barbara Re:
Quality evaluation of e-Government digital services. DG.O 2006: 377-378 - [c42]Ezio Bartocci, Flavio Corradini, Emanuela Merelli:
Enacting Proactive Workflows Engine in e-Science. International Conference on Computational Science (3) 2006: 1012-1015 - [c41]Flavio Corradini, Chiara Ercoli, Andrea Lazzari, Alberto Polzonetti:
A secure framework in mobile business transactions. Mobility Conference 2006: 35 - [c40]Ezio Bartocci, Flavio Corradini, Emanuela Merelli:
Building a MultiAgent System from a User Workflow Specification. WOA 2006 - [c39]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito:
Model driven design and implementation of activity-based applications in Hermes. WOA 2006 - [c38]Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito:
Dynamic Constraint-Based Invocation of Web Services. WS-FM 2006: 138-147 - [c37]Flavio Corradini, Carlo Toffalori:
Preface. LMCS 2006: 1-2 - [c36]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Fair Pi. EXPRESS 2006: 3-26 - 2005
- [j21]Flavio Corradini, Uwe Nestmann:
EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). Theor. Comput. Sci. 330(3): 375-376 (2005) - [j20]Flavio Corradini, Walter Vogler:
Measuring the performance of asynchronous systems with PAFAS. Theor. Comput. Sci. 335(2-3): 187-213 (2005) - [j19]Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci:
An Agent-Oriented Conceptual Framework for Systems Biology. Trans. Comp. Sys. Biology 3: 105-122 (2005) - [c35]Flavio Corradini, Eleonora Paganelli, Alberto Polzonetti:
e-Democracy: A Solution for Disadvantaged Territories. ECEG 2005: 101-110 - [c34]Flavio Corradini, Alberto Polzonetti, Romeo Pruno:
eGovernment Administrative and Semantic Cooperation: The Role of "Intelligent Documents". EGOV (Workshops and Posters) 2005: 150-157 - [c33]Flavio Corradini, Walter Vogler:
Performance of Pipelined Asynchronous Systems. FORMATS 2005: 242-257 - [c32]Flavio Corradini, Emanuela Merelli, Marco Vita:
A Multi-agent System for Modelling Carbohydrate Oxidation in Cell. ICCSA (2) 2005: 1264-1273 - [c31]Jos C. M. Baeten, Flavio Corradini:
Regular Expressions in Process Algebra. LICS 2005: 12-19 - [c30]Flavio Corradini, Emanuela Merelli:
Hermes: Agent-Based Middleware for Mobile Computing. SFM 2005: 234-270 - [c29]Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli:
Integrating Ontologies in Mobile Agents. WOA 2005: 37-45 - [c28]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Separation of Synchronous and Asynchronous Communication Via Testing. EXPRESS 2005: 95-108 - [e6]Jos C. M. Baeten, Flavio Corradini:
Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 128(2), Elsevier 2005 [contents] - [e5]Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini:
WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy. Pitagora Editrice Bologna 2005, ISBN 88-371-1590-3 [contents] - 2004
- [j18]Flavio Corradini, Leonardo Mariani, Emanuela Merelli:
An agent-based approach to tool integration. Int. J. Softw. Tools Technol. Transf. 6(3): 231-244 (2004) - [c27]Diletta Cacciagrano, Flavio Corradini:
Expressiveness of Timed Events and Timed Languages. SFM 2004: 98-131 - [c26]Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini:
Code Mobility for Pervasive Computing. WETICE 2004: 431-432 - [c25]Diego Bonura, Flavio Corradini, Emanuela Merelli, Gino Romiti:
FarMAS: A MAS for Extended Quality Workflow. WETICE 2004: 435-440 - [c24]Flavio Corradini, Chiara Ercoli, Emanuela Merelli, Barbara Re:
An agent-based matchmaker. WOA 2004: 150-156 - [c23]Jos C. M. Baeten, Flavio Corradini:
Preface. EXPRESS 2004: 1-3 - [c22]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Fairness of Components in System Computations. EXPRESS 2004: 35-52 - [e4]Flavio Corradini, Uwe Nestmann:
Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003. Electronic Notes in Theoretical Computer Science 96, Elsevier 2004 [contents] - [e3]Marco Bernardo, Flavio Corradini:
Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures. Lecture Notes in Computer Science 3185, Springer 2004, ISBN 3-540-23068-8 [contents] - 2003
- [j17]Flavio Corradini, Dino Di Cola:
The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed Processes. Math. Struct. Comput. Sci. 13(4): 619-656 (2003) - [j16]Candida Attanasio, Flavio Corradini, Paola Inverardi:
Static analysis of real-time component-based systems configurations. Sci. Comput. Program. 46(1-2): 5-30 (2003) - [c21]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Relating Fairness and Timing in Process Algebras. CONCUR 2003: 438-452 - [c20]Flavio Corradini, Leonardo Mariani, Emanuela Merelli:
A Programming Environment for Global Activity-based Applications. WOA 2003: 163-169 - [c19]Flavio Corradini, Uwe Nestmann:
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. EXPRESS 2003: 1-3 - 2002
- [j15]Flavio Corradini, Walter Vogler, Lars Jenner:
Comparing the worst-case efficiency of asynchronous systems with PAFAS. Acta Informatica 38(11/12): 735-792 (2002) - [j14]Flavio Corradini, Rocco De Nicola, Anna Labella:
An Equational Axiomatization of Bisimulation over Regular Expressions. J. Log. Comput. 12(2): 301-320 (2002) - [e2]Flavio Corradini, Walter Vogler:
Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001. Electronic Notes in Theoretical Computer Science 52(3), Elsevier 2002 [contents] - 2001
- [j13]Flavio Corradini, Marco Pistore:
'Closed Interval Process Algebra' versus 'Interval Process Algebra'. Acta Informatica 37(7): 467-509 (2001) - [j12]Flavio Corradini, Dino Di Cola:
On testing urgency through laziness over processes with durational actions. Theor. Comput. Sci. 258(1-2): 393-407 (2001) - [j11]Flavio Corradini, Gian-Luigi Ferrari, Marco Pistore:
On the semantics of durational actions. Theor. Comput. Sci. 269(1-2): 47-82 (2001) - [c18]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. APAQS 2001: 231-240 - [c17]Diletta Cacciagrano, Flavio Corradini:
On Synchronous and Asynchronous Communication Paradigms. ICTCS 2001: 256-268 - [c16]Flavio Corradini, Walter Vogler:
Preface. MTCS 2001: 323-324 - 2000
- [j10]Flavio Corradini:
Absolute versus Relative Time in Process Algebras. Inf. Comput. 156(1-2): 122-172 (2000) - [c15]Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini:
Deriving test plans from architectural descriptions. ICSE 2000: 220-229 - [c14]Mauro Cioffi, Flavio Corradini:
Specification and Analysis of Timed and Functional TRMCS Behaviours. IWSSD 2000: 31-38 - [c13]Flavio Corradini, Dino Di Cola:
The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes. EXPRESS 2000: 47-64 - [c12]Flavio Corradini, Paola Inverardi:
Preface. MTCS 2000: 195-196 - [e1]Flavio Corradini, Paola Inverardi:
Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 26, 2000. Electronic Notes in Theoretical Computer Science 39(3), Elsevier 2000 [contents]
1990 – 1999
- 1999
- [j9]Flavio Corradini, Domenicantonio D'Ortenzio, Paola Inverardi:
On the Relationships among four Timed Process Algebras. Fundam. Informaticae 38(4): 377-395 (1999) - [j8]Flavio Corradini, Rocco De Nicola, Anna Labella:
A finite axiomatization of nondeterministic regular expressions. RAIRO Theor. Informatics Appl. 33(4/5): 447-466 (1999) - [j7]Flavio Corradini, Rocco De Nicola, Anna Labella:
Models of Nondeterministic Regular Expressions. J. Comput. Syst. Sci. 59(3): 412-449 (1999) - [c11]Candida Attanasio, Flavio Corradini, Paola Inverardi:
Static Analysis of Real-Time Component-Based Systems Configurations. COORDINATION 1999: 323-339 - [c10]Candida Attanasio, Flavio Corradini, Paola Inverardi:
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. FASE 1999: 45-59 - [c9]Flavio Corradini, Rocco De Nicola, Anna Labella:
Graded Modalities and Resource Bisimulation. FSTTCS 1999: 381-393 - 1998
- [j6]Flavio Corradini:
On Performance Congruences for Process Algebras. Inf. Comput. 145(2): 191-230 (1998) - [j5]Flavio Corradini, Roberto Gorrieri, Davide Marchignoli:
Towards parallelization of concurrent systems. RAIRO Theor. Informatics Appl. 32(4-6): 99-125 (1998) - [j4]Flavio Corradini:
On the Coarsest Congruence Within Global-Clock-Bounded Equivalence. Theor. Comput. Sci. 198(1-2): 225-237 (1998) - 1997
- [j3]Flavio Corradini, Rocco De Nicola:
Locality Based Semantics for Process Algebras. Acta Informatica 34(4): 291-324 (1997) - [j2]Flavio Corradini, Roberto Gorrieri, Marco Roccetti:
Performance Preorder and Competitive Equivalence. Acta Informatica 34(11): 805-835 (1997) - [c8]Xiao Jun Chen, Flavio Corradini:
On the Specification and Verification of Performance Properties for a Timed Process Algebra. AMAST 1997: 123-137 - [c7]Flavio Corradini:
Absolute versus relative time in process algebras. EXPRESS 1997: 76-95 - [c6]Flavio Corradini, Gian-Luigi Ferrari, Marco Pistore:
Eager, busy-waiting and lazy actions in timed computation? EXPRESS 1997: 96-114 - 1996
- [j1]Flavio Corradini, Rocco De Nicola:
On Four Partial Ordering Semantics for a Process Calculus. Fundam. Informaticae 27(4): 349-383 (1996) - [c5]Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri:
A Study on the Specification and Verification of Performance Properties (Extended Abstract). AMAST 1996: 306-320 - [c4]Flavio Corradini, Marco Pistore:
Specification and Verification of Timed Lazy Systems. MFCS 1996: 279-290 - 1995
- [c3]Flavio Corradini, Rocco De Nicola, Anna Labella:
Fully Abstract Models for Nondeterministic Regular Expressions. CONCUR 1995: 130-144 - [c2]Flavio Corradini, Roberto Gorrieri, Marco Roccetti:
Performance Preorder: Ordering Processes with Respect to Speed. MFCS 1995: 444-453 - 1994
- [c1]Flavio Corradini, Rocco De Nicola:
Distribution and Locality of Concurrent Systems. ICALP 1994: 154-165
Coauthor Index
Diletta Cacciagrano
aka: Diletta Romana Cacciagrano
aka: Diletta Romana Cacciagrano
[c143] [j70] [j69] [j66] [j65] [j64] [j60] [c129] [c127] [c125] [c124] [c123] [c122] [c121] [j58] [c118] [c117] [c116] [c115] [c113] [j56] [j55] [j54] [c111] [c110] [i8] [c107] [c106] [j53] [j52] [j50] [c102] [i5] [c100] [c99] [c97] [c96] [c94] [c91] [p2] [j45] [c89] [c88] [c86] [c85] [c83] [c82] [c81] [c77] [j42] [c68] [c56] [c54]
[j76] [j75] [j72] [c146] [c145] [c144] [c143] [c142] [c141] [j71] [j70] [j69] [j67] [j66] [j65] [c137] [c136] [c135] [c134] [c133] [j64] [j62] [j61] [j60] [c130] [c129] [c128] [c127] [c126] [c125] [c123] [c122] [c121] [j59] [j58] [c119] [c118] [c117] [c116] [c114] [j55] [j54] [c111] [c110] [i8] [c108] [c107] [c106] [c105] [j53] [j52] [j50] [c104] [c103] [c102] [c101] [i4] [j49] [c100] [c99] [c97] [c96] [c92] [p2] [j45] [c89] [c86] [c85] [c84] [c82] [c81] [c79] [c78] [c77] [c76] [j43] [j42] [c68] [c62] [j34] [c50] [c43] [c24]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-30 21:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
