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 81-100 of 565 (Search time: 0.005 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
81Kovacs, Laura Symbolic Computation for Software AnalysisPresentation Vortrag25-Oct-2022
82Varonka, Anton ; Kovacs, Laura On the Undecidability of Loop AnalysisPresentation Vortrag12-Oct-2022
83Kovacs, Laura First-Order Theorem Proving - Theory and PracticePresentation Vortrag10-Oct-2022
84Andronick-2022-The seL4 Verification Journey How Have the Challenges and ...-vor.pdf.jpgAndronick, June The seL4 Verification Journey: How Have the Challenges and Opportunities EvolvedKonferenzbeitrag Inproceedings Oct-2022
85Rath-2022-First-Order Subsumption via SAT Solving-vor.pdf.jpgRath, Jakob ; Biere, Armin ; Kovacs, Laura First-Order Subsumption via SAT SolvingKonferenzbeitrag Inproceedings Oct-2022
86Georgiou-2022-The RAPID Software Verification Framework-vor.pdf.jpgGeorgiou, Pamina ; Gleiss, Bernhard ; Bhayat, Ahmed ; Rawson, Michael ; Kovacs, Laura ; Reger, Giles The RAPID Software Verification FrameworkKonferenzbeitrag Inproceedings Oct-2022
87Griggio-2022-Proceedings of the 22nd Conference on Formal Methods in Comp...-vor.pdf.jpgGriggio, Alberto ; Rungta, Neha Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022Proceedings Tagungsband Oct-2022
88Chockler-2022-Why Do Things Go Wrong or RightApplications of Causal Reaso...-vor.pdf.jpgChockler, Hana Why Do Things Go Wrong (or Right)_Applications of Causal Reasoning to VerificationKonferenzbeitrag Inproceedings Oct-2022
89Walter-2022-Enumerative Data Types with Constraints-vor.pdf.jpgWalter, Andrew T. ; Greve, David ; Manolios, Panagiotis Enumerative Data Types with ConstraintsKonferenzbeitrag Inproceedings Oct-2022
90Lohn-2022-Compact Symmetry Breaking for Tournaments-vor.pdf.jpgLohn, Evan ; Lambert, Chris ; Heule, Marijn Compact Symmetry Breaking for TournamentsKonferenzbeitrag Inproceedings Oct-2022
91Vigouroux-2022-BAXMC a CEGAR approach to MaxSAT-vor.pdf.jpgVigouroux, Thomas ; Ene, Cristian ; Monniaux, David ; Mounier, Laurent ; Potet, Marie-Laure BAXMC: a CEGAR approach to Max#SATKonferenzbeitrag Inproceedings Oct-2022
92Yang-2022-INC A Scalable Incremental Weighted Sampler-vor.pdf.jpgYang, Suwei ; Liang, Victor ; Meel, Kuldeep S. INC A Scalable Incremental Weighted SamplerKonferenzbeitrag Inproceedings Oct-2022
93Chen-2022-Reducing NEXP-complete problems to DQBF-vor.pdf.jpgChen, Fa-Hsun ; Huang, Shen-Chang ; Lu, Yu-Cheng ; Tan, Tony Reducing NEXP-complete problems to DQBFKonferenzbeitrag Inproceedings Oct-2022
94Isac-2022-Neural Network Verification with Proof Production-vor.pdf.jpgIsac, Omri ; Barrett, Clark ; Zhang, Min ; Katz, Guy Neural Network Verification with Proof ProductionKonferenzbeitrag Inproceedings Oct-2022
95Noetzli-2022-Reconstructing Fine-Grained Proofs of Rewrites Using a Domai...-vor.pdf.jpgNoetzli, Andres ; Barbosa, Haniel ; Niemetz, Aina ; Preiner, Mathias ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific LanguageKonferenzbeitrag Inproceedings Oct-2022
96Esen-2022-TRICERA Verifying C Programs Using the Theory of Heaps-vor.pdf.jpgEsen, Zafer ; Ruemmer, Philipp TRICERA Verifying C Programs Using the Theory of HeapsInproceedings Konferenzbeitrag Oct-2022
97Blicha-2022-Split Transition Power Abstraction for Unbounded Safety-vor.pdf.jpgBlicha, Martin ; Fedyukovich, Grigory ; Hyvärinen, Antti ; Sharygina, Natasha Split Transition Power Abstraction for Unbounded SafetyInproceedings Konferenzbeitrag Oct-2022
98Raghunathan-2022-ACORN Network Control Plane Abstraction using Route Nond...-vor.pdf.jpgRaghunathan, Divya ; Beckett, Ryan ; Gupta, Aarti ; Walker, David ACORN Network Control Plane Abstraction using Route NondeterminismInproceedings Konferenzbeitrag Oct-2022
99Schultz-2022-Plain and Simple Inductive Invariant Inference for Distribut...-vor.pdf.jpgSchultz, William ; Dardik, Ian ; Tripakis, Stavros Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+Inproceedings Konferenzbeitrag Oct-2022
100Jonsson-2022-Awaiting for Godot Stateless Model Checking that Avoids Exec...-vor.pdf.jpgJonsson, Bengt ; Lång, Magnus ; Sagonas, Konstantinos Awaiting for Godot Stateless Model Checking that Avoids Executions where Nothing HappensInproceedings Konferenzbeitrag Oct-2022