Simon Prucker - Lehrstuhl für theoretische Informatik 8

Address:

FAU Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Martensstraße 3
D-91058 Erlangen
Raum: 11.125
E-Mail: simon.prucker[at]fau.de

Publications:

2024

Hausmann D., Humml M., Prucker S., Schröder L., Strahlberger A.:
Generic Model Checking for Modal Fixpoint Logics in COOL-MC
25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024 was co-located with 51st ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2024 (London, 15. January 2024 - 16. January 2024)
In: Rayna Dimitrova, Ori Lahav, Sebastian Wolff (ed.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2024
DOI: 10.1007/978-3-031-50524-9_8

2023

Görlitz O., Hausmann D., Humml M., Pattinson D., Prucker S., Schröder L.:
COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
Proceedings of the 29th International Conference on Automated Deduction, CADE-29 (Rome, 1. July 2023 - 4. July 2023)
In: Brigitte Pientka, Cesare Tinelli (ed.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
DOI: 10.1007/978-3-031-38499-8_14