Name Card

Full name Familienname, Vorname
Froleyks, Nils
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Froleyks-2023-BIG Backbones-vor.pdf.jpgFroleyks, Nils ; Yu, Emily ; Biere, Armin BIG BackbonesInproceedings Konferenzbeitrag Oct-2023
2Yu-2023-Towards Compositional Hardware Model Checking Certification-vor.pdf.jpgYu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo Towards Compositional Hardware Model Checking CertificationInproceedings Konferenzbeitrag Oct-2023
3Froleyks-2021-Single Clause Assumption without Activation Literals to Spe...-vor.pdf.jpgFroleyks, Nils ; Biere, Armin Single Clause Assumption without Activation Literals to Speed-up IC3Inproceedings Oct-2021