Francesco Tiezzi

Orcid: 0000-0003-4740-7521

Affiliations:
  • Università degli Studi di Firenze - Dipartimento di Statistica, Informatica, Applicazioni, Italy
  • University of Camerino, Computer Science Division, Italy (former)
  • IMT School for Advanced Studies Lucca, SySMA, Italy (former)
  • University of Florence, Department of Systems and Informatics, Italy (PhD 2009)


According to our database1, Francesco Tiezzi authored at least 129 papers between 2006 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Coordinating and programming multiple ROS-based robots with X-KLAIM.
Int. J. Softw. Tools Technol. Transf., December, 2023

A BPMN-driven framework for Multi-Robot System development.
Robotics Auton. Syst., February, 2023

A systematic literature review on IoT-aware business process modeling views, requirements and notations.
Softw. Syst. Model., 2023

A Flexible Approach to Multi-party Business Process Execution on Blockchain.
Future Gener. Comput. Syst., 2023

Empowering trusted data sharing for data analytics in a federated environment: A blockchain-based approach.
Frontiers Blockchain, 2023

Checkpoint-based rollback recovery in session programming.
CoRR, 2023

Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems.
Big Data Cogn. Comput., 2023

Enhancing compatibility in QoS communication for the Internet of Robotic Things.
Proceedings of the Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 2023

A Methodology for the Analysis of Robotic Systems via Process Mining.
Proceedings of the Enterprise Design, Operations, and Computing, 2023

Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach.
Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), 2023

Rollback Recovery in Session-Based Programming.
Proceedings of the Coordination Models and Languages, 2023

2022
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain.
ACM Trans. Manag. Inf. Syst., 2022

BPMN 2.0 OR-Join Semantics: Global and local characterisation.
Inf. Syst., 2022

Formalising and animating multiple instances in BPMN collaborations.
Inf. Syst., 2022

Consistent modelling of hierarchical BPMN collaborations.
Bus. Process. Manag. J., 2022

Flexible execution of multi-party business processes on blockchain.
Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain, 2022

A Choreography-Driven Approach for Blockchain-Based IoT Applications.
Proceedings of the 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2022

Programming Multi-robot Systems with X-KLAIM.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

PURPLE: a PURPose-guided Log GEnerator (Extended Abstract).
Proceedings of the ICPM Doctoral Consortium and Demo Track 2022 co-located with 4th International Conference on Process Mining (ICPM 2022), 2022

An Approach to Support Digital Process Twin.
Proceedings of the IEEE Intl. Conf. on Dependable, 2022

A Technique for Collaboration Discovery.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2022

ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies.
Proceedings of the Best Dissertation Award, 2022

A Purpose-Guided Log Generation Framework.
Proceedings of the Business Process Management - 20th International Conference, 2022

2021
A formal approach for the analysis of BPMN collaboration models.
J. Syst. Softw., 2021

Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations.
J. Log. Algebraic Methods Program., 2021

Disciplined use of BPMN for mission modeling of Multi-Robot Systems.
Proceedings of the Forum at Practice of Enterprise Modeling 2021 (PoEM-Forum 2021) (PoEM 2021), 2021

ChorChain: A model-driven framework for choreography-based systems using blockchain.
Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

RePROSitory: a Repository platform for sharing business PROcess models and logS.
Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

2020
Collaboration vs. choreography conformance in BPMN.
Log. Methods Comput. Sci., 2020

Correctness checking for BPMN collaborations with sub-processes.
J. Syst. Softw., 2020

Replacement freeness: A criterion for separating process calculi.
J. Log. Algebraic Methods Program., 2020

A formal approach to the engineering of domain-specific distributed systems.
J. Log. Algebraic Methods Program., 2020

Ethereum smart contracts: Analysis and statistics of their source code and opcodes.
Internet Things, 2020

Engineering trustable choreography-based systems using blockchain.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Writing Robotics Applications with X-Klaim.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

PALM: A Technique for Process ALgebraic Specification Mining.
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Verification of Privacy-Enhanced Collaborations.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review.
Proceedings of the Business Process Management Workshops, 2020

2019
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies.
IEEE Trans. Software Eng., 2019

Defining and guaranteeing dynamic service levels in clouds.
Future Gener. Comput. Syst., 2019

UBBA: Unity Based BPMN Animator.
Proceedings of the Information Systems Engineering in Responsible Information Systems, 2019

RePROSitory: a Repository Platform for Sharing Business PROcess modelS.
Proceedings of the Dissertation Award, 2019

Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies.
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

X-Klaim Is Back.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Automata-Based Behavioural Contracts with Action Correlation.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

Analysis of Ethereum Smart Contracts and Opcodes.
Proceedings of the Advanced Information Networking and Applications, 2019

2018
A formal approach to modeling and verification of business process collaborations.
Sci. Comput. Program., 2018

A Classification of BPMN Collaborations based on Safeness and Soundness Notions.
CoRR, 2018

Global vs. Local Semantics of BPMN 2.0 OR-Join.
Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

Runtime Computation of Optimal Offloading Scheduling.
Proceedings of the 6th IEEE International Conference on Mobile Cloud Computing, 2018

Formalising BPMN Service Interaction Patterns.
Proceedings of the Practice of Enterprise Modeling - 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31, 2018

Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice.
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

Checking Business Process Correctness in Apromore.
Proceedings of the Information Systems in the Big Data Era, 2018

MIDA: Multiple Instances and Data Animator.
Proceedings of the Dissertation Award, 2018

Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support.
Proceedings of the Business Process Management - 16th International Conference, 2018

2017
Blind-date conversation joining.
Serv. Oriented Comput. Appl., 2017

