Distribution and Locality of Concurrent Systems. - Flavio Corradini; Rocco De Nicola (ICALP, 1994)

Fully Abstract Models for Nondeterministic Regular Expressions. - Flavio Corradini; Rocco De Nicola; Anna Labella (CONCUR, 1995)

Performance Preorder: Ordering Processes with Respect to Speed. - Flavio Corradini; Roberto Gorrieri; Marco Roccetti (MFCS, 1995)

A Study on the Specification and Verification of Performance Properties (Extended Abstract). - Xiao Jun Chen; Flavio Corradini; Roberto Gorrieri (AMAST, 1996)

Specification and Verification of Timed Lazy Systems. - Flavio Corradini; Marco Pistore (MFCS, 1996)

On Four Partial Ordering Semantics for a Process Calculus. - Flavio Corradini; Rocco De Nicola (Fundam. Informaticae, 1996)

On the Specification and Verification of Performance Properties for a Timed Process Algebra. - Xiao Jun Chen; Flavio Corradini (AMAST, 1997)

Performance Preorder and Competitive Equivalence. - Flavio Corradini; Roberto Gorrieri; Marco Roccetti (Acta Informatica, 1997)

Locality Based Semantics for Process Algebras. - Flavio Corradini; Rocco De Nicola (Acta Informatica, 1997)

Absolute versus relative time in process algebras. - Flavio Corradini (EXPRESS, 1997)

Eager, busy-waiting and lazy actions in timed computation? - Flavio Corradini; Gian-Luigi Ferrari 002; Marco Pistore (EXPRESS, 1997)

On Performance Congruences for Process Algebras. - Flavio Corradini (Inf. Comput., 1998)

Towards parallelization of concurrent systems. - Flavio Corradini; Roberto Gorrieri; Davide Marchignoli (RAIRO Theor. Informatics Appl., 1998)

On the Coarsest Congruence Within Global-Clock-Bounded Equivalence. - Flavio Corradini (Theor. Comput. Sci., 1998)

Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. - Candida Attanasio; Flavio Corradini; Paola Inverardi (FASE, 1999)

Graded Modalities and Resource Bisimulation. - Flavio Corradini; Rocco De Nicola; Anna Labella (FSTTCS, 1999)

On the Relationships among four Timed Process Algebras. - Flavio Corradini; Domenicantonio D'Ortenzio; Paola Inverardi (Fundam. Informaticae, 1999)

A finite axiomatization of nondeterministic regular expressions. - Flavio Corradini; Rocco De Nicola; Anna Labella (RAIRO Theor. Informatics Appl., 1999)

Models of Nondeterministic Regular Expressions. - Flavio Corradini; Rocco De Nicola; Anna Labella (J. Comput. Syst. Sci., 1999)

Deriving test plans from architectural descriptions. - Antonia Bertolino; Flavio Corradini; Paola Inverardi; Henry Muccini (ICSE, 2000)

Specification and Analysis of Timed and Functional TRMCS Behaviours. - Mauro Cioffi; Flavio Corradini (IWSSD, 2000)

The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes. - Flavio Corradini; Dino Di Cola (EXPRESS, 2000)

Preface - Flavio Corradini; Paola Inverardi (MTCS, 2000)

PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (APAQS, 2001)

On Synchronous and Asynchronous Communication Paradigms. - Diletta Cacciagrano; Flavio Corradini (ICTCS, 2001)

'Closed Interval Process Algebra' versus 'Interval Process Algebra'. - Flavio Corradini; Marco Pistore (Acta Informatica, 2001)

Preface. - Flavio Corradini; Walter Vogler (MTCS, 2001)

On testing urgency through laziness over processes with durational actions. - Flavio Corradini; Dino Di Cola (Theor. Comput. Sci., 2001)

On the semantics of durational actions. - Flavio Corradini; Gian-Luigi Ferrari 002; Marco Pistore (Theor. Comput. Sci., 2001)

Comparing the worst-case efficiency of asynchronous systems with PAFAS. - Flavio Corradini; Walter Vogler; Lars Jenner (Acta Informatica, 2002)

An Equational Axiomatization of Bisimulation over Regular Expressions. - Flavio Corradini; Rocco De Nicola; Anna Labella (J. Log. Comput., 2002)

Relating Fairness and Timing in Process Algebras. - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (CONCUR, 2003)

A Programming Environment for Global Activity-based Applications. - Flavio Corradini; Leonardo Mariani; Emanuela Merelli (WOA, 2003)

Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. - Flavio Corradini; Uwe Nestmann (EXPRESS, 2003)

