Name Card

Full name Familienname, Vorname
Weissenbacher, Georg
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Niessen-2024-Finding counterexamples to hyperproperties-am.pdf.jpgNießen, Tobias ; Weissenbacher, Georg Finding counterexamples to ∀∃ hyperpropertiesPresentation Vortrag 16-Jan-2024
2Sallinger, Sarah ; Weissenbacher, Georg ; Zuleger, Florian A Formalization of Heisenbugs and Their CausesInproceedings Konferenzbeitrag 31-Oct-2023
3Durand-2021-Model Checking AUTOSAR Components with CBMC-vor.pdf.jpgDurand, Timothee ; Fazekas, Katalin ; Weissenbacher, Georg ; Zwirchmayr, Jakob Model Checking AUTOSAR Components with CBMCInproceedings Konferenzbeitrag Oct-2021
4Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Rely-guarantee bound analysis of parameterized concurrent shared-memory programsArtikel Article 2021
5Fellner, Andreas ; Tabaei Befrouei, Mitra ; Weissenbacher, Georg Mutation testing with hyperpropertiesArtikel Article 2021
6Chockler, Hana ; Weissenbacher, Georg Preface of the special issue on the conference on computer-aided verification 2018Artikel Article2021
7Pescosta, Emmanuel ; Weissenbacher, Georg ; Zuleger, Florian Bounded Model Checking of Speculative Non-InterferenceKonferenzbeitrag Inproceedings 2021
8Schlaipfer, Matthias ; Slivovsky, Friedrich ; Weissenbacher, Georg ; Zuleger, Florian Multi-linear Strategy Extraction for QBF Expansion Proofs via Local SoundnessKonferenzbeitrag Inproceedings 2020
9Fellner, Andreas ; Tarrach, Thorsten ; Weissenbacher, Georg Language Inclusion for Finite Prime Event StructuresKonferenzbeitrag Inproceedings 2020
10Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Thread-modular Counter Abstraction for Parameterized Program SafetyKonferenzbeitrag Inproceedings 2020
11Metzler, Patrick ; Suri, Neeraj ; Weissenbacher, Georg Extracting safe thread schedules from incomplete model checking resultsArtikel Article 2020
12Stewart, Daryl ; Weissenbacher, Georg Preface of the Special Issue on the Conference on Formal Methods in Computer-Aided Design 2017Artikel Article2020
13Rebola Pardo, Adrian ; Weissenbacher, Georg RAT EliminationKonferenzbeitrag Inproceedings 2020
1413_Thread-modular Counter Abstraction for Parameterized Program Safety.pdf.jpgPani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Thread-modular Counter Abstraction for Parameterized Program SafetyKonferenzbeitrag Inproceedings 2020
15Metzler, Patrick ; Suri, Neeraj ; Weissenbacher, Georg Extracting Safe Thread Schedules from Incomplete Model Checking ResultsKonferenzbeitrag Inproceedings 2019
16Ignatiev, Alexey ; Morgado, António ; Marques-Silva, João ; Weissenbacher, Georg Model-Based Diagnosis with Multiple ObservationsKonferenzbeitrag Inproceedings 2019
17Fellner, Andreas ; Krenn, Willibald ; Schlick, Rupert ; Tarrach, Thorsten ; Weissenbacher, Georg Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching SearchArtikel Article 2019
18Fellner, Andreas ; Befrouei, Mitra Tabaei ; Weissenbacher, Georg Mutation Testing with HyperpropertiesKonferenzbeitrag Inproceedings 2019
19Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free AlgorithmsKonferenzbeitrag Inproceedings 2018
20Pagel, Jens ; Jovanovic, Dejan ; Weissenbacher, Georg A Separation Logic with Data: Small Models and AutomationKonferenzbeitrag Inproceedings 2018

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Fellner Andreas - 2021 - Starkes modellbasiertes Mutationstesten.pdf.jpgFellner, Andreas Starkes modellbasiertes MutationstestenThesis Hochschulschrift 2021
2Rebola-Pardo Adrian - 2021 - Interference-based proofs in SAT solving.pdf.jpgRebola-Pardo, Adrián Interference-based proofs in SAT solvingThesis Hochschulschrift 2021
3Pescosta Emmanuel - 2020 - SpecBMC bounded model checker for speculative...pdf.jpgPescosta, Emmanuel SpecBMC : bounded model checker for speculative non-interferenceThesis Hochschulschrift 2020
4Krulj Stefan - 2020 - Eine Entscheidungsprozedur fuer Separation-Logic mit Daten.pdf.jpgKrulj, Stefan Eine Entscheidungsprozedur für Separation-Logic mit DatenThesis Hochschulschrift 2020
5Durand Timothee - 2020 - Verifying automotive software components using C model...pdf.jpgDurand, Timothée Verifying automotive software components using C model checkersThesis Hochschulschrift 2020
6Matak Martin - 2019 - Angriffe gegen Neuronale Netzwerke.pdf.jpgMatak, Martin Angriffe gegen Neuronale NetzwerkeThesis Hochschulschrift 2019
7Altmanninger 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
8Gishchenko, Ilya ; Maffei, Matteo ; Schneidewind, Clara Foundations and Tools for the Static Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2018
9Kong, Hui ; Bartocci, Ezio ; Henzinger, Thomas A. Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier TubesKonferenzbeitrag Inproceedings 2018
10Chockler, Hana ; Weissenbacher, Georg Computer Aided VerificationBuch Book 2018
11Chockler, Hana ; Weissenbacher, Georg Computer Aided VerificationBuch Book 2018
12Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Roeck, Franz A Counting Semantics for Monitoring LTL Specifications over Finite TracesKonferenzbeitrag Inproceedings 2018
13Stewart, Daryl ; Weissenbacher, Georg Proceedings of Formal Methods in Computer Aided Design, FMCAD 2017Konferenzband Proceedings2017
14Tabaei Befrouei Mitra - 2016 - Effective error explanation techniques for...pdf.jpgTabaei Befrouei, Mitra Effective error explanation techniques for concurrent softwareThesis Hochschulschrift 2016
15Wallner Johannes - 2014 - Complexity results and algorithms for argumentation...pdf.jpgWallner, Johannes Complexity results and algorithms for argumentation : Dung's frameworks and beyondThesis Hochschulschrift 2014
16Birgmeier Johannes - 2013 - Software verification with IC3 via abstraction and...pdf.jpgBirgmeier, Johannes Software verification with IC3 via abstraction and interpolationThesis Hochschulschrift 2013