@inproceedings{DBLP:conf/ifip8-1/MuziP0WT18,

title = {Formalising BPMN Service Interaction Patterns},

author = {Chiara Muzi and Luise Pufahl and Lorenzo Rossi and Mathias Weske and Francesco Tiezzi},

url = {https://doi.org/10.1007/978-3-030-02302-7_1},

doi = {10.1007/978-3-030-02302-7_1},

year  = {2018},

date = {2018-01-01},

booktitle = {The Practice of Enterprise Modeling},

volume = {335},

pages = {3--20},

publisher = {Springer},

series = {LNBIP},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/sofsem/CorradiniM0RT18,

title = {Global vs. Local Semantics of BPMN 2.0 OR-Join},

author = {Flavio Corradini and Chiara Muzi and Barbara Re and Lorenzo Rossi and Francesco Tiezzi},

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

doi = {10.1007/978-3-319-73117-9_23},

year  = {2018},

date = {2018-01-01},

booktitle = {International 

 Conference on Current Trends in Theory and Practice of Computer Science},

volume = {10706},

pages = {321--336},

publisher = {Springer},

series = {LNCS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/edoc/Corradini0P0T18,

title = {Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory 

 to Practice},

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

url = {https://doi.org/10.1109/EDOC.2018.00022},

doi = {10.1109/EDOC.2018.00022},

year  = {2018},

date = {2018-01-01},

booktitle = {International Enterprise Distributed Object Computing 

 Conference},

pages = {95--104},

publisher = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/mobilecloud/Morichetta0T18,

title = {Runtime Computation of Optimal Offloading Scheduling},

author = {Andrea Morichetta and Barbara Re and Francesco Tiezzi},

url = {https://doi.org/10.1109/MobileCloud.2018.00019},

doi = {10.1109/MobileCloud.2018.00019},

year  = {2018},

date = {2018-01-01},

booktitle = {International Conference on Mobile Cloud Computing, Services, 

 and Engineering},

pages = {73--78},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@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}

}