Static analysis of real-time component-based systems configurations. - Candida Attanasio; Flavio Corradini; Paola Inverardi (Sci. Comput. Program., 2003)

Expressiveness of Timed Events and Timed Languages. - Diletta Cacciagrano; Flavio Corradini (SFM, 2004)

FarMAS: A MAS for Extended Quality Workflow. - Diego Bonura; Flavio Corradini; Emanuela Merelli; Gino Romiti (WETICE, 2004)

Code Mobility for Pervasive Computing. - Flavio Corradini; Rosario Culmone; Maria Rita Di Berardini (WETICE, 2004)

An agent-based matchmaker. - Flavio Corradini; Chiara Ercoli; Emanuela Merelli; Barbara Re 001 (WOA, 2004)

An agent-based approach to tool integration. - Flavio Corradini; Leonardo Mariani; Emanuela Merelli (Int. J. Softw. Tools Technol. Transf., 2004)

e-Democracy: A Solution for Disadvantaged Territories. - Flavio Corradini; Eleonora Paganelli; Alberto Polzonetti (ECEG, 2005)

eGovernment Administrative and Semantic Cooperation: The Role of "Intelligent Documents". - Flavio Corradini; Alberto Polzonetti; Romeo Pruno (EGOV (Workshops and Posters), 2005)

A Multi-agent System for Modelling Carbohydrate Oxidation in Cell. - Flavio Corradini; Emanuela Merelli; Marco Vita (ICCSA (2), 2005)

Regular Expressions in Process Algebra. - Jos C. M. Baeten; Flavio Corradini (LICS, 2005)

Hermes: Agent-Based Middleware for Mobile Computing. - Flavio Corradini; Emanuela Merelli (SFM, 2005)

Integrating Ontologies in Mobile Agents. - Flavio Corradini; Rosario Culmone; Maria Rita Di Berardini; Emanuela Merelli (WOA, 2005)

EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). - Flavio Corradini; Uwe Nestmann (Theor. Comput. Sci., 2005)

Measuring the performance of asynchronous systems with PAFAS. - Flavio Corradini; Walter Vogler (Theor. Comput. Sci., 2005)

An Agent-Oriented Conceptual Framework for Systems Biology. - Nicola Cannata; Flavio Corradini; Emanuela Merelli; Andrea Omicini; Alessandro Ricci (Trans. Comp. Sys. Biology, 2005)

Checking a Mutex Algorithm in a Process Algebra with Fairness. - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (CONCUR, 2006)

Social Enterprise Architecture: Towards an Extendable and Scaleable System Architecture for KM. - Flavio Corradini; Alberto Polzonetti; Romeo Pruno; Roberto D'Angelo (DEXA Workshops, 2006)

Document Exchange Methodology for Collaborative Work in e-Government. - Flavio Corradini; Alberto Polzonetti; Romeo Pruno; Lucio Forastieri (DEXA Workshops, 2006)

Quality evaluation of e-Government digital services. - Flavio Corradini; Francesco De Angelis 001; Alberto Polzonetti; Barbara Re 001 (DG.O, 2006)

Enacting Proactive Workflows Engine in e-Science. - Ezio Bartocci; Flavio Corradini; Emanuela Merelli (International Conference on Computational Science (3), 2006)

A secure framework in mobile business transactions. - Flavio Corradini; Chiara Ercoli; Andrea Lazzari; Alberto Polzonetti (Mobility Conference, 2006)

Building a MultiAgent System from a User Workflow Specification. - Ezio Bartocci; Flavio Corradini; Emanuela Merelli (WOA, 2006)

Model driven design and implementation of activity-based applications in Hermes. - Ezio Bartocci; Flavio Corradini; Emanuela Merelli; Leonardo Vito (WOA, 2006)

Dynamic Constraint-Based Invocation of Web Services. - Diletta Cacciagrano; Flavio Corradini; Rosario Culmone; Leonardo Vito (WS-FM, 2006)

Fairness of Actions in System Computations. - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (Acta Informatica, 2006)

Fair Pi. - Diletta Cacciagrano; Flavio Corradini; Catuscia Palamidessi (EXPRESS, 2006)

Preface. - Flavio Corradini; Carlo Toffalori (LMCS, 2006)

On relating functional specifications to architectural specifications: A case study. - Flavio Corradini; Paola Inverardi; Alexander L. Wolf (Sci. Comput. Program., 2006)

Preface. - Jos C. M. Baeten; Flavio Corradini (Theor. Comput. Sci., 2006)

Fairness of components in system computations. - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (Theor. Comput. Sci., 2006)

