- Paolo Masci 0001, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri, editors, Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers. Volume 13765 of Lecture Notes in Computer Science, Springer, 2023.
- Carla Ferreira 0001, Tim A. C. Willemse, editors, Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Volume 14323 of Lecture Notes in Computer Science, Springer, 2023.