Chiara Muzi

According to our database, Chiara Muzi authored at least 9 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

BPMN 2.0 OR-Join Semantics: Global and local characterisation.

Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi

Inf. Syst., 2022

Formalising and animating multiple instances in BPMN collaborations.

Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi

Inf. Syst., 2022

2021

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

Flavio Corradini, Andrea Morichetta, Chiara Muzi, Barbara Re, Francesco Tiezzi

J. Log. Algebraic Methods Program., 2021

2018

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

Flavio Corradini, Chiara Muzi, Barbara Re, Francesco Tiezzi

CoRR, 2018

Global vs. Local Semantics of BPMN 2.0 OR-Join.

Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi

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

Formalising BPMN Service Interaction Patterns.

Chiara Muzi, Luise Pufahl, Lorenzo Rossi, Mathias Weske, Francesco Tiezzi

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

MIDA: Multiple Instances and Data Animator.

Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi

Proceedings of the Dissertation Award, 2018

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

Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi

Proceedings of the Business Process Management - 16th International Conference, 2018

2017

On Avoiding Erroneous Synchronization in BPMN Processes.

Flavio Corradini, Fabrizio Fornari, Chiara Muzi, Andrea Polini, Barbara Re, Francesco Tiezzi

Proceedings of the Business Information Systems - 20th International Conference, 2017