A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal. - Flavio Corradini; Luis Álvarez Sabucedo; Alberto Polzonetti; Luis E. Anido-Rifón; Barbara Re 001 (EGOV, 2007)

Semantic Resource Management in MAS. - Nicola Cannata; Flavio Corradini; Francesca Piersigilli; Emanuela Merelli; Leonardo Vito (WOA, 2007)

Agents in bioinformatics, computational and systems biology. - 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 001; Michael Luck (Briefings Bioinform., 2007)

BioWMS: a web-based Workflow Management System for bioinformatics. - Ezio Bartocci; Flavio Corradini; Emanuela Merelli; Lorenzo Scortichini (BMC Bioinform., 2007)

Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. - Ezio Bartocci; Flavio Corradini; Maria Rita Di Berardini; Emilia Entcheva; Radu Grosu; Scott A. Smolka (FBTC@CONCUR, 2007)

Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. - Diletta Cacciagrano; Flavio Corradini; Jesús Aranda; Frank D. Valencia (EXPRESS, 2007)

A Resourceomic Grid for bioinformatics. - Nicola Cannata; Flavio Corradini; Emanuela Merelli (Future Gener. Comput. Syst., 2007)

A characterization of regular expressions under bisimulation. - Jos C. M. Baeten; Flavio Corradini; Clemens Grabmayer (J. ACM, 2007)

Performance of pipelined asynchronous systems. - Flavio Corradini; Walter Vogler (J. Log. Algebraic Methods Program., 2007)

Separation of synchronous and asynchronous communication via testing. - Diletta Cacciagrano; Flavio Corradini; Catuscia Palamidessi (Theor. Comput. Sci., 2007)

StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. - Ezio Bartocci; Flavio Corradini; Radu Grosu; Emanuela Merelli; Oliviero Riganelli; Scott A. Smolka (Concurrency, Graphs and Models, 2008)

Improving Trust in Composite eServices Via Run-Time Participants Testing. - Flavio Corradini; Francesco De Angelis 001; Andrea Polini; Alberto Polzonetti (EGOV, 2008)

A participant testing strategy for service orchestrations. - Flavio Corradini; Francesco De Angelis 001; Andrea Polini; Alberto Polzonetti (ICDIM, 2008)

A model-prover for constrained dynamic conversations. - Diletta Cacciagrano; Flavio Corradini; Rosario Culmone; Luca Tesei; Leonardo Vito (iiWAS, 2008)

On the fault tolerance of mobile ad hoc networks. - Flavio Corradini; Roberto Gagliardi; Michele Papalini; Alberto Polzonetti; Oliviero Riganelli (ITI, 2008)

CellExcite: an efficient simulation environment for excitable cells. - Ezio Bartocci; Flavio Corradini; Emilia Entcheva; Radu Grosu; Scott A. Smolka (BMC Bioinform., 2008)

Model Checking Biological Oscillators. - Ezio Bartocci; Flavio Corradini; Emanuela Merelli; Luca Tesei (FBTC@ICALP, 2008)

Quality of service in e-government underlines the role of information usability. - Flavio Corradini; Alberto Polzonetti; Barbara Re 001; Luca Tesei (Int. J. Inf. Qual., 2008)

Multiagent modelling and simulation of carbohydrate oxidation in cell. - Nicola Cannata; Flavio Corradini; Emanuela Merelli (Int. J. Model. Identif. Control., 2008)

Preface to Special Issue devoted to the memory of Sauro Tulipani. - Flavio Corradini; Carlo Toffalori (Math. Struct. Comput. Sci., 2008)

Resourceome for e-Government: Semantic Web Tool for Managing PA Resources. - Flavio Corradini; Emanuela Merelli; Alberto Polzonetti; Barbara Re 001; Leonardo Vito (CSREA EE, 2009)

Online Public Service Delivery. - Flavio Corradini; Alberto Polzonetti; Oliviero Riganelli (CSREA EE, 2009)

Holistic development of online public services. - Flavio Corradini; Alberto Polzonetti; Oliviero Riganelli (ICEGOV, 2009)

Constraint-Based Dynamic Conversations. - Diletta Cacciagrano; Flavio Corradini; Rosario Culmone; Leonardo Vito (ICNS, 2009)

A Shape Calculus for Biological Processes. - Ezio Bartocci; Flavio Corradini; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (ICTCS, 2009)

Time and Fairness in a Process Algebra with Non-blocking Reading. - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (SOFSEM, 2009)

Liveness of a mutex algorithm in a fair process algebra. - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (Acta Informatica, 2009)

Learning and detecting emergent behavior in networks of cardiac myocytes. - Radu Grosu; Scott A. Smolka; Flavio Corradini; Anita Wasilewska; Emilia Entcheva; Ezio Bartocci (Commun. ACM, 2009)

