Software Engineering and Formal Methods
Our goal is to develop languages, methods, techniques and tools to support the design and deployment of trustworthy and effective software systems.
Publications
5 publications for 4 currently enrolled students
Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
Masina, Gabriele; Sebastiani, Roberto
in Frontiers of Combining Systems, Berlin: Springer Science and Business Media Deutschland GmbH, 2026, p. 117-134. - (LECTURE NOTES IN COMPUTER SCIENCE). - ISBN: 9783032041661. Proceedings of: 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, Reykjavik, Iceland, 29 September–1 October 2025. - Publication URL . - DOI: 10.1007/978-3-032-04167-8_7
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator
Goyal, Srajan; Griggio, Alberto; Tonetta, Stefano
in SCIENCE OF COMPUTER PROGRAMMING, v. 242, (2025). - DOI: 10.1016/j.scico.2024.103253
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems
Goyal, Srajan; Griggio, Alberto; Tonetta, Stefano
in Lecture Notes in Computer Science (LNCS, volume 15280), Cham, Switzerland: Springer Science and Business Media Deutschland GmbH, 2025, p. 441-460. - (LECTURE NOTES IN COMPUTER SCIENCE). - ISBN: 9783031773815. Proceedings of: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, Aveiro, Portugal, November 6-8, 2024. - DOI: 10.1007/978-3-031-77382-2_25
Multi-perspective Next Event Prediction in PPM via Heterogeneous Graph Neural Networks
Dissegna, Sebastiano; Di Francescomarino, Chiara; Ronzani, Massimiliano
in Lecture Notes in Business Information Processing, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND: Springer Science and Business Media Deutschland GmbH, 2025, p. 365-382. - (LECTURE NOTES IN BUSINESS INFORMATION PROCESSING). - ISBN: 9783031924736. Proceedings of: 19th International Conference on Research Challenges in Information Science, RCIS 2025, esp, 2025. - DOI: 10.1007/978-3-031-92474-3_22
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems
Goyal, Srajan; Griggio, Alberto; Kimblad, Jacob; Tonetta, Stefano
in Proceedings FMAS 2023, Waterloo, Australia: Open Publishing Association, 2023, p. 113-129. - (ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE). Proceedings of: Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), Lieden, Netherlands, 15th-16th November, 2023. - Publication URL . - DOI: 10.4204/EPTCS.395.8
