Lista de obras - Barbara Re - Dominio Público Uruguay

A BPMN-driven framework for Multi-Robot System development

artículo científico publicado en 2023

A Choreography-Driven Approach for Blockchain-Based IoT Applications

artículo científico publicado en 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

artículo científico publicado en 2007

A Guidelines framework for understandable BPMN models

artículo científico publicado en 2018

A Methodology for the Analysis of Robotic Systems via Process Mining

artículo científico publicado en 2023

A Purpose-Guided Log Generation Framework

artículo científico publicado en 2022

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

artículo científico publicado en 2023

A Technique for Collaboration Discovery

artículo científico publicado en 2022

A cloud-based solution for public administrations: The experience of the Regione Marche

artículo científico publicado en 2014

A formal approach for the analysis of BPMN collaboration models

artículo científico publicado en 2021

A formal approach to modeling and verification of business process collaborations

artículo científico publicado en 2018

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

artículo científico publicado en 2022

An Approach to Support Digital Process Twin

artículo científico publicado en 2022

An Integration Platform for Private Assisted Houses

An Operational Semantics of BPMN Collaboration

artículo científico publicado en 2016

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

artículo científico publicado en 2018

BPMN 2.0 OR-Join Semantics: Global and local characterisation

artículo científico publicado en 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

artículo científico publicado en 2010

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

artículo científico publicado en 2016

Checking Business Process Correctness in Apromore

artículo científico publicado en 2018

Cloud computing for network business ecosystem

artículo científico publicado en 2010

Consistent modelling of hierarchical BPMN collaborations

artículo científico publicado en 2022

Correctness checking for BPMN collaborations with sub-processes

artículo científico publicado en 2020

DTMN a Modelling Notation for Digital Twins

artículo científico publicado en 2023

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

Designing Quality Business Processes for E-Government Digital Services

artículo científico publicado en 2010

Direct Verification of BPMN Processes through an Optimized Unfolding Technique

artículo científico publicado en 2012

EGOV: A solution for public services execution

artículo científico publicado en 2014

Enabling Auditing of Smart Contracts Through Process Mining

artículo científico publicado en 2019

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain

artículo científico publicado en 2022

Engineering trustable choreography-based systems using blockchain

artículo científico publicado en 2020

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

artículo científico publicado en 2023

Extending Feature Models to Express Variability in Business Process Models

artículo científico publicado en 2015

FedCohesion: Federated Identity Management in the Marche Region

artículo científico publicado en 2012

Flexible execution of multi-party business processes on blockchain

artículo científico publicado en 2022

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

artículo científico publicado en 2024

FloWare: An Approach for IoT Support and Application Development

artículo científico publicado en 2021

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

artículo científico publicado en 2022

Formal Methods to Improve Public Administration Business Processes

artículo científico publicado en 2012

Formalising and animating multiple instances in BPMN collaborations

artículo científico publicado en 2022

Global vs. Local Semantics of BPMN 2.0 OR-Join

artículo científico publicado en 2017

HawkEye

artículo científico publicado en 2013

Improving PA Business Processes through Modeling, Analysis, and Reengineering

artículo científico publicado en 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

artículo científico publicado en 2010

Livelock and Deadlock Detection for PA Inter-organizational Business Processes

artículo científico publicado en 2012

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

artículo científico publicado en 2021

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

artículo científico publicado en 2020

Modelling Process Intensive Scenarios for the Smart City

artículo científico publicado en 2014

On Avoiding Erroneous Synchronization in BPMN Processes

artículo científico publicado en 2017

On the Interplay Between BPMN Collaborations and the Physical Environment

Private assisted house for smart living

artículo científico publicado en 2017

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

artículo científico publicado en 2024

Process-oriented knowledge management and learning in public administrations

artículo científico publicado en 2020

Quality evaluation of e-Government digital services

artículo científico publicado en 2006

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

artículo científico publicado en 2008

Research challenges in business process adaptability

artículo científico publicado en 2014

Semantic technologies for test management

artículo científico publicado en 2011

Semantic-based eService Delivery for eGovernment Domain

artículo científico publicado en 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

artículo científico publicado en 2021

UBBA: Unity Based BPMN Animator

artículo científico publicado en 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

artículo científico publicado en 2015

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

artículo científico publicado en 2021

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

artículo científico publicado en 2023

Lista de obras de Barbara Re

A BPMN-driven framework for Multi-Robot System development

A Choreography-Driven Approach for Blockchain-Based IoT Applications

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

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

A Guidelines framework for understandable BPMN models

A Methodology for the Analysis of Robotic Systems via Process Mining

A Purpose-Guided Log Generation Framework

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

A Technique for Collaboration Discovery

A cloud-based solution for public administrations: The experience of the Regione Marche

A formal approach for the analysis of BPMN collaboration models

A formal approach to modeling and verification of business process collaborations

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

An Approach to Support Digital Process Twin

An Integration Platform for Private Assisted Houses

An Operational Semantics of BPMN Collaboration

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

BPMN 2.0 OR-Join Semantics: Global and local characterisation

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

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

Checking Business Process Correctness in Apromore

Cloud computing for network business ecosystem

Consistent modelling of hierarchical BPMN collaborations

Correctness checking for BPMN collaborations with sub-processes

DTMN a Modelling Notation for Digital Twins

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

Designing Quality Business Processes for E-Government Digital Services

Direct Verification of BPMN Processes through an Optimized Unfolding Technique

EGOV: A solution for public services execution

Enabling Auditing of Smart Contracts Through Process Mining

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain

Engineering trustable choreography-based systems using blockchain

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

Extending Feature Models to Express Variability in Business Process Models

FedCohesion: Federated Identity Management in the Marche Region

Flexible execution of multi-party business processes on blockchain

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

FloWare: An Approach for IoT Support and Application Development

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

Formal Methods to Improve Public Administration Business Processes

Formalising and animating multiple instances in BPMN collaborations

Global vs. Local Semantics of BPMN 2.0 OR-Join

HawkEye

Improving PA Business Processes through Modeling, Analysis, and Reengineering

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

Livelock and Deadlock Detection for PA Inter-organizational Business Processes

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

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

Modelling Process Intensive Scenarios for the Smart City

On Avoiding Erroneous Synchronization in BPMN Processes

On the Interplay Between BPMN Collaborations and the Physical Environment

Private assisted house for smart living

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

Process-oriented knowledge management and learning in public administrations

Quality evaluation of e-Government digital services

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

Research challenges in business process adaptability

Semantic technologies for test management

Semantic-based eService Delivery for eGovernment Domain

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

Trends on the Usage of BPMN 2.0 from Publicly Available Repositories

UBBA: Unity Based BPMN Animator

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

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

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