Explicit fairness in testing semantics - Diletta Cacciagrano; Flavio Corradini; Catuscia Palamidessi (Log. Methods Comput. Sci., 2009)

Modeling and simulation of cardiac tissue using hybrid I/O automata. - Ezio Bartocci; Flavio Corradini; Maria Rita Di Berardini; Emilia Entcheva; Scott A. Smolka; Radu Grosu (Theor. Comput. Sci., 2009)

Towards Bioinformatics Resourceomes. - Nicola Cannata; Flavio Corradini; Emanuela Merelli; Francesca Piersigilli; Leonardo Vito (Biomedical Data and Applications, 2009)

A Process Algebraic Approach to Software Architecture Design. - Alessandro Aldini; Marco Bernardo 001; Flavio Corradini (Springer, 2010)

Bone Remodelling: A Complex Automata-Based Model Running in BioShape. - Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli (ACRI, 2010)

Designing Quality Business Processes for E-Government Digital Services. - Flavio Corradini; Damiano Falcioni; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (EGOV, 2010)

An Individual-based Probabilistic Model for Fish Stock Simulation - Federico Buti; Flavio Corradini; Emanuela Merelli; Elio Paschini; Pierluigi Penna; Luca Tesei (AMCA-POP, 2010)

Multiscale Bone Remodelling with Spatial P Systems - Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei (MeCBIC, 2010)

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. - Ezio Bartocci; Flavio Corradini; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (Sci. Ann. Comput. Sci., 2010)

Bone Remodelling in BioShape. - Federico Buti; Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei; M. Pani (CS2Bio, 2010)

Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies. - Luis Álvarez Sabucedo; Luis E. Anido-Rifón; Flavio Corradini; Alberto Polzonetti; Barbara Re 001 (Expert Syst. Appl., 2010)

Business Processes Verification for e-Government Service Delivery. - Flavio Corradini; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (Inf. Syst. Manag., 2010)

Methodologies, Technologies and Tools Enabling e-Government. - Luis E. Anido-Rifón; Flavio Corradini (J. Univers. Comput. Sci., 2010)

BioShape: a spatial shape-based scale-independent simulation environment for biological systems. - Federico Buti; Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei (ICCS, 2010)

Detecting synchronisation of biological oscillators by model checking. - Ezio Bartocci; Flavio Corradini; Emanuela Merelli; Luca Tesei (Theor. Comput. Sci., 2010)

BIOSHAPE textsc{BioShape}: End-User Development for Simulating Biological Systems. - Federico Buti; Diletta Cacciagrano; Massimo Callisto De Donato; Flavio Corradini; Emanuela Merelli; Luca Tesei (IS-EUD, 2011)

Evaluating the Efficiency of Asynchronous Systems with FASE - Federico Buti; Massimo Callisto De Donato; Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (CoRR, 2011)

Automated Analysis of MUTEX Algorithms with FASE - Federico Buti; Massimo Callisto De Donato; Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (GandALF, 2011)

Multiscale Modelling: A Mobile Membrane Approach - Federico Buti; Massimo Callisto De Donato; Flavio Corradini; Emanuela Merelli; Luca Tesei (CoRR, 2011)

Read Operators and their Expressiveness in Process Algebras - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (EXPRESS, 2011)

A Uniform Multiscale Meta-model of BioShape. - Federico Buti; Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei (CS2Bio@DisCoTec, 2011)

Towards Abstraction-Based Verification of Shape Calculus. - Federico Buti; Massimo Callisto De Donato; Flavio Corradini; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (SASB, 2011)

ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People. - Flavio Corradini; Emanuela Merelli; Diletta Romana Cacciagrano; Rosario Culmone; Luca Tesei; Leonardo Vito (ERCIM News, 2011)

FedCohesion: Federated Identity Management in the Marche Region. - Serenella Carota; Flavio Corradini; Damiano Falcioni; Maria Laura Maggiulli; Fausto Marcantoni; Roberto Piangerelli; Alberto Polzonetti; Barbara Re 001; Andrea Sergiacomi (EGOVIS/EDEM, 2012)

A Geometrical Refinement of Shape Calculus Enabling Direct Simulation. - Federico Buti; Flavio Corradini; Emanuela Merelli; Luca Tesei (SIMULTECH, 2012)

Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes. - Riccardo Cognini; Flavio Corradini; Andrea Polini; Barbara Re 001 (Business Process Management Workshops, 2014)

Modelling Process Intensive Scenarios for the Smart City. - Riccardo Cognini; Flavio Corradini; Andrea Polini; Barbara Re 001 (EGOV, 2014)

