Forschungsbereich Formal Methods in Systems Engineering

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
 
Code Kennzahl
E192-04
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 121-140 of 565 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
121Amir-2022-Verification-Aided Deep Ensemble Selection-vor.pdf.jpgAmir, Guy ; Zelazny, Tom ; Katz, Guy ; Schapira, Michael Verification-Aided Deep Ensemble SelectionKonferenzbeitrag Inproceedings Oct-2022
122Zelazny-2022-On Optimizing Back-Substitution Methods for Neural Network V...-vor.pdf.jpgZelazny, Tom ; Wu, Haoze ; Barrett, Clark ; Katz, Guy On Optimizing Back-Substitution Methods for Neural Network VerificationKonferenzbeitrag Inproceedings Oct-2022
123Padon-2022-Verification of Distributed Protocols Decidable Modeling and I...-vor.pdf.jpgPadon, Oded Verification of Distributed Protocols: Decidable Modeling and Invariant InferenceKonferenzbeitrag Inproceedings Oct-2022
124Preiner-2022-The FMCAD 2022 Student Forum-vor.pdf.jpgPreiner, Mathias The FMCAD 2022 Student ForumKonferenzbeitrag Inproceedings Oct-2022
125Bryant-2022-TBUDDY A Proof-Generating BDD Package-vor.pdf.jpgBryant, Randal TBUDDY: A Proof-Generating BDD PackageKonferenzbeitrag Inproceedings Oct-2022
126Hjort-2022-On Applying Model Checking in Formal Verification-vor.pdf.jpgHjort, Håkan On Applying Model Checking in Formal VerificationKonferenzbeitrag Inproceedings Oct-2022
127Ebnenasir-2022-Synthesizing Self-Stabilizing Parameterized Protocols with...-vor.pdf.jpgEbnenasir, Ali Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded VariablesInproceedings Konferenzbeitrag Oct-2022
128Li-2022-Proving Robustness of KNN Against Adversarial Data Poisoning-vor.pdf.jpgLi, Yannan ; Wang, Jingbo ; Wang, Chao Proving Robustness of KNN Against Adversarial Data PoisoningKonferenzbeitrag Inproceedings Oct-2022
129Yu-2022-Stratified Certification for k-Induction-vor.pdf.jpgYu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo Stratified Certification for k-InductionKonferenzbeitrag Inproceedings Oct-2022
130Jaroschek, Maximilian ; Kauers, Manuel ; Kovács, Laura Lonely Points in SimplicesArticle Artikel 29-Sep-2022
131Kovacs, Laura Getting Saturated with InductionPresentation Vortrag29-Sep-2022
132Kovacs, Laura Algebra-Based Analysis of Polynomial Probabilistic ProgramsPresentation Vortrag22-Sep-2022
133Eisenhofer, Clemens User-Propagation for Custom Theories in SMT SolvingPresentation Vortrag14-Sep-2022
134Karimi, Ahmad ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Kovács, Laura ; Bartocci, Ezio ; Bura, Efstathia Distribution Estimation for Probabilistic LoopsInproceedings Konferenzbeitrag 12-Sep-2022
135Rath, Jakob ; Bjørner, Nikolaj ; Kovacs, Laura ; Nutz, Alexander ; Sagiv, Mooly PolySAT - a word-level solver for large bitvectorsPresentation Vortrag1-Sep-2022
136Pagel, Jens ; Zuleger, Florian Strong-separation Logic (Extended Version)Article Artikel Sep-2022
137Hajdu-2022-The Vampire Approach to Induction short paper-vor.pdf.jpgHajdu, Marton ; Kovacs, Laura ; Rawson, Michael ; Voronkov, Andrei The Vampire Approach to Induction (short paper)Inproceedings Konferenzbeitrag 31-Aug-2022
138Rawson-2022-Reuse of Introduced Symbols in Automatic Theorem Provers-vor.pdf.jpgRawson, Michael ; Suda, Martin ; Hozzova, Petra ; Reger, Giles Reuse of Introduced Symbols in Automatic Theorem ProversInproceedings Konferenzbeitrag 31-Aug-2022
139Kenison, George On the Skolem Problem for Reversible SequencesInproceedings Konferenzbeitrag22-Aug-2022
140Bjorner-2022-User-Propagation for Custom Theories in SMT Solving-vor.pdf.jpgBjorner, Nikolaj ; Eisenhofer, Clemens ; Kovacs, Laura User-Propagation for Custom Theories in SMT SolvingInproceedings Konferenzbeitrag 14-Aug-2022