Prefix title Titel (vorangestellt)
Univ.Prof. Dipl.-Ing.
 
Full name Familienname, Vorname
Weissenbacher, Georg
 
Postfix title Titel (nachgestellt)
D.Phil.
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Thread-modular Counter Abstraction for Parameterized Program SafetyKonferenzbeitrag Inproceedings 2020
213_Thread-modular Counter Abstraction for Parameterized Program Safety.pdf.jpgPani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian ; Ivrii, Alexander ; Strichman, Ofer Thread-modular Counter Abstraction for Parameterized Program SafetyKonferenzbeitrag Inproceedings 2020
3Zhu, Charlie Shucheng ; Weissenbacher, Georg ; Malik, Sharad Silicon fault diagnosis using sequence interpolation with backbonesKonferenzbeitrag Inproceedings 2014
4Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free AlgorithmsKonferenzbeitrag Inproceedings 2018
5Rebola Pardo, Adrian ; Weissenbacher, Georg ; Kovacs, Laura ; Albert, Elvira RAT EliminationKonferenzbeitrag Inproceedings 2020
6Lewis, Matt ; Kroening, Daniel ; Weissenbacher, Georg Proving Safety with Trace Automata and Bounded Model CheckingKonferenzbeitrag Inproceedings 2015
7Schwartz-Narbonne, Daniel ; Weissenbacher, Georg ; Malik, Sharad Parallel Assertions for Architectures with Weak Memory ModelsKonferenzbeitrag Inproceedings 2012
8Fellner, Andreas ; Befrouei, Mitra Tabaei ; Weissenbacher, Georg Mutation Testing with HyperpropertiesKonferenzbeitrag Inproceedings 2019
9Schlaipfer, Matthias ; Slivovsky, Friedrich ; Weissenbacher, Georg ; Zuleger, Florian Multi-linear Strategy Extraction for QBF Expansion Proofs via Local SoundnessKonferenzbeitrag Inproceedings 2020
10Fellner, Andreas ; Krenn, Willibald ; Schlick, Rupert ; Tarrach, Thorsten ; Weissenbacher, Georg Model-based, mutation-driven test case generation via heuristic-guided branching searchKonferenzbeitrag Inproceedings 2017
11Ignatiev, Alexey ; Morgado, António ; Marques-Silva, João ; Weissenbacher, Georg Model-Based Diagnosis with Multiple ObservationsKonferenzbeitrag Inproceedings 2019
12Durand-2021-Model Checking AUTOSAR Components with CBMC-vor.pdf.jpgDurand, Timothee ; Fazekas, Katalin ; Weissenbacher, Georg ; Zwirchmayr, Jakob Model Checking AUTOSAR Components with CBMCInproceedings Oct-2021
13Durand, Timothee ; Fazekas, Katalin ; Weissenbacher, Georg ; Zwirchmayr, Jakob ; Piskac, Ruzica ; Whalen, Michael W. Model Checking AUTOSAR Components with CBMCKonferenzbeitrag Inproceedings 2021
14Fellner, Andreas ; Tarrach, Thorsten ; Weissenbacher, Georg Language Inclusion for Finite Prime Event StructuresKonferenzbeitrag Inproceedings 2020
15Weissenbacher, Georg Interpolant Strength RevisitedKonferenzbeitrag Inproceedings 2012
16Günther, Henning ; Weissenbacher, Georg Incremental bounded software model checkingKonferenzbeitrag Inproceedings 2014
17Metzler, Patrick ; Suri, Neeraj ; Weissenbacher, Georg Extracting Safe Thread Schedules from Incomplete Model Checking ResultsKonferenzbeitrag Inproceedings 2019
18Weissenbacher, Georg ; Bartocci, Ezio ; Majumdar, Rupak Explaining HeisenbugsKonferenzbeitrag Inproceedings2015
19Holzer, Andreas ; Schwartz-Narbonne, Daniel ; Tabaei Befrouei, Mitra ; Weissenbacher, Georg ; Wies, Thomas Error Invariants for Concurrent TracesKonferenzbeitrag Inproceedings 2016
20Günther, Henning ; Laarman, Alfons ; Sokolova, Ana ; Weissenbacher, Georg Dynamic Reductions for Model Checking Concurrent SoftwareKonferenzbeitrag Inproceedings 2017

Results 1-14 of 14 (Search time: 0.013 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Durand Timothee - 2020 - Model Checking Automotive Software Components.pdf.jpgDurand, Timothée Verifying automotive software components using C model checkersThesis Hochschulschrift 2020
2Altmanninger Johannes - 2019 - A Tiny tweak to proof generation in miniSat-based...pdf.jpgAltmanninger, Johannes A Tiny tweak to proof generation in miniSat-based SAT solvers & a complete and efficient DRAT proof checkerThesis Hochschulschrift 2019
3Fellner Andreas - 2021 - Strong model-based mutation testing.pdf.jpgFellner, Andreas Starkes modellbasiertes MutationstestenThesis Hochschulschrift 2021
4Pescosta Emmanuel - 2020 - SpecBMC - A Bounded Model Checker for Speculative...pdf.jpgPescosta, Emmanuel SpecBMC : bounded model checker for speculative non-interferenceThesis Hochschulschrift 2020
5Birgmeier Johannes - 2013 - Software verification with IC3 via abstraction and...pdf.jpgBirgmeier, Johannes Software verification with IC3 via abstraction and interpolationThesis Hochschulschrift 2013
6Stewart, Daryl ; Weissenbacher, Georg Proceedings of Formal Methods in Computer Aided Design, FMCAD 2017Konferenzband Proceedings2017
7Rebola Pardo Adrian - 2022 - Interference-based proofs in SAT solving.pdf.jpgRebola Pardo, Adrian Interference-based proofs in SAT solvingThesis Hochschulschrift 2022
8Gishchenko, Ilya ; Maffei, Matteo ; Schneidewind, Clara ; Weissenbacher, Georg ; Chockler, Hana Foundations and Tools for the Static Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2018
9Krulj Stefan - 2020 - A decision procedure for SLData - a separation logic with...pdf.jpgKrulj, Stefan Eine Entscheidungsprozedur für Separation-Logic mit DatenThesis Hochschulschrift 2020
10Tabaei Befrouei Mitra - 2016 - Effective error explanation techniques for...pdf.jpgTabaei Befrouei, Mitra Effective error explanation techniques for concurrent softwareThesis Hochschulschrift 2016
11Chockler, Hana ; Weissenbacher, Georg Computer Aided VerificationBuch Book 2018
12Chockler, Hana ; Weissenbacher, Georg Computer Aided VerificationBuch Book 2018
13Wallner Johannes - 2014 - Complexity results and algorithms for argumentation...pdf.jpgWallner, Johannes Complexity results and algorithms for argumentation : Dung's frameworks and beyondThesis Hochschulschrift 2014
14Matak Martin - 2019 - Angriffe gegen Neuronale Netzwerke.pdf.jpgMatak, Martin Angriffe gegen Neuronale NetzwerkeThesis Hochschulschrift 2019



Results 1-6 of 6 (Search time: 0.001 seconds).

TitleP-Investigator
Abstraction-based Parameterized TLA CheckerWeissenbacher, Georg
AutoTestWeissenbacher, Georg
Bit-level Accurate Reasoning and InterpolationWeissenbacher, Georg
Heisenbugs: Auffindung und ErklärungWeissenbacher, Georg
LogiCs-ScholarshipsWeissenbacher, Georg
Tools for Concurrent and distributed SystemsWeissenbacher, Georg