Timed process calculi: from durationless actions to durational ones. - Marco Bernardo 001; Flavio Corradini; Luca Tesei (ICTCS, 2014)

Five factors that make pervasive business intelligence a winning wager. - Riccardo Cognini; Flavio Corradini; Alberto Polzonetti; Barbara Re 001 (IEEM, 2014)

Interoperability issues among smart home technological frameworks. - 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; et al. (MESA, 2014)

Research challenges in business process adaptability. - Riccardo Cognini; Flavio Corradini; Stefania Gnesi; Andrea Polini; Barbara Re 001 (SAC, 2014)

A Constrained ECA Language Supporting Formal Verification of WSNs. - Flavio Corradini; Rosario Culmone; Leonardo Mostarda; Luca Tesei; Franco Raimondi (AINA Workshops, 2015)

Extending Feature Models to Express Variability in Business Process Models. - Riccardo Cognini; Flavio Corradini; Andrea Polini; Barbara Re 001 (CAiSE Workshops, 2015)

A Survey of Trust Management Models for Cloud Computing. - Flavio Corradini; Francesco De Angelis 001; Fabrizio Ippoliti; Fausto Marcantoni (CLOSER, 2015)

Cloud Readiness Assessment of Legacy Application. - Flavio Corradini; Francesco De Angelis 001; Andrea Polini; Samuele Sabbatini (CLOSER, 2015)

Process Variability Modeling for Complex Organizations. - Riccardo Cognini; Flavio Corradini; Andrea Polini; Barbara Re 001 (ES, 2015)

An Operational Semantics of BPMN Collaboration. - Flavio Corradini; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (FACS, 2015)

An Integration Platform for Private Assisted Houses. - Flavio Corradini; Francesco De Angelis 001; Barbara Re 001; Emiliano Anceschi; Massimo Callisto De Donato; Paolo Iddas (ICT4AgeingWell, 2015)

A Flexible Architecture to Monitor Dynamic Web Services Composition. - Flavio Corradini; Francesco De Angelis 001; Daniele Fanì; Andrea Polini (WEBIST, 2015)

Special issue on "Comprehending asynchrony in specification and analysis" dedicated to Walter Vogler on the occasion of his 60th birthday. - Gerald Lüttgen; Flavio Corradini (Acta Informatica, 2015)

Inter-organizational business process verification in public administration. - Flavio Corradini; Andrea Polini; Barbara Re 001 (Bus. Process. Manag. J., 2015)

Business Process Feature Model: An Approach to Deal with Variability of Business Processes. - Riccardo Cognini; Flavio Corradini; Andrea Polini; Barbara Re 001 (Domain-Specific Conceptual Modeling, 2016)

A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED. - Zaib Ullah; Leonardo Mostarda; Roberto Gagliardi; Diletta Cacciagrano; Flavio Corradini (AINA, 2016)

A Pattern for Enabling Multitenancy in Legacy Application. - Flavio Corradini; Francesco De Angelis 001; Andrea Polini; Samuele Sabbatini (CLOSER (2), 2016)

A Formal Model for Event-Condition-Action Rules in Intelligent Environments. - Claudia Vannucchi; Diletta Romana Cacciagrano; Flavio Corradini; Rosario Culmone; Leonardo Mostarda; Franco Raimondi; Luca Tesei (Intelligent Environments (Workshops), 2016)

The European Digital Agenda and the Impact of ICT on Public Administrations and Small and Medium Enterprises. - Flavio Corradini; Barbara Re 001 (RTA-CSIT, 2016)

An Overview of Service-Oriented Computing Challenges and Issues. - Flavio Corradini; Francesco De Angelis 001; Daniele Fanì; Andrea Polini (WEBIST (1), 2016)

Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions. - Marco Bernardo 001; Flavio Corradini; Luca Tesei (Theor. Comput. Sci., 2016)

On Avoiding Erroneous Synchronization in BPMN Processes. - Flavio Corradini; Fabrizio Fornari 001; Chiara Muzi; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (BIS, 2017)

Supporting Multi-layer Modeling in BPMN Collaborations. - Flavio Corradini; Andrea Polini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (EOMAS@CAiSE, 2017)

vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments. - Claudia Vannucchi; Michelangelo Diamanti; Gianmarco Mazzante; Diletta Romana Cacciagrano; Flavio Corradini; Rosario Culmone; Nikos Gorogiannis; Leonardo Mostarda; Franco Raimondi (Intelligent Environments, 2017)

BProVe: a formal verification framework for business process models. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (ASE, 2017)

