Search filters

List of works by Francesco Tiezzi

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

scientific article published on 20 October 2023

A Model Checking Approach for Verifying COWS Specifications

article

A Purpose-Guided Log Generation Framework

scientific article published in 2022

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

scientific article published on 24 October 2017

A Symbolic Semantics for a Calculus for Service-Oriented Computing

A Technique for Collaboration Discovery

scientific article published in 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

scientific article published in October 2021

A formal approach to modeling and verification of business process collaborations

scientific article published in November 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

scientific article published on 28 October 2022

A tool for rapid development of WS-BPEL applications

article

An Approach to Support Digital Process Twin

scientific article published on 12 September 2022

An Operational Semantics of BPMN Collaboration

scientific article published in 2016

An accessible verification environment for UML models of services

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

Checking Business Process Correctness in Apromore

scientific article published in 2018

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

Defining and guaranteeing dynamic service levels in clouds

scientific article published in October 2019

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

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

Flexible execution of multi-party business processes on blockchain

scientific article published on 19 May 2022

Formalisation and Implementation of the XACML Access Control Mechanism

Formalising Adaptation Patterns for Autonomic Ensembles

Formalising BPMN Service Interaction Patterns

scientific article published in 2018

Formalising and animating multiple instances in BPMN collaborations

scientific article published in January 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

scientific article published on 22 December 2017

Linguistic Abstractions for Programming and Policing Autonomic Computing Systems

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

scientific article published in 2021

Modeling adaptation with a tuple-based coordination language

article published in 2012

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

scientific article published in 2020

On Avoiding Erroneous Synchronization in BPMN Processes

scientific article published in 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

scientific article published in 2022

Programming and Verifying Component Ensembles

Replacement freeness: A criterion for separating process calculi

scientific article published in November 2020

Reputation-Based Cooperation in the Clouds

Rollback Recovery in Session-Based Programming

scientific article published in 2023

Security analysis of standards-driven communication protocols for healthcare scenarios

scientific article published on 24 March 2012

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

scientific article published in 2019

Using formal methods to develop WS-BPEL applications

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

scientific article published in February 2021

Writing Robotics Applications with X-Klaim

scientific article published in 2020

X-Klaim Is Back

scientific article published in 2019

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

article