![]() ![]() | Jacobs, S., SAKR, M., & VOLP, M. (2022). Automatic Repair and Deadlock Detection for Parameterized Systems. In Automatic Repair and Deadlock Detection for Parameterized Systems. ![]() |
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 ![]() |