Flavio Corradini

260 papers A* 5A 3B 13C 9Misc 5Journal 96Unranked 118
YearRankTypeTitle / Venue / Authors
2026 J jnl
A systematic literature review of spatio-temporal graph neural network models for time series forecasting and classification.
Neural Networks
Flavio Corradini, Flavio Gerosa, Marco Gori, Carlo Lucheroni, Marco Piangerelli, Martina Zannotti
2026 J jnl
COunterfactual Reasoning for Temporal EXplanations: Plausible and Robust Explanations for EEG-Based Seizure Detection.
Trans. Mach. Learn. Res.
Martina Zannotti, Bardh Prenkaj, Marco Piangerelli, Flavio Corradini, Gjergji Kasneci
2025 J jnl
A Framework for Rapidly Prototyping Data Mining Pipelines.
Big Data Cogn. Comput.
Flavio Corradini, Luca Mozzoni, Marco Piangerelli, Barbara Re, Lorenzo Rossi
2025 — conf
A Framework for Supporting Decentralised Applications Analysis.
BlockTEA
Flavio Corradini, Lorenzo Luzi, Fausto Marcantoni, Alessandro Marcelletti, Andrea Morichetta, Barbara Re
2025 J jnl
A methodology for extracting and decoding smart contracts data.
Comput. Commun.
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re
2025 — conf
BEAR 2.0: Enhancing the Environment Model for Animating Environment‑aware BPMN Collaborations.
BPM (Demos / Resources Forum)
Flavio Corradini, Luca Mozzoni, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2025 J jnl
Blockchain-Based Execution of BPMN Choreographies with Multiple Instances.
Distributed Ledger Technol. Res. Pract.
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2025 — conf
Enabling Process Mining on Multimodal Robotic Data.
CAiSE Workshops
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Massimiliano Sampaolo
2025 Misc conf
Looseness for Choreography-based Software Architectures on Blockchain.
SAC
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2025 A conf
Modeling, Formalizing, and Animating Environment-Aware BPMN Collaborations.
BPM
Flavio Corradini, Luca Mozzoni, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2025 — conf
Multimodal Zero-Shot Activity Recognition for Process Mining of Robotic Systems.
BPM (RBPM, PT, and Educators Forum)
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Massimiliano Sampaolo
2025 J jnl
Online clustering with interpretable drift adaptation to mixed features.
Intell. Syst. Appl.
Flavio Corradini, Vincenzo Nucci, Marco Piangerelli, Barbara Re
2025 — conf
Robotic Datasets for Process Mining.
CAiSE Forum
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Massimiliano Sampaolo
2025 J jnl
State of the Art and Future Directions of Small Language Models: A Systematic Review.
Big Data Cogn. Comput.
Flavio Corradini, Matteo Leonesi, Marco Piangerelli
2025 — conf
Towards a Digital Twin of a Decanter Centrifuge for Wastewater Management.
CAiSE Workshops
Massimo Callisto De Donato, Flavio Corradini, Niccolò Francioni, Francesco Giovannini, Barbara Re, Andrea Scacchia
2024 — conf
A Data Extraction Methodology for Ethereum Smart Contracts.
PerCom Workshops
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re
2024 — conf
A Digital Twin Approach for Blockchain Smart Contracts.
SANER (Companion)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re, Luca Ruschioni
2024 J jnl
A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models.
Bus. Inf. Syst. Eng.
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re
2024 J jnl
A Systematic Literature Review of Spatio-Temporal Graph Neural Network Models for Time Series Forecasting and Classification.
CoRR
Flavio Corradini, Marco Gori, Carlo Lucheroni, Marco Piangerelli, Martina Zannotti
2024 J jnl
A technique for discovering BPMN collaboration diagrams.
Softw. Syst. Model.
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2024 — conf
BEAR: BPMN and Environment AnimatoR.
BPM (Demos / Resources Forum)
Flavio Corradini, Luca Mozzoni, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2024 — conf
Design and development of an IoT system for audiovisual self-administered tests.
BIR Workshops
Massimo Callisto De Donato, Flavio Corradini, Flavio Fabbrizi, Fabrizio Fornari, Barbara Re
2024 — conf
Formal Approaches for Modeling and Analysis of Business Process Collaborations.
ISoLA (1)
Flavio Corradini, Fabrizio Fornari, Barbara Re, Lorenzo Rossi, Andrea Polini, Francesco Tiezzi, Andrea Vandin
2024 A conf
On the Interplay Between BPMN Collaborations and the Physical Environment.
BPM
Flavio Corradini, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2024 J jnl
SAFE: An ICT platform for supporting monitoring, localization and rescue operations in case of earthquake.
Internet Things
Massimo Callisto De Donato, Flavio Corradini, Fabrizio Fornari, Barbara Re
2024 J jnl
The μG Language for Programming Graph Neural Networks.
CoRR
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
2024 J jnl
ZeroMT: Towards Multi-Transfer transactions with privacy for account-based blockchain.
J. Inf. Secur. Appl.
Emanuele Scala, Changyu Dong, Flavio Corradini, Leonardo Mostarda
2024 J jnl
libmg: A Python library for programming graph neural networks in μG.
Sci. Comput. Program.
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
2023 J jnl
A BPMN-driven framework for Multi-Robot System development.
Robotics Auton. Syst.
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2023 J jnl
A Flexible Approach to Multi-party Business Process Execution on Blockchain.
Future Gener. Comput. Syst.
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2023 B conf
A Methodology for the Analysis of Robotic Systems via Process Mining.
EDOC
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2023 J jnl
A systematic literature review on IoT-aware business process modeling views, requirements and notations.
Softw. Syst. Model.
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
2023 — conf
BPMN Inspector: A Tool for Extracting Features from BPMN Models.
BPM (Demos / Resources Forum)
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re
2023 — conf
Design and Development of a Digital Twin Prototype for the SAFE Project.
EDOC Workshops
Massimo Callisto De Donato, Flavio Corradini, Fabrizio Fornari, Barbara Re, Matteo Romagnoli
2023 — conf
Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform.
EDOC Workshops
Massimo Callisto De Donato, Flavio Corradini, Fabrizio Fornari, Barbara Re, Matteo Romagnoli
2023 — conf
Enhancing compatibility in QoS communication for the Internet of Robotic Things.
ER (Companion)
Flavio Corradini, Sara Pettinari, Barbara Re, Luca Ruschioni, Francesco Tiezzi
2023 J jnl
Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems.
Big Data Cogn. Comput.
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2023 J jnl
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development.
Softw. Syst. Model.
Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re
2023 C conf
Implementing a CTL Model Checker with μ
FORTE
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
2023 — conf
Managing Variability of Large Public Administration Event Log Collections: Dealing with Concept Drift.
BIR
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli
2023 J jnl
SPECTRE: a deep learning network for posture recognition in manufacturing.
J. Intell. Manuf.
Marianna Ciccarelli, Flavio Corradini, Michele Germani, Giacomo Menchi, Leonardo Mostarda, Alessandra Papetti, Marco Piangerelli
2023 — conf
Sensorless Predictive Maintenance: An Example on a 'Not 4.0' Coffee Machine Production Process.
AINA (3)
Diletta Cacciagrano, Flavio Corradini, Marco Piangerelli
2023 J jnl
X-IoT: a model-driven approach to support IoT application portability across IoT platforms.
Computing
Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re, Luca Ruschioni
2023 — conf
Zero-Knowledge Multi-transfer Based on Range Proofs and Homomorphic Encryption.
AINA (2)
Emanuele Scala, Changyu Dong, Flavio Corradini, Leonardo Mostarda
2022 — conf
A Choreography-Driven Approach for Blockchain-Based IoT Applications.
PerCom Workshops
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2022 — conf
A Technique for Collaboration Discovery.
BPMDS/EMMSAD@CAiSE
Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2022 — conf
An Approach to Support Digital Process Twin.
DASC/PiCom/CBDCom/CyberSciTech
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2022 J jnl
BPMN 2.0 OR-Join Semantics: Global and local characterisation.
Inf. Syst.
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2022 — conf
BPMN-Redrawer: From Images to BPMN Models.
BPM (PhD/Demos)
Alessandro Antinori, Riccardo Coltrinari, Flavio Corradini, Fabrizio Fornari, Barbara Re, Marco Scarpetta
2022 — conf
ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies.
BPM (PhD/Demos)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2022 J jnl
Combining Machine Learning with Knowledge Engineering to detect Fake News in Social Networks-a survey.
CoRR
Sajjad Ahmed, Knut Hinkelmann, Flavio Corradini
2022 J jnl
Consistent modelling of hierarchical BPMN collaborations.
Bus. Process. Manag. J.
Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2022 — conf
DTMN a Modelling Notation for Digital Twins.
EDOC Workshops
Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re
2022 J jnl
Development of Fake News Model using Machine Learning through Natural Language Processing.
CoRR
Sajjad Ahmed, Knut Hinkelmann, Flavio Corradini
2022 J jnl
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain.
ACM Trans. Manag. Inf. Syst.
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2022 — conf
Flexible execution of multi-party business processes on blockchain.
WETSEB@ICSE
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2022 J jnl
Formalising and animating multiple instances in BPMN collaborations.
Inf. Syst.
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2022 — conf
Label-independent feature engineering-based clustering in Public Administration Event Logs (short paper).
EGOV-CeDEM-ePart-*
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini
2022 J jnl
NARUN: noise adaptive routing for utility networks.
Int. J. Web Grid Serv.
Fabio Pagnotta, Leonardo Mostarda, Orhan Gemikonakli, Rosario Culmone, Diletta Romana Cacciagrano, Flavio Corradini
2022 J jnl
REPTILE: A Proactive Real-Time Deep Reinforcement Learning Self-adaptive Framework.
CoRR
Flavio Corradini, Michele Loreti, Marco Piangerelli, Giacomo Rocchetti
2022 — conf
Towards a Digital Twin Modelling Notation.
DASC/PiCom/CBDCom/CyberSciTech
Flavio Corradini, Arianna Fedeli, Andrea Polini, Barbara Re
2022 Misc conf
X-IoT: a model-driven approach for cross-platform IoT applications development.
SAC
Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re
2022 — conf
ZeroMT: Multi-transfer Protocol for Enabling Privacy in Off-Chain Payments.
AINA (2)
Flavio Corradini, Leonardo Mostarda, Emanuele Scala
2021 J jnl
A formal approach for the analysis of BPMN collaboration models.
J. Syst. Softw.
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
2021 — conf
Blockchain and IoT Integration for Society 5.0.
Society 5.0
Diletta Cacciagrano, Flavio Corradini, Leonardo Mostarda
2021 — conf
ChorChain: A model-driven framework for choreography-based systems using blockchain.
ITBPM@BPM
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2021 — conf
Disciplined use of BPMN for mission modeling of Multi-Robot Systems.
PoEM (Forum)
Khalid Bourr, Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2021 — conf
FloWare: An Approach for IoT Support and Application Development.
BPMDS/EMMSAD@CAiSE
Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re
2021 — conf
Off-Chain Execution of IoT Smart Contracts.
AINA (2)
Diletta Cacciagrano, Flavio Corradini, Gianmarco Mazzante, Leonardo Mostarda, Davide Sestili
2021 — conf
Process Variance Analysis and Configuration in the Public Administration Sector.
RTA-CSIT
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Andrea Polini
2021 — conf
RePROSitory: a Repository platform for sharing business PROcess models and logS.
ITBPM@BPM
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
2021 — conf
TLV-diss
EGOV
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini
2021 — conf
Trends on the Usage of BPMN 2.0 from Publicly Available Repositories.
BIR
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re
2021 J jnl
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations.
J. Log. Algebraic Methods Program.
Flavio Corradini, Andrea Morichetta, Chiara Muzi, Barbara Re, Francesco Tiezzi
2020 J jnl
Applying REECHD to non-uniformly distributed heterogeneous devices.
Int. J. Grid Util. Comput.
Diletta Cacciagrano, Flavio Corradini, Matteo Micheletti, Leonardo Mostarda
2020 J jnl
Collaboration vs. choreography conformance in BPMN.
CoRR
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2020 J jnl
Collaboration vs. choreography conformance in BPMN.
Log. Methods Comput. Sci.
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2020 J jnl
Correctness checking for BPMN collaborations with sub-processes.
J. Syst. Softw.
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2020 — conf
Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review.
Business Process Management Workshops
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
2020 J jnl
Tangramob: An Agent-Based Simulation Framework for Validating Urban Smart Mobility Solutions.
J. Intell. Syst.
Flavio Corradini, Francesco De Angelis, Andrea Polini, Carlo Castagnari, Jacopo de Berardinis, Giorgio Forcina
2019 — conf
Combining Machine Learning with Knowledge Engineering to detect Fake News in Social Networks - A Survey.
AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering
Knut Hinkelmann, Sajjad Ahmed, Flavio Corradini
2019 — conf
Enabling Auditing of Smart Contracts Through Process Mining.
From Software Engineering to Formal Methods and Tools, and Back
Flavio Corradini, Fausto Marcantoni, Andrea Morichetta, Andrea Polini, Barbara Re, Massimiliano Sampaolo
2019 — ed.
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Models, Languages, and Tools for Concurrent and Distributed Programming
Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese
2019 — conf
RePROSitory: a Repository Platform for Sharing Business PROcess modelS.
BPM (PhD/Demos)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
2019 — conf
UBBA: Unity Based BPMN Animator.
CAiSE Forum
Basit Mubeen Abdul, Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2019 — conf
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies.
The Art of Modelling Computational Systems
Flavio Corradini, Andrea Morichetta, Barbara Re, Francesco Tiezzi
2018 J jnl
A Classification of BPMN Collaborations based on Safeness and Soundness Notions.
CoRR
Flavio Corradini, Chiara Muzi, Barbara Re, Francesco Tiezzi
2018 J jnl
A Guidelines framework for understandable BPMN models.
Data Knowl. Eng.
Flavio Corradini, Alessio Ferrari, Fabrizio Fornari, Stefania Gnesi, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo
2018 J jnl
A formal approach to modeling and verification of business process collaborations.
Sci. Comput. Program.
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
2018 J jnl
Analysis and verification of ECA rules in intelligent environments.
J. Ambient Intell. Smart Environ.
Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi, Claudia Vannucchi
2018 A conf
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support.
BPM
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2018 J jnl
Business Rules in e-Government Applications.
CoRR
Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli
2018 J jnl
Business process flexibility - a systematic literature review with a software systems perspective.
Inf. Syst. Frontiers
Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re
2018 B conf
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice.
EDOC
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2018 B conf
Global vs. Local Semantics of BPMN 2.0 OR-Join.
SOFSEM
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2018 — conf
MIDA: Multiple Instances and Data Animator.
BPM (Dissertation/Demos/Industry)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2018 J jnl
Shared Services Center for E-Government Policy.
CoRR
Flavio Corradini, Lucio Forastieri, Alberto Polzonetti, Oliviero Riganelli, Andrea Sergiacomi
2018 J jnl
Tangramob: an agent-based simulation framework for validating urban smart mobility solutions.
CoRR
Carlo Castagnari, Flavio Corradini, Francesco De Angelis, Jacopo de Berardinis, Giorgio Forcina, Andrea Polini
2017 A* conf
BProVe: a formal verification framework for business process models.
ASE
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
2017 A* conf
BProVe: tool support for business process verification.
ASE
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
2017 — conf
On Avoiding Erroneous Synchronization in BPMN Processes.
BIS
Flavio Corradini, Fabrizio Fornari, Chiara Muzi, Andrea Polini, Barbara Re, Francesco Tiezzi
2017 J jnl
Private assisted house for smart living.
J. Ambient Intell. Smart Environ.
Flavio Corradini, Francesco De Angelis, Barbara Re, Emiliano Anceschi, Massimo Callisto De Donato, Paolo Iddas
2017 — conf
Supporting Multi-layer Modeling in BPMN Collaborations.
EOMAS@CAiSE
Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2017 J jnl
Uniformity in Multiscale Models: From Complex Automata to BioShape.
J. Cell. Autom.
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
2017 B conf
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments.
Intelligent Environments
Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi
2016 B conf
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED.
AINA
Zaib Ullah, Leonardo Mostarda, Roberto Gagliardi, Diletta Cacciagrano, Flavio Corradini
2016 B conf
A Formal Model for Event-Condition-Action Rules in Intelligent Environments.
Intelligent Environments (Workshops)
Claudia Vannucchi, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Franco Raimondi, Luca Tesei
2016 — conf
A Pattern for Enabling Multitenancy in Legacy Application.
CLOSER (2)
Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini
2016 — conf
An Overview of Service-Oriented Computing Challenges and Issues.
WEBIST (1)
Flavio Corradini, Francesco De Angelis, Daniele Fanì, Andrea Polini
2016 — ch.
Business Process Feature Model: An Approach to Deal with Variability of Business Processes.
Domain-Specific Conceptual Modeling
Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re
2016 — conf
The European Digital Agenda and the Impact of ICT on Public Administrations and Small and Medium Enterprises.
RTA-CSIT
Flavio Corradini, Barbara Re
2016 J jnl
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions.
Theor. Comput. Sci.
Marco Bernardo, Flavio Corradini, Luca Tesei
2015 — conf
A Constrained ECA Language Supporting Formal Verification of WSNs.
AINA Workshops
Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi
2015 C conf
A Flexible Architecture to Monitor Dynamic Web Services Composition.
WEBIST
Flavio Corradini, Francesco De Angelis, Daniele Fanì, Andrea Polini
2015 C conf
A Survey of Trust Management Models for Cloud Computing.
CLOSER
Flavio Corradini, Francesco De Angelis, Fabrizio Ippoliti, Fausto Marcantoni
2015 — conf
An Integration Platform for Private Assisted Houses.
ICT4AgeingWell
Flavio Corradini, Francesco De Angelis, Barbara Re, Emiliano Anceschi, Massimo Callisto De Donato, Paolo Iddas
2015 — conf
An Operational Semantics of BPMN Collaboration.
FACS
Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi
2015 C conf
Cloud Readiness Assessment of Legacy Application.
CLOSER
Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini
2015 — conf
Extending Feature Models to Express Variability in Business Process Models.
CAiSE Workshops
Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re
2015 J jnl
Inter-organizational business process verification in public administration.
Bus. Process. Manag. J.
Flavio Corradini, Andrea Polini, Barbara Re
2015 — conf
Process Variability Modeling for Complex Organizations.
ES
Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re
2015 J jnl
Special issue on "Comprehending asynchrony in specification and analysis" dedicated to Walter Vogler on the occasion of his 60th birthday.
Acta Informatica
Gerald Lüttgen, Flavio Corradini
2014 — conf
Five factors that make pervasive business intelligence a winning wager.
IEEM
Riccardo Cognini, Flavio Corradini, Alberto Polzonetti, Barbara Re
2014 — conf
Interoperability issues among smart home technological frameworks.
MESA
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
2014 — conf
Modelling Process Intensive Scenarios for the Smart City.
EGOV
Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re
2014 Misc conf
Research challenges in business process adaptability.
SAC
Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re
2014 — conf
Timed process calculi: from durationless actions to durational ones.
ICTCS
Marco Bernardo, Flavio Corradini, Luca Tesei
2014 — conf
Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes.
Business Process Management Workshops
Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re
2012 C conf
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation.
SIMULTECH
Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei
2012 — conf
FedCohesion: Federated Identity Management in the Marche Region.
EGOVIS/EDEM
Serenella Carota, Flavio Corradini, Damiano Falcioni, Maria Laura Maggiulli, Fausto Marcantoni, Roberto Piangerelli, Alberto Polzonetti, Barbara Re, Andrea Sergiacomi
2011 — conf
A Uniform Multiscale Meta-model of BioShape.
CS2Bio@DisCoTec
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
2011 J jnl
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People.
ERCIM News
Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito
2011 — conf
Automated Analysis of MUTEX Algorithms with FASE
GandALF
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2011 — conf
BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems.
IS-EUD
Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei
2011 J jnl
Evaluating the Efficiency of Asynchronous Systems with FASE
CoRR
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2011 J jnl
Multiscale Modelling: A Mobile Membrane Approach
CoRR
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei
2011 — conf
Read Operators and their Expressiveness in Process Algebras
EXPRESS
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2011 — conf
Towards Abstraction-Based Verification of Shape Calculus.
SASB
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2010 — book
A Process Algebraic Approach to Software Architecture Design.
Alessandro Aldini, Marco Bernardo, Flavio Corradini
2010 — conf
An Individual-based Probabilistic Model for Fish Stock Simulation
AMCA-POP
Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei
2010 Misc conf
BioShape: a spatial shape-based scale-independent simulation environment for biological systems.
ICCS
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
2010 — conf
Bone Remodelling in BioShape.
CS2Bio
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani
2010 — conf
Bone Remodelling: A Complex Automata-Based Model Running in BioShape.
ACRI
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli
2010 J jnl
Business Processes Verification for e-Government Service Delivery.
Inf. Syst. Manag.
Flavio Corradini, Andrea Polini, Alberto Polzonetti, Barbara Re
2010 — conf
Designing Quality Business Processes for E-Government Digital Services.
EGOV
Flavio Corradini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re
2010 J jnl
Detecting synchronisation of biological oscillators by model checking.
Theor. Comput. Sci.
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
2010 J jnl
Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies.
Expert Syst. Appl.
Luis Álvarez Sabucedo, Luis E. Anido-Rifón, Flavio Corradini, Alberto Polzonetti, Barbara Re
2010 J jnl
Methodologies, Technologies and Tools Enabling e-Government.
J. Univers. Comput. Sci.
Luis E. Anido-Rifón, Flavio Corradini
2010 — conf
Multiscale Bone Remodelling with Spatial P Systems
MeCBIC
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
2010 J jnl
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
Sci. Ann. Comput. Sci.
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2009 — conf
A Shape Calculus for Biological Processes.
ICTCS
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2009 — conf
Constraint-Based Dynamic Conversations.
ICNS
Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito
2009 J jnl
Explicit fairness in testing semantics
Log. Methods Comput. Sci.
Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
2009 — conf
Holistic development of online public services.
ICEGOV
Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli
2009 J jnl
Learning and detecting emergent behavior in networks of cardiac myocytes.
Commun. ACM
Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci
2009 J jnl
Liveness of a mutex algorithm in a fair process algebra.
Acta Informatica
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2009 J jnl
Modeling and simulation of cardiac tissue using hybrid I/O automata.
Theor. Comput. Sci.
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu
2009 — conf
Online Public Service Delivery.
CSREA EE
Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli
2009 — conf
Resourceome for e-Government: Semantic Web Tool for Managing PA Resources.
CSREA EE
Flavio Corradini, Emanuela Merelli, Alberto Polzonetti, Barbara Re, Leonardo Vito
2009 B conf
Time and Fairness in a Process Algebra with Non-blocking Reading.
SOFSEM
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2009 — ch.
Towards Bioinformatics Resourceomes.
Biomedical Data and Applications
Nicola Cannata, Flavio Corradini, Emanuela Merelli, Francesca Piersigilli, Leonardo Vito
2008 C conf
A model-prover for constrained dynamic conversations.
iiWAS
Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito
2008 — conf
A participant testing strategy for service orchestrations.
ICDIM
Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti
2008 J jnl
CellExcite: an efficient simulation environment for excitable cells.
BMC Bioinform.
Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka
2008 — conf
Improving Trust in Composite eServices Via Run-Time Participants Testing.
EGOV
Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti
2008 — conf
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes.
HSCC
Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska
2008 — conf
Model Checking Biological Oscillators.
FBTC@ICALP
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
2008 J jnl
Multiagent modelling and simulation of carbohydrate oxidation in cell.
Int. J. Model. Identif. Control.
Nicola Cannata, Flavio Corradini, Emanuela Merelli
2008 — conf
On the fault tolerance of mobile ad hoc networks.
ITI
Flavio Corradini, Roberto Gagliardi, Michele Papalini, Alberto Polzonetti, Oliviero Riganelli
2008 J jnl
Preface to Special Issue devoted to the memory of Sauro Tulipani.
Math. Struct. Comput. Sci.
Flavio Corradini, Carlo Toffalori
2008 J jnl
Quality of service in e-government underlines the role of information usability.
Int. J. Inf. Qual.
Flavio Corradini, Alberto Polzonetti, Barbara Re, Luca Tesei
2008 — conf
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.
Concurrency, Graphs and Models
Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka
2007 — conf
A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal.
EGOV
Flavio Corradini, Luis Álvarez Sabucedo, Alberto Polzonetti, Luis E. Anido-Rifón, Barbara Re
2007 J jnl
A Resourceomic Grid for bioinformatics.
Future Gener. Comput. Syst.
Nicola Cannata, Flavio Corradini, Emanuela Merelli
2007 J jnl
A characterization of regular expressions under bisimulation.
J. ACM
Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer
2007 J jnl
Agents in bioinformatics, computational and systems biology.
Briefings Bioinform.
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
2007 J jnl
BioWMS: a web-based Workflow Management System for bioinformatics.
BMC Bioinform.
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini
2007 — conf
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus.
EXPRESS
Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia
2007 J jnl
Performance of pipelined asynchronous systems.
J. Log. Algebraic Methods Program.
Flavio Corradini, Walter Vogler
2007 — ed.
Proceedings of the Workshop on Logic, Models and Computer Science, LMCS 2006, Camerino, Italy, April 20-22, 2006
LMCS
Flavio Corradini, Carlo Toffalori
2007 — conf
Semantic Resource Management in MAS.
WOA
Nicola Cannata, Flavio Corradini, Francesca Piersigilli, Emanuela Merelli, Leonardo Vito
2007 J jnl
Separation of synchronous and asynchronous communication via testing.
Theor. Comput. Sci.
Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
2007 — conf
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue.
FBTC@CONCUR
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka
2006 — conf
A secure framework in mobile business transactions.
Mobility Conference
Flavio Corradini, Chiara Ercoli, Andrea Lazzari, Alberto Polzonetti
2006 — conf
Building a MultiAgent System from a User Workflow Specification.
WOA
Ezio Bartocci, Flavio Corradini, Emanuela Merelli
2006 B conf
Checking a Mutex Algorithm in a Process Algebra with Fairness.
CONCUR
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2006 — conf
Document Exchange Methodology for Collaborative Work in e-Government.
DEXA Workshops
Flavio Corradini, Alberto Polzonetti, Romeo Pruno, Lucio Forastieri
2006 — conf
Dynamic Constraint-Based Invocation of Web Services.
WS-FM
Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito
2006 Misc conf
Enacting Proactive Workflows Engine in e-Science.
International Conference on Computational Science (3)
Ezio Bartocci, Flavio Corradini, Emanuela Merelli
2006 — conf
Fair Pi.
EXPRESS
Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
2006 J jnl
Fairness of Actions in System Computations.
Acta Informatica
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2006 J jnl
Fairness of components in system computations.
Theor. Comput. Sci.
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2006 — conf
Model driven design and implementation of activity-based applications in Hermes.
WOA
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito
2006 J jnl
On relating functional specifications to architectural specifications: A case study.
Sci. Comput. Program.
Flavio Corradini, Paola Inverardi, Alexander L. Wolf
2006 — conf
Preface.
LMCS
Flavio Corradini, Carlo Toffalori
2006 J jnl
Preface.
Theor. Comput. Sci.
Jos C. M. Baeten, Flavio Corradini
2006 — conf
Quality evaluation of e-Government digital services.
DG.O
Flavio Corradini, Francesco De Angelis, Alberto Polzonetti, Barbara Re
2006 — conf
Social Enterprise Architecture: Towards an Extendable and Scaleable System Architecture for KM.
DEXA Workshops
Flavio Corradini, Alberto Polzonetti, Romeo Pruno, Roberto D'Angelo
2005 — conf
A Multi-agent System for Modelling Carbohydrate Oxidation in Cell.
ICCSA (2)
Flavio Corradini, Emanuela Merelli, Marco Vita
2005 J jnl
An Agent-Oriented Conceptual Framework for Systems Biology.
Trans. Comp. Sys. Biology
Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
2005 J jnl
EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003).
Theor. Comput. Sci.
Flavio Corradini, Uwe Nestmann
2005 — conf
Hermes: Agent-Based Middleware for Mobile Computing.
SFM
Flavio Corradini, Emanuela Merelli
2005 — conf
Integrating Ontologies in Mobile Agents.
WOA
Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli
2005 J jnl
Measuring the performance of asynchronous systems with PAFAS.
Theor. Comput. Sci.
Flavio Corradini, Walter Vogler
2005 — conf
Performance of Pipelined Asynchronous Systems.
FORMATS
Flavio Corradini, Walter Vogler
2005 — ed.
Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004
EXPRESS
Jos C. M. Baeten, Flavio Corradini
2005 A* conf
Regular Expressions in Process Algebra.
LICS
Jos C. M. Baeten, Flavio Corradini
2005 — conf
Separation of Synchronous and Asynchronous Communication Via Testing.
EXPRESS
Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
2005 — ed.
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
WOA
Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini
2005 — conf
e-Democracy: A Solution for Disadvantaged Territories.
ECEG
Flavio Corradini, Eleonora Paganelli, Alberto Polzonetti
2005 — conf
eGovernment Administrative and Semantic Cooperation: The Role of "Intelligent Documents".
EGOV (Workshops and Posters)
Flavio Corradini, Alberto Polzonetti, Romeo Pruno
2004 J jnl
An agent-based approach to tool integration.
Int. J. Softw. Tools Technol. Transf.
Flavio Corradini, Leonardo Mariani, Emanuela Merelli
2004 — conf
An agent-based matchmaker.
WOA
Flavio Corradini, Chiara Ercoli, Emanuela Merelli, Barbara Re
2004 C conf
Code Mobility for Pervasive Computing.
WETICE
Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini
2004 — conf
Expressiveness of Timed Events and Timed Languages.
SFM
Diletta Cacciagrano, Flavio Corradini
2004 — conf
Fairness of Components in System Computations.
EXPRESS
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2004 C conf
FarMAS: A MAS for Extended Quality Workflow.
WETICE
Diego Bonura, Flavio Corradini, Emanuela Merelli, Gino Romiti
2004 — ed.
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
SFM
Marco Bernardo, Flavio Corradini
2004 — conf
Preface.
EXPRESS
Jos C. M. Baeten, Flavio Corradini
2004 — ed.
Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003
EXPRESS
Flavio Corradini, Uwe Nestmann
2003 — conf
A Programming Environment for Global Activity-based Applications.
WOA
Flavio Corradini, Leonardo Mariani, Emanuela Merelli
2003 — conf
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency.
EXPRESS
Flavio Corradini, Uwe Nestmann
2003 B conf
Relating Fairness and Timing in Process Algebras.
CONCUR
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2003 J jnl
Static analysis of real-time component-based systems configurations.
Sci. Comput. Program.
Candida Attanasio, Flavio Corradini, Paola Inverardi
2003 J jnl
The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed Processes.
Math. Struct. Comput. Sci.
Flavio Corradini, Dino Di Cola
2002 J jnl
An Equational Axiomatization of Bisimulation over Regular Expressions.
J. Log. Comput.
Flavio Corradini, Rocco De Nicola, Anna Labella
2002 J jnl
Comparing the worst-case efficiency of asynchronous systems with PAFAS.
Acta Informatica
Flavio Corradini, Walter Vogler, Lars Jenner
2002 — ed.
Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001
MTCS
Flavio Corradini, Walter Vogler
2001 J jnl
'Closed Interval Process Algebra' versus 'Interval Process Algebra'.
Acta Informatica
Flavio Corradini, Marco Pistore
2001 — conf
On Synchronous and Asynchronous Communication Paradigms.
ICTCS
Diletta Cacciagrano, Flavio Corradini
2001 J jnl
On testing urgency through laziness over processes with durational actions.
Theor. Comput. Sci.
Flavio Corradini, Dino Di Cola
2001 J jnl
On the semantics of durational actions.
Theor. Comput. Sci.
Flavio Corradini, Gian-Luigi Ferrari, Marco Pistore
2001 — conf
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations.
APAQS
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2001 — conf
Preface.
MTCS
Flavio Corradini, Walter Vogler
2000 J jnl
Absolute versus Relative Time in Process Algebras.
Inf. Comput.
Flavio Corradini
2000 A* conf
Deriving test plans from architectural descriptions.
ICSE
Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini
2000 — conf
Preface
MTCS
Flavio Corradini, Paola Inverardi
2000 — ed.
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
MTCS
Flavio Corradini, Paola Inverardi
2000 — conf
Specification and Analysis of Timed and Functional TRMCS Behaviours.
IWSSD
Mauro Cioffi, Flavio Corradini
2000 — conf
The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes.
EXPRESS
Flavio Corradini, Dino Di Cola
1999 J jnl
A finite axiomatization of nondeterministic regular expressions.
RAIRO Theor. Informatics Appl.
Flavio Corradini, Rocco De Nicola, Anna Labella
1999 — conf
Graded Modalities and Resource Bisimulation.
FSTTCS
Flavio Corradini, Rocco De Nicola, Anna Labella
1999 J jnl
Models of Nondeterministic Regular Expressions.
J. Comput. Syst. Sci.
Flavio Corradini, Rocco De Nicola, Anna Labella
1999 J jnl
On the Relationships among four Timed Process Algebras.
Fundam. Informaticae
Flavio Corradini, Domenicantonio D'Ortenzio, Paola Inverardi
1999 C conf
Static Analysis of Real-Time Component-Based Systems Configurations.
COORDINATION
Candida Attanasio, Flavio Corradini, Paola Inverardi
1999 B conf
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance.
FASE
Candida Attanasio, Flavio Corradini, Paola Inverardi
1998 J jnl
On Performance Congruences for Process Algebras.
Inf. Comput.
Flavio Corradini
1998 J jnl
On the Coarsest Congruence Within Global-Clock-Bounded Equivalence.
Theor. Comput. Sci.
Flavio Corradini
1998 J jnl
Towards parallelization of concurrent systems.
RAIRO Theor. Informatics Appl.
Flavio Corradini, Roberto Gorrieri, Davide Marchignoli
1997 — conf
Absolute versus relative time in process algebras.
EXPRESS
Flavio Corradini
1997 — conf
Eager, busy-waiting and lazy actions in timed computation?
EXPRESS
Flavio Corradini, Gian-Luigi Ferrari, Marco Pistore
1997 J jnl
Locality Based Semantics for Process Algebras.
Acta Informatica
Flavio Corradini, Rocco De Nicola
1997 — conf
On the Specification and Verification of Performance Properties for a Timed Process Algebra.
AMAST
Xiao Jun Chen, Flavio Corradini
1997 J jnl
Performance Preorder and Competitive Equivalence.
Acta Informatica
Flavio Corradini, Roberto Gorrieri, Marco Roccetti
1996 — conf
A Study on the Specification and Verification of Performance Properties (Extended Abstract).
AMAST
Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri
1996 J jnl
On Four Partial Ordering Semantics for a Process Calculus.
Fundam. Informaticae
Flavio Corradini, Rocco De Nicola
1996 B conf
Specification and Verification of Timed Lazy Systems.
MFCS
Flavio Corradini, Marco Pistore
1995 B conf
Fully Abstract Models for Nondeterministic Regular Expressions.
CONCUR
Flavio Corradini, Rocco De Nicola, Anna Labella
1995 B conf
Performance Preorder: Ordering Processes with Respect to Speed.
MFCS
Flavio Corradini, Roberto Gorrieri, Marco Roccetti
1994 A* conf
Distribution and Locality of Concurrent Systems.
ICALP
Flavio Corradini, Rocco De Nicola