Chiara Muzi

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 9

Top Topics

Formal Language

Classification Systems

Business Process

Top Venues

J. Log. Algebraic Methods Program.

Publications

Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Formalising and animating multiple instances in BPMN collaborations. Inf. Syst. 103 (2022)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
BPMN 2.0 OR-Join Semantics: Global and local characterisation. Inf. Syst. 105 (2022)
Flavio Corradini, Andrea Morichetta, Chiara Muzi, Barbara Re, Francesco Tiezzi
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. J. Log. Algebraic Methods Program. 119 (2021)
Chiara Muzi, Luise Pufahl, Lorenzo Rossi, Mathias Weske, Francesco Tiezzi
Formalising BPMN Service Interaction Patterns. PoEM (2018)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. BPM (2018)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Global vs. Local Semantics of BPMN 2.0 OR-Join. SOFSEM (2018)
Flavio Corradini, Chiara Muzi, Barbara Re, Francesco Tiezzi
A Classification of BPMN Collaborations based on Safeness and Soundness Notions. CoRR (2018)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
MIDA: Multiple Instances and Data Animator. BPM (Dissertation/Demos/Industry) (2018)
Flavio Corradini, Fabrizio Fornari, Chiara Muzi, Andrea Polini, Barbara Re, Francesco Tiezzi
On Avoiding Erroneous Synchronization in BPMN Processes. BIS (2017)