Jacobs, S., Sakr, M., & Volp, M. (2022). Automatic Repair and Deadlock Detection for Parameterized Systems. In Automatic Repair and Deadlock Detection for Parameterized Systems. Peer reviewed |
Jacobs, S., Perez, G., Abraham, Bruyere, V., Cadilhac, M., Colange, M., Delfosse, C., Tom, V. D., Duret-Lutz, A., Faymonville, P., Finkbeiner, B., Khalimov, A., Klein, F., Luttenberger, M., Meyer, K., Michaud, T., Pommellet, A., Renkin, F., Schlehuber-Caissier, P., ... Walker, A. (2022). The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. |
Pinto Gouveia, I., Sakr, M., Graczyk, R., & Volp, M. (06 December 2021). To verify or tolerate, that’s the question [Paper presentation]. Program Analysis and Verification on Trusted Platforms (PAVeTrust) Workshop (co-located with ACSAC21). |
Sakr, M., & Jacobs, S. (2021). AIGEN: Random Generation of Symbolic Transition Systems. In M. Sakr & S. Jacobs, AIGEN: Random Generation of Symbolic Transition Systems. doi:10.1007/978-3-030-81688-9_20 Peer reviewed |