Lista de obras -

A Guidelines framework for understandable BPMN models

artículo científico publicado en 2018

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 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

BProVe: A formal verification framework for business process models

BProVe: Tool support for business process verification

Checking Business Process Correctness in Apromore

artículo científico publicado en 2018

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

Digital Twins of Business Processes: A Research Manifesto

artículo científico publicado en 2025

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

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

artículo científico publicado en 2020

On Avoiding Erroneous Synchronization in BPMN Processes

artículo científico publicado en 2017

Reproducibility Report for the Paper: Simulating Data Flows of Very Large Scale Intelligent Transportation Systems

artículo científico publicado en 2024

Trends on the Usage of BPMN 2.0 from Publicly Available Repositories

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

A Guidelines framework for understandable BPMN models

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

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

BProVe: A formal verification framework for business process models

BProVe: Tool support for business process verification

Checking Business Process Correctness in Apromore

DTMN a Modelling Notation for Digital Twins

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

Digital Twins of Business Processes: A Research Manifesto

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

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

On Avoiding Erroneous Synchronization in BPMN Processes

Reproducibility Report for the Paper: Simulating Data Flows of Very Large Scale Intelligent Transportation Systems

Trends on the Usage of BPMN 2.0 from Publicly Available Repositories

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