Weissenbacher, Georg

Network Lab View Statistics Email Alert RSS Feed

Name Card

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

Own Publications Eigene Publikationen

Filter:
Access Type:  Open Access

Results 1-5 of 5 (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
413_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
5Tabaei Befrouei Mitra - 2016 - Abstraction and mining of traces to explain...pdf.jpgTabaei Befrouei, Mitra ; Wang, Chao ; Weissenbacher, Georg Abstraction and mining of traces to explain concurrency bugsArticle Artikel Oct-2016

Contributing Publications Mitbeteiligte Publikationen

Filter:
Access Type:  Open Access

Results 1-10 of 10 (Search time: 0.014 seconds).

PreviewAuthor(s)TitleTypeIssue 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
8Tabaei Befrouei Mitra - 2016 - Effective error explanation techniques for...pdf.jpgTabaei Befrouei, Mitra Effective error explanation techniques for concurrent softwareThesis Hochschulschrift 2016
9Wallner Johannes - 2014 - Complexity results and algorithms for argumentation...pdf.jpgWallner, Johannes Complexity results and algorithms for argumentation : Dung's frameworks and beyondThesis Hochschulschrift 2014
10Birgmeier Johannes - 2013 - Software verification with IC3 via abstraction and...pdf.jpgBirgmeier, Johannes Software verification with IC3 via abstraction and interpolationThesis Hochschulschrift 2013