A language-based approach to modelling and analysis of Twitter interactions.
J. Log. Algebraic Methods Program., 2017

Causal-consistent rollback in a tuple-based language.
J. Log. Algebraic Methods Program., 2017

BProVe: tool support for business process verification.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

BProVe: a formal verification framework for business process models.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Supporting Multi-layer Modeling in BPMN Collaborations.
Proceedings of the Enterprise and Organizational Modeling and Simulation, 2017

On Avoiding Erroneous Synchronization in BPMN Processes.
Proceedings of the Business Information Systems - 20th International Conference, 2017

2016
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest.
IEEE Trans. Netw. Serv. Manag., 2016

Reversing Single Sessions.
Proceedings of the Reversible Computation - 8th International Conference, 2016

Dynamic SLAs for Clouds.
Proceedings of the Service-Oriented and Cloud Computing, 2016

2015
The SCEL Language: Design, Implementation, Verification.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

The Autonomic Cloud.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Correctness of Service Components and Service Component Ensembles.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

A formalized framework for mobile cloud computing.
Serv. Oriented Comput. Appl., 2015

Reversible session-based pi-calculus.
J. Log. Algebraic Methods Program., 2015

On Properties of Policy-Based Specifications.
Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015

Domain-specific queries and Web search personalization: some investigations.
Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015

Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

A calculus for attribute-based communication.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Causal-Consistent Reversibility in a Tuple-Based Language.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Decision Support for Mobile Cloud Computing Applications via Model Checking.
Proceedings of the 3rd IEEE International Conference on Mobile Cloud Computing, 2015

An Operational Semantics of BPMN Collaboration.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Service Clustering for Autonomic Clouds Using Random Forest.
Proceedings of the 15th IEEE/ACM International Symposium on Cluster, 2015

Programming Autonomic Systems with Multiple Constraint Stores.
Proceedings of the Software, 2015

2014
A Formal Approach to Autonomic Systems Programming: The SCEL Language.
ACM Trans. Auton. Adapt. Syst., 2014

Causal-Consistent Reversibility.
Bull. EATCS, 2014

Towards Reversible Sessions.
Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

SLAC: A Formal Service-Level-Agreement Language for Cloud Computing.
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Trust-Based Enforcement of Security Policies.
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Towards a Formal Approach to Mobile Cloud Computing.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

On Programming and Policing Autonomic Computing Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Self-expression and Dynamic Attribute-Based Ensembles in SCEL.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Reputation-Based Cooperation in the Clouds.
Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014

Programming and Verifying Component Ensembles.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Reputation-Based Composition of Social Web Services.
Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014

2013
Special issue on Automated Specification and Verification of Web Systems.
J. Log. Algebraic Methods Program., 2013

Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -.
Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013

Linguistic Abstractions for Programming and Policing Autonomic Computing Systems.
Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing.
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Specifying and analysing reputation systems with a coordination language.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Network-Aware Evaluation Environment for Reputation Systems.
Proceedings of the Trust Management VII - 7th IFIP WG 11.11 International Conference, 2013

Formalising Adaptation Patterns for Autonomic Ensembles.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data.
Proceedings of the HEALTHINF 2013, 2013

2012
A logical verification methodology for service-oriented computing.
ACM Trans. Softw. Eng. Methodol., 2012

Using formal methods to develop WS-BPEL applications.
Sci. Comput. Program., 2012

Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios.
J. Medical Syst., 2012

A calculus for orchestration of web services.
J. Appl. Log., 2012

Modeling adaptation with a tuple-based coordination language.
Proceedings of the ACM Symposium on Applied Computing, 2012

Towards model-driven development of access control policies for web applications.
Proceedings of the Model-Driven Security Workshop, 2012

Towards a Formal Verification Methodology for Collective Robotic Systems.
Proceedings of the Formal Methods and Software Engineering, 2012

Formalisation and Implementation of the XACML Access Control Mechanism.
Proceedings of the Engineering Secure Software and Systems - 4th International Symposium, 2012

2011
An accessible verification environment for UML models of services.
J. Symb. Comput., 2011

A WSDL-based type system for asynchronous WS-BPEL processes.
Formal Methods Syst. Des., 2011

Orchestrating Tuple-Based Languages.
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience.
Proceedings of the e-Infrastructure and e-Services for Developing Countries, 2011

The Sensoria Approach Applied to the Finance Case Study.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
A criterion for separating process calculi
Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

A tool for rapid development of WS-BPEL applications.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009
From Architectural to Behavioural Specification of Services.
Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals.
Proceedings of the Information Systems Security, 5th International Conference, 2009

On Observing Dynamic Prioritised Actions in SOC.
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

2008
TAPAs: A Tool for the Analysis of Process Algebras.
Trans. Petri Nets Other Model. Concurr., 2008

A Symbolic Semantics for a Calculus for Service-Oriented Computing.
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

Specification and Analysis of SOC Systems Using COWS: A Finance Case Study.
Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
Proceedings of the Leveraging Applications of Formal Methods, 2008

A Model Checking Approach for Verifying COWS Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

A Formal Account of WS-BPEL.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Specifying and Analysing SOC Applications with COWS.
Proceedings of the Concurrency, 2008

2007
Service Discovery and Negotiation With COWS.
Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007

C-clock-WS: A Timed Service-Oriented Calculus.
Proceedings of the Theoretical Aspects of Computing, 2007

Regulating Data Exchange in Service Oriented Applications.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

A Calculus for Orchestration of Web Services.
Proceedings of the Programming Languages and Systems, 2007

2006
A WSDL-Based Type System for WS-BPEL.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006


  Loading...