Search filters

List of works by Barbara Re

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 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 Purpose-Guided Log Generation Framework

scientific article published in 2022

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 cloud-based solution for public administrations: The experience of the Regione Marche

scientific article published in May 2014

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 systematic literature review on IoT-aware business process modeling views, requirements and notations

scientific article published on 28 October 2022

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

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

scientific article published in 2018

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

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

Checking Business Process Correctness in Apromore

scientific article published in 2018

Cloud computing for network business ecosystem

scientific article published in December 2010

Consistent modelling of hierarchical BPMN collaborations

scientific article published on 11 March 2022

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

Direct Verification of BPMN Processes through an Optimized Unfolding Technique

scientific article published in August 2012

EGOV: A solution for public services execution

scientific article published in April 2014

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

FloBP: a model-driven approach for developing and executing IoT-enhanced business processes

scientific article published on 28 February 2024

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

Formal Methods to Improve Public Administration Business Processes

scientific article published on 21 February 2012

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

HawkEye

scientific article published on 18 March 2013

Improving PA Business Processes through Modeling, Analysis, and Reengineering

scientific article published in 2012

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

Livelock and Deadlock Detection for PA Inter-organizational Business Processes

scientific article published in 2012

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

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

Process Analysis in Humanitarian Voluntary Geographic Information: the case of the HOT Tasking Manager

scientific article published on 28 May 2024

Process-oriented knowledge management and learning in public administrations

scientific article published in 2020

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

Semantic technologies for test management

scientific article published in April 2011

Semantic-based eService Delivery for eGovernment Domain

scientific article published in January 2010

Supporting Multi-layer Modeling in BPMN Collaborations

Towards a Digital Twin Modelling Notation

Towards value-creating and sustainable open data ecosystems: A comparative case study and a research agenda

scientific article published on 23 December 2021

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

Understanding Production Chain Business Process Using Process Mining: A Case Study in the Manufacturing Scenario

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