Forschungsbereich Formal Methods in Systems Engineering

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
 


Results 1-20 of 489 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Bjørner, Nikolaj ; Eisenhofer, Clemens ; Kovács, Laura ; Dragoi, Cezara ; Emmi, Michael ; Wang, Jingbo Satisfiability Modulo Custom Theories in Z3Inproceedings Konferenzbeitrag Jan-2023
2Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei ; Raskin, Jean-Francois ; Chatterjee, Krishnendu ; Doyen, Laurent ; Majumdar, Rupak Getting Saturated with InductionBook Contribution Buchbeitrag29-Dec-2022
3Kovacs, Laura First-Order Theorem Proving and VampirePresentation Vortrag6-Dec-2022
4Rawson, Michael Linear Refutation and Clause SplittingPreprint Preprint5-Dec-2022
5Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Kovacs, Laura This Is the Moment for Probabilistic LoopsArticle Artikel 31-Oct-2022
6Kovacs, Laura Symbolic Computation for Software AnalysisPresentation Vortrag25-Oct-2022
7Varonka, Anton ; Kovacs, Laura On the Undecidability of Loop AnalysisPresentation Vortrag12-Oct-2022
8Kovacs, Laura First-Order Theorem Proving - Theory and PracticePresentation Vortrag10-Oct-2022
9Kaivola-2022-Timed Causal Fanin Analysis for Symbolic Circuit Simulation-vor.pdf.jpgKaivola, Roope ; Bar Kama, Neta ; Griggio, Alberto ; Rungta, Neha Timed Causal Fanin Analysis for Symbolic Circuit SimulationKonferenzbeitrag Inproceedings Oct-2022
10Nair-2022-Proof-StitchProof Combination for Divide-and-Conquer SAT Solvers-vor.pdf.jpgNair, Abhishek ; Chattopadhyay, Saranyu ; Wu, Haoze ; Ozdemir, Alex ; Barrett, Clark ; Griggio, Alberto ; Rungta, Neha Proof-Stitch_Proof Combination for Divide-and-Conquer SAT SolversKonferenzbeitrag Inproceedings Oct-2022
11Lohn-2022-Compact Symmetry Breaking for Tournaments-vor.pdf.jpgLohn, Evan ; Lambert, Chris ; Heule, Marijn ; Griggio, Alberto ; Rungta, Neha Compact Symmetry Breaking for TournamentsKonferenzbeitrag Inproceedings Oct-2022
12Preiner-2022-The FMCAD 2022 Student Forum-vor.pdf.jpgPreiner, Mathias ; Griggio, Alberto ; Rungta, Neha The FMCAD 2022 Student ForumKonferenzbeitrag Inproceedings Oct-2022
13Amir-2022-Verification-Aided Deep Ensemble Selection-vor.pdf.jpgAmir, Guy ; Zelazny, Tom ; Katz, Guy ; Schapira, Michael ; Griggio, Alberto ; Rungta, Neha Verification-Aided Deep Ensemble SelectionKonferenzbeitrag Inproceedings Oct-2022
14Andronick-2022-The seL4 Verification Journey How Have the Challenges and ...-vor.pdf.jpgAndronick, June ; Griggio, Alberto ; Rungta, Neha The seL4 Verification Journey: How Have the Challenges and Opportunities EvolvedInproceedings Konferenzbeitrag Oct-2022
15Priya-2022-Bounded Model Checking for LLVM-vor.pdf.jpgPriya, Siddharth ; Su, Yusen ; Bao, Yuyan ; Zhou,Xiang ; Vizel, Yakir ; Gurfinkel, Arie ; Griggio, Alberto ; Rungta, Neha Bounded Model Checking for LLVMKonferenzbeitrag Inproceedings Oct-2022
16Raghunathan-2022-ACORN Network Control Plane Abstraction using Route Nond...-vor.pdf.jpgRaghunathan, Divya ; Beckett, Ryan ; Gupta, Aarti ; Walker, David ; Griggio, Alberto ; Rungta, Neha ACORN Network Control Plane Abstraction using Route NondeterminismKonferenzbeitrag Inproceedings Oct-2022
17Hjort-2022-On Applying Model Checking in Formal Verification-vor.pdf.jpgHjort, Håkan ; Griggio, Alberto ; Rungta, Neha On Applying Model Checking in Formal VerificationKonferenzbeitrag Inproceedings Oct-2022
18Walter-2022-Enumerative Data Types with Constraints-vor.pdf.jpgWalter, Andrew T. ; Greve, David ; Manolios, Panagiotis ; Griggio, Alberto ; Rungta, Neha Enumerative Data Types with ConstraintsKonferenzbeitrag Inproceedings Oct-2022
19Bucev-2022-Formally Verified Quite OK Image Format-vor.pdf.jpgBucev, Mario ; Kunčak, Viktor ; Griggio, Alberto ; Rungta, Neha Formally Verified Quite OK Image FormatInproceedings Konferenzbeitrag Oct-2022
20Godbole-2022-Automated Conversion of Axiomatic to Operational Models Theo...-vor.pdf.jpgGodbole, Adwait ; Manerkar, Yatin A. ; Seshia, Sanjit A. ; Griggio, Alberto ; Rungta, Neha Automated Conversion of Axiomatic to Operational Models: Theory and PracticeInproceedings Konferenzbeitrag Oct-2022