A Migration Framework for Active BPMN Processes in Healthcare. - Matteo Mantovani 001; Emanuele Chini; Carlo Combi (ICHI, 2024)

Reactive Synthesis for Expected Impacts. - Emanuele Chini; Pietro Sala; Andrea Simonetti; Omid Zare (GandALF, 2024)