Search filters

List of works by Flavio Corradini

$\textsc{BioShape}$ : End-User Development for Simulating Biological Systems

scientific article published in 2011

A BPMN-driven framework for Multi-Robot System development

scientific article published in February 2023

A Choreography-Driven Approach for Blockchain-Based IoT Applications

scientific article published on 21 March 2022

A Constrained ECA Language Supporting Formal Verification of WSNs

scientific article published in March 2015

A Flexible Approach to Multi-party Business Process Execution on Blockchain

scientific article published in 2023

A Formal Model for Quality of Service Measurement in e-Government

scientific article published in June 2007

A Guidelines framework for understandable BPMN models

scientific article published in January 2018

A Methodology for the Analysis of Robotic Systems via Process Mining

scientific article published on 20 October 2023

A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models

scientific article published on 20 June 2023

A Technique for Collaboration Discovery

scientific article published in 2022

A formal approach for the analysis of BPMN collaboration models

scientific article published in October 2021

A formal approach to modeling and verification of business process collaborations

scientific article published in November 2018

A model-prover for constrained dynamic conversations

scientific article published on 24 November 2008

A participant testing strategy for service orchestrations

scientific article published in November 2008

A systematic literature review on IoT-aware business process modeling views, requirements and notations

scientific article published on 28 October 2022

Agent-based models of cellular systems

scientific article published on 01 January 2013

Agents in bioinformatics, computational and systems biology

scientific article published on 26 May 2006

An Approach to Support Digital Process Twin

scientific article published on 12 September 2022

An Integration Platform for Private Assisted Houses

An Operational Semantics of BPMN Collaboration

scientific article published in 2016

An agent-based multilayer architecture for bioinformatics grids

scientific article published on June 2007

Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support

scientific article published in 2018

Automated Analysis of MUTEX Algorithms with FASE

scientific article published on 4 June 2011

BPMN 2.0 OR-Join Semantics: Global and local characterisation

scientific article published in March 2022

BProVe: A formal verification framework for business process models

BProVe: Tool support for business process verification

BioWMS: a web-based Workflow Management System for bioinformatics

scientific article

Business Process Feature Model: An Approach to Deal with Variability of Business Processes

Business Processes Verification for e-Government Service Delivery

scientific article published on 15 October 2010

Business process flexibility - a systematic literature review with a software systems perspective

scientific article published on 22 July 2016

CellExcite: an efficient simulation environment for excitable cells

scientific article

Consistent modelling of hierarchical BPMN collaborations

scientific article published on 11 March 2022

Correction to: Managing Variability of Large Public Administration Event Log Collections: Dealing with Concept Drift

scientific article published in 2023

Correctness checking for BPMN collaborations with sub-processes

scientific article published in August 2020

DTMN a Modelling Notation for Digital Twins

scientific article published in 2023

Design and Development of a Digital Twin Prototype for the SAFE Project

Designing Quality Business Processes for E-Government Digital Services

scientific article published in 2010

Detecting synchronisation of biological oscillators by model checking

scientific article published in April 2010

Enabling Auditing of Smart Contracts Through Process Mining

scientific article published in 2019

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain

scientific article published on 11 February 2022

Engineering trustable choreography-based systems using blockchain

scientific article published on 30 March 2020

Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems

scientific article published on 8 August 2023

Extending Feature Models to Express Variability in Business Process Models

scientific article published in 2015

FedCohesion: Federated Identity Management in the Marche Region

scientific article published in 2012

Flexible execution of multi-party business processes on blockchain

scientific article published on 19 May 2022

FloWare: An Approach for IoT Support and Application Development

scientific article published in 2021

FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development

scientific article published in 2022

Formalising and animating multiple instances in BPMN collaborations

scientific article published in January 2022

Global vs. Local Semantics of BPMN 2.0 OR-Join

scientific article published on 22 December 2017

Implementing a CTL Model Checker with $$\mu \mathcal {G}$$, a Language for Programming Graph Neural Networks

Improving Trust in Composite eServices Via Run-Time Participants Testing

scientific article published in 2008

Inter-organizational business process verification in public administration

Interoperability issues among smart home technological frameworks

Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies

scientific article published in May 2010

Managing Variability of Large Public Administration Event Log Collections: Dealing with Concept Drift

scientific article published in 2023

Model Checking Biological Oscillators

scientific article published in February 2009

Model-driven engineering for multi-party business processes on multiple blockchains

scientific article published in 2021

Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review

scientific article published in 2020

Modelling Process Intensive Scenarios for the Smart City

scientific article published in 2014

Multiscale Bone Remodelling with Spatial P Systems

scientific article published on 30 October 2010

On Avoiding Erroneous Synchronization in BPMN Processes

scientific article published in 2017

On the Interplay Between BPMN Collaborations and the Physical Environment

Private assisted house for smart living

scientific article published on 2 November 2017

Quality evaluation of e-Government digital services

scientific article published in 2006

Quality of service in e-government underlines the role of information usability

scientific article published in 2008

Research challenges in business process adaptability

scientific article published on 24 March 2014

SPECTRE: a deep learning network for posture recognition in manufacturing

scientific article published on 3 September 2022

Semantic-based eService Delivery for eGovernment Domain

scientific article published in January 2010

Supporting Multi-layer Modeling in BPMN Collaborations

TLV-diss$$_{\gamma }$$: A Dissimilarity Measure for Public Administration Process Logs

scientific article published in 2021

Tangramob: An Agent-Based Simulation Framework for Validating Urban Smart Mobility Solutions

scientific article published on 26 January 2019

Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions

scientific article published in May 2016

Towards a Digital Twin Modelling Notation

Trends on the Usage of BPMN 2.0 from Publicly Available Repositories

scientific article published in 2021

UBBA: Unity Based BPMN Animator

scientific article published in 2019

Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes

scientific article published in 2015

Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations

scientific article published in February 2021

X-IoT: a model-driven approach to support IoT application portability across IoT platforms

scientific article published on 27 January 2023