Lista de obras -

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 Account of WS-BPEL

A Formal Approach to Autonomic Systems Programming

article published in 2014

A Methodology for the Analysis of Robotic Systems via Process Mining

artículo científico publicado en 2023

A Model Checking Approach for Verifying COWS Specifications

article

A Purpose-Guided Log Generation Framework

artículo científico publicado en 2022

A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies

artículo científico publicado en 2017

A Symbolic Semantics for a Calculus for Service-Oriented Computing

A Technique for Collaboration Discovery

artículo científico publicado en 2022

A WSDL-Based Type System for WS-BPEL

A WSDL-based type system for asynchronous WS-BPEL processes

A calculus for orchestration of web services

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 logical verification methodology for service-oriented computing

article

A standard-driven communication protocol for disconnected clinics in rural areas

article

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

artículo científico publicado en 2022

A tool for rapid development of WS-BPEL applications

article

An Approach to Support Digital Process Twin

artículo científico publicado en 2022

An Operational Semantics of BPMN Collaboration

artículo científico publicado en 2016

An accessible verification environment for UML models of services

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

Checking Business Process Correctness in Apromore

artículo científico publicado en 2018

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

Defining and guaranteeing dynamic service levels in clouds

artículo científico publicado en 2019

Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation

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

Flexible execution of multi-party business processes on blockchain

artículo científico publicado en 2022

Formalisation and Implementation of the XACML Access Control Mechanism

Formalising Adaptation Patterns for Autonomic Ensembles

Formalising BPMN Service Interaction Patterns

artículo científico publicado en 2018

Formalising and animating multiple instances in BPMN collaborations

artículo científico publicado en 2022

From Architectural to Behavioural Specification of Services

article by Laura Bocchi et al published October 2009 in Electronic Notes in Theoretical Computer Science

Global vs. Local Semantics of BPMN 2.0 OR-Join

artículo científico publicado en 2017

Linguistic Abstractions for Programming and Policing Autonomic Computing Systems

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

artículo científico publicado en 2021

Modeling adaptation with a tuple-based coordination language

article published in 2012

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

On Observing Dynamic Prioritised Actions in SOC

On Properties of Policy-Based Specifications ⬇️

On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals

article

On the Interplay Between BPMN Collaborations and the Physical Environment

Programming Multi-robot Systems with X-KLAIM

artículo científico publicado en 2022

Programming and Verifying Component Ensembles

Replacement freeness: A criterion for separating process calculi

artículo científico publicado en 2020

Reputation-Based Cooperation in the Clouds

Rollback Recovery in Session-Based Programming

artículo científico publicado en 2023

Security analysis of standards-driven communication protocols for healthcare scenarios

artículo científico

Service Discovery and Negotiation With COWS

article published in 2008

Special issue on Automated Specification and Verification of Web Systems

Specification and Analysis of SOC Systems Using COWS: A Finance Case Study

Specifying and Analysing SOC Applications with COWS

Supporting Multi-layer Modeling in BPMN Collaborations

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing

scholarly article published September 2013

The SCEL Language: Design, Implementation, Verification

article by Rocco De Nicola et al published 2015 in Lecture Notes in Computer Science

The Sensoria Approach Applied to the Finance Case Study

Towards a Formal Verification Methodology for Collective Robotic Systems

Towards model-driven development of access control policies for web applications

article

UBBA: Unity Based BPMN Animator

artículo científico publicado en 2019

Using formal methods to develop WS-BPEL applications

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

artículo científico publicado en 2021

Writing Robotics Applications with X-Klaim

artículo científico publicado en 2020

X-Klaim Is Back

artículo científico publicado en 2019

e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience

article

Lista de obras de

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 Account of WS-BPEL

A Formal Approach to Autonomic Systems Programming

A Methodology for the Analysis of Robotic Systems via Process Mining

A Model Checking Approach for Verifying COWS Specifications

A Purpose-Guided Log Generation Framework

A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies

A Symbolic Semantics for a Calculus for Service-Oriented Computing

A Technique for Collaboration Discovery

A WSDL-Based Type System for WS-BPEL

A WSDL-based type system for asynchronous WS-BPEL processes

A calculus for orchestration of web services

A formal approach for the analysis of BPMN collaboration models

A formal approach to modeling and verification of business process collaborations

A logical verification methodology for service-oriented computing

A standard-driven communication protocol for disconnected clinics in rural areas

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

A tool for rapid development of WS-BPEL applications

An Approach to Support Digital Process Twin

An Operational Semantics of BPMN Collaboration

An accessible verification environment for UML models of services

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

Checking Business Process Correctness in Apromore

Consistent modelling of hierarchical BPMN collaborations

Correctness checking for BPMN collaborations with sub-processes

Defining and guaranteeing dynamic service levels in clouds

Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation

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

Flexible execution of multi-party business processes on blockchain

Formalisation and Implementation of the XACML Access Control Mechanism

Formalising Adaptation Patterns for Autonomic Ensembles

Formalising BPMN Service Interaction Patterns

Formalising and animating multiple instances in BPMN collaborations

From Architectural to Behavioural Specification of Services

Global vs. Local Semantics of BPMN 2.0 OR-Join

Linguistic Abstractions for Programming and Policing Autonomic Computing Systems

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

Modeling adaptation with a tuple-based coordination language

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

On Avoiding Erroneous Synchronization in BPMN Processes

On Observing Dynamic Prioritised Actions in SOC

On Properties of Policy-Based Specifications ⬇️

On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals

On the Interplay Between BPMN Collaborations and the Physical Environment

Programming Multi-robot Systems with X-KLAIM

Programming and Verifying Component Ensembles

Replacement freeness: A criterion for separating process calculi

Reputation-Based Cooperation in the Clouds

Rollback Recovery in Session-Based Programming

Security analysis of standards-driven communication protocols for healthcare scenarios

Service Discovery and Negotiation With COWS

Special issue on Automated Specification and Verification of Web Systems

Specification and Analysis of SOC Systems Using COWS: A Finance Case Study

Specifying and Analysing SOC Applications with COWS

Supporting Multi-layer Modeling in BPMN Collaborations

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing

The SCEL Language: Design, Implementation, Verification

The Sensoria Approach Applied to the Finance Case Study

Towards a Formal Verification Methodology for Collective Robotic Systems

Towards model-driven development of access control policies for web applications

UBBA: Unity Based BPMN Animator

Using formal methods to develop WS-BPEL applications

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

Writing Robotics Applications with X-Klaim

X-Klaim Is Back

e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience