@inproceedings{DBLP:conf/ast/Barboni0P21,

title = {SuMo: A Mutation Testing Strategy for Solidity Smart Contracts},

author = {Morena Barboni and Andrea Morichetta and Andrea Polini},

url = {https://doi.org/10.1109/AST52587.2021.00014},

doi = {10.1109/AST52587.2021.00014},

year  = {2021},

date = {2021-01-01},

booktitle = {International Conference on Automation of Software 

 Test},

pages = {50--59},

publisher = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/rtacsit/CorradiniL0P21,

title = {Process Variance Analysis and Configuration in the Public Administration 

 Sector},

author = {Flavio Corradini and Caterina Luciani and Andrea Morichetta and Andrea Polini},

url = {http://ceur-ws.org/Vol-2872/paper14.pdf},

year  = {2021},

date = {2021-01-01},

booktitle = {International Conference on Recent Trends and 

 Applications in Computer Science and Information Technology},

volume = {2872},

pages = {103--112},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/egov/CorradiniLMPP21,

title = {TLV-diss(_mbox(gamma) ): A Dissimilarity Measure for 

 Public Administration Process Logs},

author = {Flavio Corradini and Caterina Luciani and Andrea Morichetta and Marco Piangerelli and Andrea Polini},

url = {https://doi.org/10.1007/978-3-030-84789-0_22},

doi = {10.1007/978-3-030-84789-0_22},

year  = {2021},

date = {2021-01-01},

booktitle = {Electronic Government},

volume = {12850},

pages = {301--314},

publisher = {Springer},

series = {LNCS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bpm/Corradini0P0021,

title = {RePROSitory: a Repository platform for sharing business PROcess models  and logS},

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

url = {http://ceur-ws.org/Vol-2952/paper_292a.pdf},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

booktitle = {Proceedings of the 1st Italian Forum on Business Process Management 

 co-located with the 19th International Conference of Business Process 

 Management (BPM 2021), Rome, Italy, September 10th, 2021},

volume = {2952},

pages = {13--18},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bpm/CompagnucciCFP020,

title = {Modelling Notations for IoT-Aware Business Processes: A Systematic  Literature Review},

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

url = {https://doi.org/10.1007/978-3-030-66498-5_9},

doi = {10.1007/978-3-030-66498-5_9},

year  = {2020},

date = {2020-01-01},

urldate = {2020-01-01},

booktitle = {Business Process Management Workshops},

volume = {397},

pages = {108--121},

publisher = {Springer},

series = {LNBIP},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

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

title = {FabNet: an Automatic Hyperledger Fabric Network Wizard (short paper)},

author = {Alessandro Marcelletti and Barbara Re},

url = {http://ceur-ws.org/Vol-2749/short1.pdf},

year  = {2020},

date = {2020-01-01},

booktitle = {Practice of Enterprise Modelling},

volume = {2749},

pages = {59--67},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/sac/CorradiniMMPRT20,

title = {Engineering trustable choreography-based systems using blockchain},

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

url = {https://doi.org/10.1145/3341105.3373988},

doi = {10.1145/3341105.3373988},

year  = {2020},

date = {2020-01-01},

booktitle = {Symposium on Applied Computing},

pages = {1470--1479},

publisher = {ACM},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/caise/AbdulC00T19,

title = {UBBA: Unity Based BPMN Animator},

author = {Basit Mubeen Abdul and Flavio Corradini and Barbara Re and Lorenzo Rossi and Francesco Tiezzi},

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

doi = {10.1007/978-3-030-21297-1_1},

year  = {2019},

date = {2019-01-01},

booktitle = {Information Systems Engineering in Responsible Information Systems},

volume = {350},

pages = {1--9},

publisher = {Springer},

series = {LNBIP},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/birthday/Corradini00T19,

title = {Walking Through the Semantics of Exclusive and Event-Based Gateways 

 in BPMN Choreographies},

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

url = {https://doi.org/10.1007/978-3-030-31175-9_10},

doi = {10.1007/978-3-030-31175-9_10},

year  = {2019},

date = {2019-01-01},

booktitle = {The Art of Modelling Computational Systems: A Journey from Logic 

 and Concurrency to Security and Privacy},

volume = {11760},

pages = {163--181},

publisher = {Springer},

series = {LNCS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/birthday/CorradiniM0P0S19,

title = {Smart Contracts Through Process Mining},

author = {Flavio Corradini and Fausto Marcantoni and Andrea Morichetta and Andrea Polini and Barbara Re and Massimiliano Sampaolo},

url = {https://doi.org/10.1007/978-3-030-30985-5_27},

doi = {10.1007/978-3-030-30985-5_27},

year  = {2019},

date = {2019-01-01},

urldate = {2019-01-01},

booktitle = {From Software Engineering to Formal Methods and Tools, and Back},

volume = {11865},

pages = {467--480},

publisher = {Springer},

series = {LNCS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/aiia/0001CFFP0RSVZ19,

title = {Case Studies for a New IoT Programming Paradigm: Fluidware},

author = {Stefano Mariani and Roberto Casadei and Fabrizio Fornari and Giancarlo Fortino and Danilo Pianini and Barbara Re and Wilma Russo and Claudio Savaglio and Mirko Viroli and Franco Zambonelli},

url = {http://ceur-ws.org/Vol-2502/paper6.pdf},

year  = {2019},

date = {2019-01-01},

urldate = {2019-01-01},

booktitle = {Proceedings of the 1st Workshop on Artificial Intelligence and Internet 

 of Things co-located with the 18th International Conference of the 

 Italian Association for Artificial Intelligence (AI*IA 2019), Rende 

 (CS), Italy, November 22, 2019},

volume = {2502},

pages = {82--96},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bpm/CorradiniFP0T19,

title = {RePROSitory: a Repository Platform for Sharing Business PROcess modelS},

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

url = {http://ceur-ws.org/Vol-2420/paperDT7.pdf},

year  = {2019},

date = {2019-01-01},

urldate = {2019-01-01},

booktitle = {Proceedings of the Dissertation Award, Doctoral Consortium, and Demonstration 

 Track at BPM 2019 co-located with 17th International Conference 

 on Business Process Management, BPM 2019, Vienna, Austria, September 

 1-6, 2019},

volume = {2420},

pages = {149--153},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bpm/CorradiniM00T18,

title = {Animating Multiple Instances in BPMN Collaborations: From Formal 

 Semantics to Tool Support},

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

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

doi = {10.1007/978-3-319-98648-7_6},

year  = {2018},

date = {2018-01-01},

booktitle = {Business Process Management},

volume = {11080},

pages = {83--101},

publisher = {Springer},

series = {LNCS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bpm/CorradiniM00T18a,

title = {MIDA: Multiple Instances and Data Animator},

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

url = {http://ceur-ws.org/Vol-2196/BPM_2018_paper_18.pdf},

year  = {2018},

date = {2018-01-01},

booktitle = {Proceedings of the Dissertation Award, Demonstration, and Industrial 

 Track at BPM},

volume = {2196},

pages = {86--90},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

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

}