@inproceedings{10.1007/978-3-031-46587-1_7,

title = {A Methodology for the Analysis of Robotic Systems via Process Mining},

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

year  = {2024},

date = {2024-01-01},

booktitle = {Enterprise Design, Operations, and Computing},

pages = {117–133},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{10.1007/978-3-031-43240-8_17,

title = {CATANA: Replay Testing for the Ethereum Blockchain},

author = {Morena Barboni and Guglielmo De Angelis and Andrea Morichetta and Andrea Polini},

url = {https://doi.org/10.1007/978-3-031-43240-8_17},

doi = {10.1007/978-3-031-43240-8_17},

isbn = {978-3-031-43240-8},

year  = {2023},

date = {2023-09-19},

urldate = {2023-01-01},

booktitle = {Testing Software and Systems},

pages = {257–265},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{catervi2023playwithunicam,

title = {PlayWithUnicam: An extensible platform for serious games},

author = {Tommaso Catervi and Leonardo Cipolletta and Flavio Corradini and Barbara Re and Matteo Rondini and Lorenzo Rossi},

editor = {EPiC},

year  = {2023},

date = {2023-01-01},

booktitle = {Society 5.0},

volume = {93},

pages = {33–40},

series = {EPiC Series in Computing},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{10.1007/978-3-031-14179-9_5,

title = {ReSuMo: Regression Mutation Testing for Solidity Smart Contracts},

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

url = {https://doi.org/10.1007/978-3-031-14179-9_5},

doi = {10.1007/978-3-031-14179-9_5},

isbn = {978-3-031-14179-9},

year  = {2022},

date = {2022-09-05},

urldate = {2022-09-05},

booktitle = {Quality of Information and Communications Technology},

pages = {61–76},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{10.1145/3528226.3528370,

title = {Smart Contract Testing: Challenges and Opportunities},

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

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

doi = {10.1145/3528226.3528370},

isbn = {9781450393317},

year  = {2022},

date = {2022-06-15},

urldate = {2023-01-01},

booktitle = {Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain},

pages = {21–24},

series = {WETSEB '22},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bpmds/Corradini00022,

title = {A Technique for Collaboration Discovery},

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

url = {https://doi.org/10.1007/978-3-031-07475-2_5},

doi = {10.1007/978-3-031-07475-2_5},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

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

volume = {450},

pages = {63--78},

publisher = {Springer},

series = {LNBIP},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bpm/AntinoriCC00S22,

title = {BPMN-Redrawer: From Images to BPMN Models},

author = {Alessandro Antinori and Riccardo Coltrinari and Flavio Corradini and Fabrizio Fornari and Barbara Re and Marco Scarpetta},

url = {http://ceur-ws.org/Vol-3216/paper_246.pdf},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

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

 Demonstration & Resources Track at BPM 2022 co-located with 

 20th International Conference on Business Process Management (BPM 

 2022), Münster, Germany, September 11th to 16th, 2022},

volume = {3216},

pages = {107--111},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/sac/CorradiniF0P022,

title = {X-IoT: a model-driven approach for cross-platform IoT applications  development},

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

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

doi = {10.1145/3477314.3507164},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

booktitle = {SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual 

 Event, April 25 - 29, 2022},

pages = {1448--1451},

publisher = {ACM},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{94867cc6c1f64aa194f187d5b1031851,

title = {PURPLE: a PURPose-guided Log GEnerator},

author = {Ändrea Burattin and Barbara Re and Lorenzo Rossi and Francesco Tiezzi"},

year  = {2022},

date = {2022-01-01},

booktitle = {Proceedings of the ICPM Doctoral Consortium and Demo Track 2022},

publisher = {CEUR-WS},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{10.1007/978-3-031-16103-2_14,

title = {Ä Purpose-Guided Log Generation Framework"},

author = {Andrea Burattin and Barbara Re and Lorenzo Rossi and Francesco Tiezzi},

year  = {2022},

date = {2022-01-01},

booktitle = {Business Process Management},

pages = {181--198},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{10.1007/978-3-031-16103-2_14b,

title = {Ä Purpose-Guided Log Generation Framework"},

author = {Andrea Burattin and Barbara Re and Lorenzo Rossi and Francesco Tiezzi},

year  = {2022},

date = {2022-01-01},

booktitle = {Business Process Management},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{10.1007978-3-031-16103-2_14,

title = {A Purpose-Guided Log Generation Framework},

author = {Andrea Burattin and Barbara Re and Lorenzo Rossi and Francesco Tiezzi},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

booktitle = {Business Process Management},

publisher = {Springer},

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 Bourr 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-11-24},

urldate = {2021-11-24},

booktitle = {Proceedings of the Forum at 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/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}

}