@inproceedings{DBLP:conf/caise/CorradiniFFP021,

title = {FloWare: An Approach for IoT Support and Application Development},

author = {Flavio Corradini and Arianna Fedeli and Fabrizio Fornari and Andrea Polini and Barbara Re},

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

doi = {10.1007/978-3-030-79186-5_23},

year  = {2021},

date = {2021-01-01},

booktitle = {Enterprise, Business-Process and Information Systems Modeling},

volume = {421},

pages = {350--365},

publisher = {Springer},

series = {LNBIP},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{10.1007/978-3-030-87205-2_6,

title = {Trends on the Usage of BPMN 2.0 from Publicly Available Repositories},

author = {Ivan Compagnucci and Flavio Corradini and Fabrizio Fornari and Barbara Re},

doi = {10.1007/978-3-030-87205-2_6},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

booktitle = {Perspectives in Business Informatics Research},

pages = {84--99},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bpm/CorradiniM0P0021,

title = {ChorChain: A model-driven framework for choreography-based systems 

 using blockchain},

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

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

year  = {2021},

date = {2021-01-01},

booktitle = {Italian Forum on Business Process Management},

volume = {2952},

pages = {26--32},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@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/ifip8-1/Burr21,

title = {Disciplined use of BPMN for mission modeling of Multi-Robot Systems},

author = {Khalid Burr and Flavio Corradini and Sara Pettinari and Barbara Re and Lorenzo Rossi and Francesco Tiezzi},

url = {http://ceur-ws.org/Vol-3045/paper1.pdf},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

booktitle = {Proceedings of the Forum at Practice of Enterprise Modeling 2021 co-located 

 with the 14th IFIP WG 8.1 Working Conference on the Practice of 

 Enterprise Modeling (PoEM 2021)},

volume = {3045},

pages = {1--10},

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

}