Journal Papers

  • Corradini, F., Ferrari A., Fornari, F., Gnesi S., Polini A., Re B., Spagnolo G. O., A Guidelines Framework for Understandable BPMN Models. Data & Knowledge Engineering – Elsevier, November 2017. [link]
  • Corradini, F., Fornari, F., Polini, A., Re, B.,  Tiezzi, F., A formal approach to modeling and verification of business process collaborations. Science of Computer Programming,  2018, 166, pp. 35-70. [link]

International Refereed Conferences and Workshops Papers

  • Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, and Francesco Tiezzi. Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. International Conference on Business Process Management, BPM 2018: Business Process Management, pp 83-101. [Link]
  • Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, and Francesco Tiezzi. MIDA: Multiple Instances and Data Animator. International Conference on Business Process Management, BPM Demo, pp. 86-90. [Link]
  • Flavio Corradini, Chiara Muzi, Barbara Re, and Francesco Tiezzi.  A Classification of BPMN Collaborations based on Safeness and Soundness Notions. 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018), Beijing, China, September 3, 2018, Electronic Proceedings in Theoretical Computer Science 276, pp. 37-52. [Link]
  • Fabrizio Fornari, Marcello La Rosa, Andrea Polini, Barbara Re, Francesco Tiezzi.. Checking Business Process Correctness in Apromore. CAiSE 2018 FORUM – Information Systems in the Big Data Era. Springer, LNBIP, vol. 317, pp. 114-123. Tallinn, Estonia, 11-15 June 2018. [link]
  • Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, and Francesco Tiezzi. Global vs. Local Semantics of BPMN 2.0 OR-Join. SOFSEM 2018, Krems an der Donau, Austria, Germany, 29 January – 1 February 2018. [link]
  • Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Andrea Vandin, Francesco Tiezzi.   BProVe: Tool Support for Business Process Verification. 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017 – Tool Demo, pp. 217- 228.  Urbana Champaign, Illinois, USA, October 30 – November 3, 2017. [link]
  • Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Andrea Vandin, Francesco Tiezzi. BProVe: a Formal Verification Framework for Business Process Models. 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pp. 937 – 942.  Urbana Champaign, Illinois, USA, October 30 – November 3, 2017. [link]
  • Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, and Francesco Tiezzi. Supporting Multi-Layer Modeling in BPMN Collaborations, volume 298 of LNBIP, pages 53–67. Springer, June 2017. [link]
  • Fabrizio Fornari, Stefania Gnesi, Marcello La Rosa, Andrea Polini, Barbara Re and Giorgio Spagnolo. Checking Business Process Modeling Guidelines in APROMORE. BPM (Demo), Barcelona, Spain, September 10-15, 2017. [link]
  • Flavio Corradini, Fabrizio Fornari, Chiara Muzzi, Andrea Polini, Barbara Re, Francesco Tiezzi. On Avoiding Erroneous Synchronization in BPMN Processes. 20th International Conference on Business Information Systems, BIS17, Poznan, Poland, pp. 106-119, 28-30 June 2017. [link]
  • Alessandro Bettacchi, Alberto Polzonetti, Barbara Re. Understanding Production Chain Business Process Using Process Mining: A Case Study in the Manufacturing Scenario. Workshop on Enterprise Modeling at CAiSE 2016, Ljubljana, Slovenia, LNBIP 249, pp. 1 – 11, 13 – 17 June, 2016. [link]
  • Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi. An Operational Semantics of BPMN Collaboration. 12th International Symposium Formal Aspects of Component Software, FACS15, Niteroi, Rio de Janeiro, Brazil, pp. 161 – 180, 14 – 16 October, 2015. [link]
  • Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re. Business Process Feature Model: an approach to deal with variability of business processes. Domain-Specific Conceptual Modelling: Concepts, Methods and Tools. Springer, pp. 171 – 194, 2016. [link]

Internal Reports

  • Flavio Corradini,  Chiara Muzi, Barbara Re, Lorenzo Rossi,  Francesco Tiezzi: Global vs. Local Semantics of BPMN 2.0 OR-Join. Technical report, Univ. Camerino (January 2018) – [pdf]
  • Flavio Corradini,  Chiara Muzi, Barbara Re, Francesco Tiezzi: Classification of BPMN Collaborations. Technical report, Univ. Camerino (March 2018) – [PDF]