@inproceedings{DBLP:conf/caise/FornariRP0T18,

title = {Checking Business Process Correctness in Apromore},

author = {Fabrizio Fornari and Marcello La Rosa and Andrea Polini and Barbara Re and Francesco Tiezzi},

url = {https://doi.org/10.1007/978-3-319-92901-9_11},

doi = {10.1007/978-3-319-92901-9_11},

year  = {2018},

date = {2018-01-01},

urldate = {2018-01-01},

booktitle = {Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, 

 Estonia, June 11-15, 2018, Proceedings},

volume = {317},

pages = {114--123},

publisher = {Springer},

series = {Lecture Notes in Business Information Processing},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/caise/CorradiniP0RT17,

title = {Supporting Multi-layer Modeling in BPMN Collaborations},

author = {Flavio Corradini and Andrea Polini and Barbara Re and Lorenzo Rossi and Francesco Tiezzi},

url = {https://doi.org/10.1007/978-3-319-68185-6_4},

doi = {10.1007/978-3-319-68185-6_4},

year  = {2017},

date = {2017-01-01},

booktitle = {Enterprise and Organizational Modeling and Simulation},

volume = {298},

pages = {53--67},

publisher = {Springer},

series = {LNBIP},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bis/CorradiniFMPRT17,

title = {On Avoiding Erroneous Synchronization in BPMN Processes},

author = {Flavio Corradini and Fabrizio Fornari and Chiara Muzi and Andrea Polini and Barbara Re and Francesco Tiezzi},

url = {https://doi.org/10.1007/978-3-319-59336-4_8},

doi = {10.1007/978-3-319-59336-4_8},

year  = {2017},

date = {2017-01-01},

urldate = {2017-01-01},

booktitle = {Business Information Systems - 20th International Conference, BIS 

 2017, Poznan, Poland, June 28-30, 2017, Proceedings},

volume = {288},

pages = {106--119},

publisher = {Springer},

series = {Lecture Notes in Business Information Processing},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bpm/FornariGRPRS17,

title = {Checking Business Process Modeling Guidelines in Apromore},

author = {Fabrizio Fornari and Stefania Gnesi and Marcello La Rosa and Andrea Polini and Barbara Re and Giorgio Oronzo Spagnolo},

url = {http://ceur-ws.org/Vol-1920/BPM_2017_paper_204.pdf},

year  = {2017},

date = {2017-01-01},

urldate = {2017-01-01},

booktitle = {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},

volume = {1920},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kbse/CorradiniFP0TV17,

title = {BProVe: a formal verification framework for business process models},

author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},

url = {https://doi.org/10.1109/ASE.2017.8115635},

doi = {10.1109/ASE.2017.8115635},

year  = {2017},

date = {2017-01-01},

urldate = {2017-01-01},

booktitle = {Proceedings of the 32nd IEEE/ACM International Conference on Automated 

 Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 

 03, 2017},

pages = {217--228},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kbse/CorradiniFP0TV17a,

title = {BProVe: tool support for business process verification},

author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},

url = {https://doi.org/10.1109/ASE.2017.8115708},

doi = {10.1109/ASE.2017.8115708},

year  = {2017},

date = {2017-01-01},

urldate = {2017-01-01},

booktitle = {Proceedings of the 32nd IEEE/ACM International Conference on Automated 

 Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 

 03, 2017},

pages = {937--942},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/caise/BettacchiPR16,

title = {Understanding Production Chain Business Process Using Process Mining: 

 A Case Study in the Manufacturing Scenario},

author = {Alessandro Bettacchi and Alberto Polzonetti and Barbara Re},

url = {https://doi.org/10.1007/978-3-319-39564-7_19},

doi = {10.1007/978-3-319-39564-7_19},

year  = {2016},

date = {2016-01-01},

booktitle = {Advanced Information Systems Engineering Workshops},

volume = {249},

pages = {193--203},

publisher = {Springer},

series = {LNBIP},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/facs2/CorradiniPRT15,

title = {An Operational Semantics of BPMN Collaboration},

author = {Flavio Corradini and Andrea Polini and Barbara Re and Francesco Tiezzi},

url = {https://doi.org/10.1007/978-3-319-28934-2_9},

doi = {10.1007/978-3-319-28934-2_9},

year  = {2015},

date = {2015-01-01},

booktitle = {Formal Aspects of Component Software},

volume = {9539},

pages = {161--180},

publisher = {Springer},

series = {LNCS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}