Lista de obras -

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

artículo científico publicado en 2011

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 Constrained ECA Language Supporting Formal Verification of WSNs

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

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 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 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 model-prover for constrained dynamic conversations

artículo científico publicado en 2008

A participant testing strategy for service orchestrations

artículo científico publicado en 2008

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

artículo científico publicado en 2022

Agent-based models of cellular systems

scientific article published on 01 January 2013

Agents in bioinformatics, computational and systems biology

artículo científico publicado en 2006

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

An agent-based multilayer architecture for bioinformatics grids

artículo científico

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

artículo científico publicado en 2018

Automated Analysis of MUTEX Algorithms with FASE

artículo científico publicado en 2011

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

BioWMS: a web-based Workflow Management System for bioinformatics

artículo científico publicado en 2007

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

CellExcite: an efficient simulation environment for excitable cells

artículo científico publicado en 2008

Consistent modelling of hierarchical BPMN collaborations

artículo científico publicado en 2022

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

artículo científico publicado en 2023

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

Detecting synchronisation of biological oscillators by model checking

artículo científico publicado en 2010

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

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

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

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

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

artículo científico publicado en 2010

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

artículo científico publicado en 2023

Model Checking Biological Oscillators

artículo científico publicado en 2009

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

Multiscale Bone Remodelling with Spatial P Systems

artículo científico publicado en 2010

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

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

SPECTRE: a deep learning network for posture recognition in manufacturing

artículo científico publicado en 2022

Semantic-based eService Delivery for eGovernment Domain

artículo científico publicado en 2010

Supporting Multi-layer Modeling in BPMN Collaborations

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

artículo científico publicado en 2021

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

artículo científico publicado en 2019

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

artículo científico publicado en 2016

Towards a Digital Twin Modelling Notation

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

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

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

A BPMN-driven framework for Multi-Robot System development

A Choreography-Driven Approach for Blockchain-Based IoT Applications

A Constrained ECA Language Supporting Formal Verification of WSNs

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 Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models

A Technique for Collaboration Discovery

A formal approach for the analysis of BPMN collaboration models

A formal approach to modeling and verification of business process collaborations

A model-prover for constrained dynamic conversations

A participant testing strategy for service orchestrations

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

Agent-based models of cellular systems

Agents in bioinformatics, computational and systems biology

An Approach to Support Digital Process Twin

An Integration Platform for Private Assisted Houses

An Operational Semantics of BPMN Collaboration

An agent-based multilayer architecture for bioinformatics grids

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

Automated Analysis of MUTEX Algorithms with FASE

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

BioWMS: a web-based Workflow Management System for bioinformatics

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

CellExcite: an efficient simulation environment for excitable cells

Consistent modelling of hierarchical BPMN collaborations

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

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

Detecting synchronisation of biological oscillators by model checking

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

FloWare: An Approach for IoT Support and Application Development

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

Formalising and animating multiple instances in BPMN collaborations

Global vs. Local Semantics of BPMN 2.0 OR-Join

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

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

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

Model Checking Biological Oscillators

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

Multiscale Bone Remodelling with Spatial P Systems

On Avoiding Erroneous Synchronization in BPMN Processes

On the Interplay Between BPMN Collaborations and the Physical Environment

Private assisted house for smart living

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

SPECTRE: a deep learning network for posture recognition in manufacturing

Semantic-based eService Delivery for eGovernment Domain

Supporting Multi-layer Modeling in BPMN Collaborations

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

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

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

Towards a Digital Twin Modelling Notation

Trends on the Usage of BPMN 2.0 from Publicly Available Repositories

UBBA: Unity Based BPMN Animator

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