Georg Weissenbacher

74 papers A* 6A 8B 17C 2Misc 1Journal 24Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Finding ∀∃ Hyperbugs using Symbolic Execution. CoRR Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher
2025	J	`jnl`	Symbolic execution for refuting ∀∃ hyperproperties. Acta Informatica Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher
2024	C	`conf`	Differential Property Monitoring for Backdoor Detection. ICFEM Otto Brechelmacher, Dejan Nickovic, Tobias Nießen, Sarah Sallinger, Georg Weissenbacher
2024	J	`jnl`	Finding ∀∃ Hyperbugs using Symbolic Execution. Proc. ACM Program. Lang. Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher
2024	A	`conf`	Statistical Profiling of Micro-Architectural Traces and Machine Learning for Spectre Detection: A Systematic Evaluation. DATE Mai Al-Zu'bi, Georg Weissenbacher
2024	J	`jnl`	Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification. Formal Methods Syst. Des. Thomas Pani, Georg Weissenbacher, Florian Zuleger
2024	—	`conf`	Verifying Global Two-Safety Properties in Neural Networks with Confidence. CAV (2) Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
2024	J	`jnl`	Verifying Global Two-Safety Properties in Neural Networks with Confidence. CoRR Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
2023	B	`conf`	A Formalization of Heisenbugs and Their Causes. SEFM Sarah Sallinger, Georg Weissenbacher, Florian Zuleger
2021	A	`conf`	Bounded Model Checking of Speculative Non-Interference. ICCAD Emmanuel Pescosta, Georg Weissenbacher, Florian Zuleger
2021	B	`conf`	Model Checking AUTOSAR Components with CBMC. FMCAD Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr
2021	J	`jnl`	Mutation testing with hyperproperties. Softw. Syst. Model. Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
2021	J	`jnl`	Preface of the special issue on the Conference on Formal Methods in Computer-Aided Design 2017. Formal Methods Syst. Des. Daryl Stewart, Georg Weissenbacher
2021	J	`jnl`	Preface of the special issue on the conference on computer-aided verification 2018. Formal Methods Syst. Des. Hana Chockler, Georg Weissenbacher
2021	J	`jnl`	Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. Formal Methods Syst. Des. Thomas Pani, Georg Weissenbacher, Florian Zuleger
2020	J	`jnl`	Extracting safe thread schedules from incomplete model checking results. Int. J. Softw. Tools Technol. Transf. Patrick Metzler, Neeraj Suri, Georg Weissenbacher
2020	B	`conf`	Language Inclusion for Finite Prime Event Structures. VMCAI Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher
2020	A	`conf`	Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness. SAT Matthias Schlaipfer, Friedrich Slivovsky, Georg Weissenbacher, Florian Zuleger
2020	B	`conf`	RAT Elimination. LPAR Adrián Rebola-Pardo, Georg Weissenbacher
2020	B	`conf`	Thread-modular Counter Abstraction for Parameterized Program Safety. FMCAD Thomas Pani, Georg Weissenbacher, Florian Zuleger
2019	—	`conf`	Extracting Safe Thread Schedules from Incomplete Model Checking Results. SPIN Patrick Metzler, Neeraj Suri, Georg Weissenbacher
2019	J	`jnl`	Language Inclusion for Finite Prime Event Structures. CoRR Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher
2019	A*	`conf`	Model-Based Diagnosis with Multiple Observations. IJCAI Alexey Ignatiev, António Morgado, Georg Weissenbacher, João Marques-Silva
2019	J	`jnl`	Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search. ACM Trans. Embed. Comput. Syst. Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
2019	B	`conf`	Mutation Testing with Hyperproperties. SEFM Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
2019	J	`jnl`	Mutation Testing with Hyperproperties. CoRR Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
2018	A	`conf`	A Separation Logic with Data: Small Models and Automation. IJCAR Jens Katelaan, Dejan Jovanovic, Georg Weissenbacher
2018	—	`ed.`	Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I CAV (1) Hana Chockler, Georg Weissenbacher
2018	—	`ed.`	Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II CAV (2) Hana Chockler, Georg Weissenbacher
2018	J	`jnl`	Randomized testing of distributed systems with probabilistic guarantees. Proc. ACM Program. Lang. Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher
2018	B	`conf`	Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms. FMCAD Thomas Pani, Georg Weissenbacher, Florian Zuleger
2017	B	`ed.`	2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017 FMCAD Daryl Stewart, Georg Weissenbacher
2017	B	`conf`	Dynamic Reductions for Model Checking Concurrent Software. VMCAI Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher
2017	C	`conf`	Model-based, mutation-driven test case generation via heuristic-guided branching search. MEMOCODE Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
2017	J	`jnl`	Preface of the Special Issue in Memoriam Helmut Veith. Formal Methods Syst. Des. Georg Gottlob, Thomas A. Henzinger, Georg Weissenbacher
2016	J	`jnl`	Abstraction and mining of traces to explain concurrency bugs. Formal Methods Syst. Des. Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher
2016	J	`jnl`	Dynamic Reductions for Model Checking Concurrent Software. CoRR Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher
2016	B	`conf`	Error Invariants for Concurrent Traces. FM Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies
2016	J	`jnl`	Error Invariants for Concurrent Traces. CoRR Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies
2016	J	`jnl`	Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs. J. Autom. Reason. Matthias Schlaipfer, Georg Weissenbacher
2016	A	`conf`	Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution). TACAS Henning Günther, Alfons Laarman, Georg Weissenbacher
2015	J	`jnl`	Boolean Satisfiability Solvers and Their Applications in Model Checking. Proc. IEEE Yakir Vizel, Georg Weissenbacher, Sharad Malik
2015	B	`conf`	Proving Safety with Trace Automata and Bounded Model Checking. FM Daniel Kroening, Matt Lewis, Georg Weissenbacher
2015	B	`conf`	The FMCAD 2015 Graduate Student Forum. FMCAD Georg Weissenbacher
2015	J	`jnl`	Under-approximating loops in C programs for fast counterexample detection. Formal Methods Syst. Des. Daniel Kroening, Matt Lewis, Georg Weissenbacher
2014	B	`conf`	Abstraction and Mining of Traces to Explain Concurrency Bugs. RV Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher
2014	—	`ch.`	Boolean Satisfiability: Solvers and Extensions. Software Systems Safety Georg Weissenbacher, Pramod Subramanyan, Sharad Malik
2014	A*	`conf`	Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR). CAV Johannes Birgmeier, Aaron R. Bradley, Georg Weissenbacher
2014	—	`conf`	Incremental bounded software model checking. SPIN Henning Günther, Georg Weissenbacher
2014	J	`jnl`	Proving Safety with Trace Automata and Bounded Model Checking. CoRR Daniel Kroening, Matt Lewis, Georg Weissenbacher
2014	—	`conf`	Reduction of Resolution Refutations and Interpolants via Subsumption. Haifa Verification Conference Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher
2014	A	`conf`	Silicon fault diagnosis using sequence interpolation with backbones. ICCAD Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik
2013	—	`conf`	Advanced SAT Techniques for Abstract Argumentation. CLIMA Johannes Peter Wallner, Georg Weissenbacher, Stefan Woltran
2013	A*	`conf`	Under-Approximating Loops in C Programs for Fast Counterexample Detection. CAV Daniel Kroening, Matt Lewis, Georg Weissenbacher
2012	—	`ch.`	Boolean Satisfiability Solvers: Techniques and Extensions. Software Safety and Security Georg Weissenbacher, Sharad Malik
2012	—	`conf`	Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon Validation. Haifa Verification Conference Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik
2012	A	`conf`	Interpolant Strength Revisited. SAT Georg Weissenbacher
2012	B	`conf`	Parallel Assertions for Architectures with Weak Memory Models. ATVA Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik
2012	A	`conf`	Wolverine: Battling Bugs with Interpolants - (Competition Contribution). TACAS Georg Weissenbacher, Daniel Kroening, Sharad Malik
2011	A*	`conf`	Interpolation-Based Software Verification with Wolverine. CAV Daniel Kroening, Georg Weissenbacher
2011	B	`conf`	Post-silicon fault localisation using maximum satisfiability and backbones. FMCAD Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik
2011	—	`conf`	SAT-based techniques for determining backbones for post-silicon fault localisation. HLDVT Charlie Shucheng Zhu, Georg Weissenbacher, Divjyot Sethi, Sharad Malik
2010	B	`conf`	Interpolant Strength. VMCAI Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher
2010	—	`—`	Program analysis with interpolants. Georg Weissenbacher
2010	J	`jnl`	Verification and falsification of programs with loops using predicate abstraction. Formal Aspects Comput. Daniel Kroening, Georg Weissenbacher
2009	—	`conf`	An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions. Haifa Verification Conference Daniel Kroening, Georg Weissenbacher
2009	—	`conf`	Mutation-Based Test Case Generation for Simulink Models. FMCO Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher
2008	J	`jnl`	A Survey of Automated Techniques for Formal Software Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Vijay Victor D'Silva, Daniel Kroening, Georg Weissenbacher
2007	—	`conf`	A Complete Bounded Model Checking Algorithm for Pushdown Systems. Haifa Verification Conference Gérard Basler, Daniel Kroening, Georg Weissenbacher
2007	B	`conf`	Lifting Propositional Interpolants to the Word-Level. FMCAD Daniel Kroening, Georg Weissenbacher
2007	A*	`conf`	Model checking concurrent linux device drivers. ASE Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher
2007	—	`conf`	SAT-Based Summarization for Boolean Programs. SPIN Gérard Basler, Daniel Kroening, Georg Weissenbacher
2006	A*	`conf`	Counterexamples with Loops for Predicate Abstraction. CAV Daniel Kroening, Georg Weissenbacher
2005	Misc	`conf`	A Pattern for Formal Verification of Properties of Large Systems. EuroPLoP Wolfgang Herzner, Georg Weissenbacher