BProVe: tool support for business process verification. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (ASE, 2017)

Private assisted house for smart living. - Flavio Corradini; Francesco De Angelis 001; Barbara Re 001; Emiliano Anceschi; Massimo Callisto De Donato; Paolo Iddas (J. Ambient Intell. Smart Environ., 2017)

Uniformity in Multiscale Models: From Complex Automata to BioShape. - Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei (J. Cell. Autom., 2017)

Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM, 2018)

MIDA: Multiple Instances and Data Animator. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM (Dissertation/Demos/Industry), 2018)

Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. - Flavio Corradini; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (EDOC, 2018)

Global vs. Local Semantics of BPMN 2.0 OR-Join. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (SOFSEM, 2018)

Shared Services Center for E-Government Policy. - Flavio Corradini; Lucio Forastieri; Alberto Polzonetti; Oliviero Riganelli; Andrea Sergiacomi (CoRR, 2018)

Business Rules in e-Government Applications. - Flavio Corradini; Alberto Polzonetti; Oliviero Riganelli (CoRR, 2018)

A Classification of BPMN Collaborations based on Safeness and Soundness Notions. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Francesco Tiezzi 001 (CoRR, 2018)

A Guidelines framework for understandable BPMN models. - Flavio Corradini; Alessio Ferrari 001; Fabrizio Fornari 001; Stefania Gnesi; Andrea Polini; Barbara Re 001; Giorgio Oronzo Spagnolo (Data Knowl. Eng., 2018)

Business process flexibility - a systematic literature review with a software systems perspective. - Riccardo Cognini; Flavio Corradini; Stefania Gnesi; Andrea Polini; Barbara Re 001 (Inf. Syst. Frontiers, 2018)

Analysis and verification of ECA rules in intelligent environments. - Diletta Romana Cacciagrano; Flavio Corradini; Rosario Culmone; Nikos Gorogiannis; Leonardo Mostarda; Franco Raimondi; Claudia Vannucchi (J. Ambient Intell. Smart Environ., 2018)

A formal approach to modeling and verification of business process collaborations. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Sci. Comput. Program., 2018)

Combining Machine Learning with Knowledge Engineering to detect Fake News in Social Networks - A Survey. - Knut Hinkelmann; Sajjad Ahmed; Flavio Corradini (AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering, 2019)

Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies. - Flavio Corradini; Andrea Morichetta 001; Barbara Re 001; Francesco Tiezzi 001 (The Art of Modelling Computational Systems, 2019)

Enabling Auditing of Smart Contracts Through Process Mining. - Flavio Corradini; Fausto Marcantoni; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Massimiliano Sampaolo (From Software Engineering to Formal Methods and Tools, and Back, 2019)

RePROSitory: a Repository Platform for Sharing Business PROcess modelS. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (BPM (PhD/Demos), 2019)

UBBA: Unity Based BPMN Animator. - Basit Mubeen Abdul; Flavio Corradini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (CAiSE Forum, 2019)

Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Business Process Management Workshops, 2020)

Engineering trustable choreography-based systems using blockchain. - Flávio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (SAC, 2020)

Applying REECHD to non-uniformly distributed heterogeneous devices. - Diletta Cacciagrano; Flavio Corradini; Matteo Micheletti; Leonardo Mostarda (Int. J. Grid Util. Comput., 2020)

Tangramob: An Agent-Based Simulation Framework for Validating Urban Smart Mobility Solutions. - Flavio Corradini; Francesco De Angelis 001; Andrea Polini; Carlo Castagnari; Jacopo de Berardinis; Giorgio Forcina (J. Intell. Syst., 2020)

Correctness checking for BPMN collaborations with sub-processes. - Flavio Corradini; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (J. Syst. Softw., 2020)

Collaboration vs. choreography conformance in BPMN. - Flavio Corradini; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Log. Methods Comput. Sci., 2020)

Off-Chain Execution of IoT Smart Contracts. - Diletta Cacciagrano; Flavio Corradini; Gianmarco Mazzante; Leonardo Mostarda; Davide Sestili (AINA (2), 2021)

Trends on the Usage of BPMN 2.0 from Publicly Available Repositories. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001 (BIR, 2021)

RePROSitory: a Repository platform for sharing business PROcess models and logS. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (ITBPM@BPM, 2021)

ChorChain: A model-driven framework for choreography-based systems using blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (ITBPM@BPM, 2021)

FloWare: An Approach for IoT Support and Application Development. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (BPMDS/EMMSAD@CAiSE, 2021)

TLV-dissγ : A Dissimilarity Measure for Public Administration Process Logs. - Flavio Corradini; Caterina Luciani; Andrea Morichetta 001; Marco Piangerelli; Andrea Polini (EGOV, 2021)

