Publications

59 entries « 3 of 3 »

2018

Fornari, Fabrizio; Rosa, Marcello La; Polini, Andrea; Re, Barbara; Tiezzi, Francesco

Checking Business Process Correctness in Apromore Proceedings Article

In: Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings, pp. 114–123, Springer, 2018.

Links | BibTeX

2017

Corradini, Flavio; Polini, Andrea; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

Supporting Multi-layer Modeling in BPMN Collaborations Proceedings Article

In: Enterprise and Organizational Modeling and Simulation, pp. 53–67, Springer, 2017.

Links | BibTeX

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

On Avoiding Erroneous Synchronization in BPMN Processes Proceedings Article

In: Business Information Systems - 20th International Conference, BIS 2017, Poznan, Poland, June 28-30, 2017, Proceedings, pp. 106–119, Springer, 2017.

Links | BibTeX

Fornari, Fabrizio; Gnesi, Stefania; Rosa, Marcello La; Polini, Andrea; Re, Barbara; Spagnolo, Giorgio Oronzo

Checking Business Process Modeling Guidelines in Apromore Proceedings Article

In: Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), Barcelona, Spain, September 13, 2017, CEUR-WS.org, 2017.

Links | BibTeX

Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea

BProVe: a formal verification framework for business process models Proceedings Article

In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017, pp. 217–228, IEEE Computer Society, 2017.

Links | BibTeX

Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea

BProVe: tool support for business process verification Proceedings Article

In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017, pp. 937–942, IEEE Computer Society, 2017.

Links | BibTeX

2016

Bettacchi, Alessandro; Polzonetti, Alberto; Re, Barbara

Understanding Production Chain Business Process Using Process Mining: A Case Study in the Manufacturing Scenario Proceedings Article

In: Advanced Information Systems Engineering Workshops, pp. 193–203, Springer, 2016.

Links | BibTeX

Cognini, Riccardo; Corradini, Flavio; Polini, Andrea; Re, Barbara

Business Process Feature Model: An Approach to Deal with Variability of Business Processes Book Section

In: Domain-Specific Conceptual Modeling, Concepts, Methods and Tools, pp. 171–194, Springer, 2016.

Links | BibTeX

2015

Corradini, Flavio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco

An Operational Semantics of BPMN Collaboration Proceedings Article

In: Formal Aspects of Component Software, pp. 161–180, Springer, 2015.

Links | BibTeX

59 entries « 3 of 3 »