Name Card

Full name Familienname, Vorname
Fazekas, Katalin
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.011 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fazekas-2023-SAT-Based Quantified Symmetric Minimization of the Reachable...-vor.pdf.jpgFazekas, Katalin ; Aman, Goel ; Sakallah, Karem SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed ProtocolsInproceedings Konferenzbeitrag Oct-2023
2Bjørner, Nikolaj ; Fazekas, Katalin On Incremental Pre-processing for SMTInproceedings Konferenzbeitrag 2-Sep-2023
3Fazekas-2023-IPASIR-UP User Propagators for CDCL-vor.pdf.jpgFazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin IPASIR-UP: User Propagators for CDCLInproceedings Konferenzbeitrag 9-Aug-2023
4Durand-2021-Model Checking AUTOSAR Components with CBMC-vor.pdf.jpgDurand, Timothee ; Fazekas, Katalin ; Weissenbacher, Georg ; Zwirchmayr, Jakob Model Checking AUTOSAR Components with CBMCInproceedings Konferenzbeitrag Oct-2021