Disciplined use of BPMN for mission modeling of Multi-Robot Systems. - Khalid Bourr; Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (PoEM (Forum), 2021)

Process Variance Analysis and Configuration in the Public Administration Sector. - Flavio Corradini; Caterina Luciani; Andrea Morichetta 001; Andrea Polini (RTA-CSIT, 2021)

Blockchain and IoT Integration for Society 5.0. - Diletta Cacciagrano; Flavio Corradini; Leonardo Mostarda (Society 5.0, 2021)

Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. - Flavio Corradini; Andrea Morichetta 001; Chiara Muzi; Barbara Re 001; Francesco Tiezzi 001 (J. Log. Algebraic Methods Program., 2021)

A formal approach for the analysis of BPMN collaboration models. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (J. Syst. Softw., 2021)

ZeroMT: Multi-transfer Protocol for Enabling Privacy in Off-Chain Payments. - Flavio Corradini; Leonardo Mostarda; Emanuele Scala (AINA (2), 2022)

BPMN-Redrawer: From Images to BPMN Models. - Alessandro Antinori; Riccardo Coltrinari; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001; Marco Scarpetta (BPM (PhD/Demos), 2022)

ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (BPM (PhD/Demos), 2022)

A Technique for Collaboration Discovery. - Flavio Corradini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPMDS/EMMSAD@CAiSE, 2022)

Towards a Digital Twin Modelling Notation. - Flavio Corradini; Arianna Fedeli; Andrea Polini; Barbara Re 001 (DASC/PiCom/CBDCom/CyberSciTech, 2022)

An Approach to Support Digital Process Twin. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (DASC/PiCom/CBDCom/CyberSciTech, 2022)

DTMN a Modelling Notation for Digital Twins. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (EDOC Workshops, 2022)

Label-independent feature engineering-based clustering in Public Administration Event Logs (short paper). - Flavio Corradini; Caterina Luciani; Andrea Morichetta 001; Marco Piangerelli; Andrea Polini (EGOV-CeDEM-ePart-*, 2022)

A Choreography-Driven Approach for Blockchain-Based IoT Applications. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (PerCom Workshops, 2022)

X-IoT: a model-driven approach for cross-platform IoT applications development. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (SAC, 2022)

Flexible execution of multi-party business processes on blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (WETSEB@ICSE, 2022)

Consistent modelling of hierarchical BPMN collaborations. - Flavio Corradini; Andrea Polini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Bus. Process. Manag. J., 2022)

Development of Fake News Model using Machine Learning through Natural Language Processing. - Sajjad Ahmed; Knut Hinkelmann; Flavio Corradini (CoRR, 2022)

REPTILE: A Proactive Real-Time Deep Reinforcement Learning Self-adaptive Framework. - Flavio Corradini; Michele Loreti; Marco Piangerelli; Giacomo Rocchetti (CoRR, 2022)

NARUN: noise adaptive routing for utility networks. - Fabio Pagnotta; Leonardo Mostarda; Orhan Gemikonakli; Rosario Culmone; Diletta Romana Cacciagrano; Flavio Corradini (Int. J. Web Grid Serv., 2022)

Formalising and animating multiple instances in BPMN collaborations. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Inf. Syst., 2022)

BPMN 2.0 OR-Join Semantics: Global and local characterisation. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Inf. Syst., 2022)

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (ACM Trans. Manag. Inf. Syst., 2022)

Sensorless Predictive Maintenance: An Example on a 'Not 4.0' Coffee Machine Production Process. - Diletta Cacciagrano; Flavio Corradini; Marco Piangerelli (AINA (3), 2023)

Zero-Knowledge Multi-transfer Based on Range Proofs and Homomorphic Encryption. - Emanuele Scala; Changyu Dong; Flavio Corradini; Leonardo Mostarda (AINA (2), 2023)

Managing Variability of Large Public Administration Event Log Collections: Dealing with Concept Drift. - Flavio Corradini; Caterina Luciani; Andrea Morichetta 001; Marco Piangerelli (BIR, 2023)

BPMN Inspector: A Tool for Extracting Features from BPMN Models. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001 (BPM (Demos / Resources Forum), 2023)

A Methodology for the Analysis of Robotic Systems via Process Mining. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (EDOC, 2023)

Design and Development of a Digital Twin Prototype for the SAFE Project. - Massimo Callisto De Donato; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001; Matteo Romagnoli (EDOC Workshops, 2023)

Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform. - Massimo Callisto De Donato; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001; Matteo Romagnoli (EDOC Workshops, 2023)

Enhancing compatibility in QoS communication for the Internet of Robotic Things. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Luca Ruschioni; Francesco Tiezzi 001 (ER (Companion), 2023)

Implementing a CTL Model Checker with μ G, a Language for Programming Graph Neural Networks. - Matteo Belenchia; Flavio Corradini; Michela Quadrini; Michele Loreti (FORTE, 2023)

Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Big Data Cogn. Comput., 2023)

A Flexible Approach to Multi-party Business Process Execution on Blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Future Gener. Comput. Syst., 2023)

A systematic literature review on IoT-aware business process modeling views, requirements and notations. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Softw. Syst. Model., 2023)

A BPMN-driven framework for Multi-Robot System development. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Robotics Auton. Syst., 2023)

FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (Softw. Syst. Model., 2023)

X-IoT: a model-driven approach to support IoT application portability across IoT platforms. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Luca Ruschioni (Computing, 2023)

SPECTRE: a deep learning network for posture recognition in manufacturing. - Marianna Ciccarelli; Flavio Corradini; Michele Germani; Giacomo Menchi; Leonardo Mostarda; Alessandra Papetti; Marco Piangerelli (J. Intell. Manuf., 2023)

Design and development of an IoT system for audiovisual self-administered tests. - Massimo Callisto De Donato; Flavio Corradini; Flavio Fabbrizi; Fabrizio Fornari 001; Barbara Re 001 (BIR Workshops, 2024)

BEAR: BPMN and Environment AnimatoR. - Flavio Corradini; Luca Mozzoni; Jessica Piccioni; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM (Demos / Resources Forum), 2024)

On the Interplay Between BPMN Collaborations and the Physical Environment. - Flavio Corradini; Jessica Piccioni; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM, 2024)

Formal Approaches for Modeling and Analysis of Business Process Collaborations. - Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001; Lorenzo Rossi 001; Andrea Polini; Francesco Tiezzi 001; Andrea Vandin (ISoLA (1), 2024)

A Data Extraction Methodology for Ethereum Smart Contracts. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Barbara Re 001 (PerCom Workshops, 2024)

A Digital Twin Approach for Blockchain Smart Contracts. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Barbara Re 001; Luca Ruschioni (SANER (Companion), 2024)

The μG Language for Programming Graph Neural Networks. - Matteo Belenchia; Flavio Corradini; Michela Quadrini; Michele Loreti (CoRR, 2024)

A Systematic Literature Review of Spatio-Temporal Graph Neural Network Models for Time Series Forecasting and Classification. - Flavio Corradini; Marco Gori; Carlo Lucheroni; Marco Piangerelli; Martina Zannotti (CoRR, 2024)

SAFE: An ICT platform for supporting monitoring, localization and rescue operations in case of earthquake. - Massimo Callisto De Donato; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001 (Internet Things, 2024)

ZeroMT: Towards Multi-Transfer transactions with privacy for account-based blockchain. - Emanuele Scala; Changyu Dong; Flavio Corradini; Leonardo Mostarda (J. Inf. Secur. Appl., 2024)

libmg: A Python library for programming graph neural networks in μG. - Matteo Belenchia; Flavio Corradini; Michela Quadrini; Michele Loreti (Sci. Comput. Program., 2024)

A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001 (Bus. Inf. Syst. Eng., 2024)

A technique for discovering BPMN collaboration diagrams. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Softw. Syst. Model., 2024)

Modeling, Formalizing, and Animating Environment-Aware BPMN Collaborations. - Flavio Corradini; Luca Mozzoni; Jessica Piccioni; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM, 2025)

Robotic Datasets for Process Mining. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Massimiliano Sampaolo (CAiSE Forum, 2025)

Enabling Process Mining on Multimodal Robotic Data. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Massimiliano Sampaolo (CAiSE Workshops, 2025)

Towards a Digital Twin of a Decanter Centrifuge for Wastewater Management. - Massimo Callisto De Donato; Flavio Corradini; Niccolò Francioni; Francesco Giovannini; Barbara Re 001; Andrea Scacchia (CAiSE Workshops, 2025)

Looseness for Choreography-based Software Architectures on Blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (SAC, 2025)

A methodology for extracting and decoding smart contracts data. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Barbara Re 001 (Comput. Commun., 2025)

Online clustering with interpretable drift adaptation to mixed features. - Flavio Corradini; Vincenzo Nucci; Marco Piangerelli; Barbara Re 001 (Intell. Syst. Appl., 2025)

Blockchain-Based Execution of BPMN Choreographies with Multiple Instances. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Distributed Ledger Technol. Res. Pract., 2025)