Heisenbugs: Auffindung und Erklärung


Project Acronym Projekt Kurzbezeichnung
Heisenbugs
 
Project Title (de) Projekttitel (de)
Heisenbugs: Auffindung und Erklärung
 
Project Title (en) Projekttitel (en)
Heisenbugs: From Detection to Explanation
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
Grant number Förderkennnummer
VRG11-005
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Ozkan, Burcu Kulahcioglu ; Majumdar, Rupak ; Niksic, Filip ; Befrouei, Mitra Tabaei ; Weissenbacher, Georg Randomized testing of distributed systems with probabilistic guaranteesArtikel Article2018
2Fellner, Andreas ; Krenn, Willibald ; Schlick, Rupert ; Tarrach, Thorsten ; Weissenbacher, Georg Model-based, mutation-driven test case generation via heuristic-guided branching searchKonferenzbeitrag Inproceedings 2017
3Günther, Henning ; Laarman, Alfons ; Sokolova, Ana ; Weissenbacher, Georg Dynamic Reductions for Model Checking Concurrent SoftwareKonferenzbeitrag Inproceedings 2017
4Weissenbacher, Georg Interpolation algorithms and their applications in model checkingPräsentation Presentation2016
5Lewis, Matt ; Kroening, Daniel ; Weissenbacher, Georg Under-approximating loops in C programs for fast counterexample detectionArtikel Article2015
6Vizel, Yakir ; Weissenbacher, Georg ; Malik, Sharad Boolean Satisfiability Solvers and Their Applications in Model CheckingArtikel Article2015
7Günther, Henning ; Weissenbacher, Georg Incremental bounded software model checkingKonferenzbeitrag Inproceedings 2014
8Tabaei Befrouei, Mitra ; Wang, Chao ; Weissenbacher, Georg Abstraction and Mining of Traces to Explain Concurrency BugsKonferenzbeitrag Inproceedings 2014
9Zhu, Charlie Shucheng ; Weissenbacher, Georg ; Malik, Sharad Silicon fault diagnosis using sequence interpolation with backbonesKonferenzbeitrag Inproceedings 2014
10Laarman, Alfons ; Wijs, Anton Partial-Order Reduction for Multi-core LTL Model CheckingKonferenzbeitrag Inproceedings 2014
11Leue, Stefan ; Befrouei, Mitra Tabaei Mining Sequential Patterns to Explain Concurrent CounterexamplesKonferenzbeitrag Inproceedings 2013
12Kroening, Daniel ; Lewis, Matt ; Weissenbacher, Georg Under-Approximating Loops in C Programs for Fast Counterexample DetectionKonferenzbeitrag Inproceedings 2013
13Schwartz-Narbonne, Daniel ; Weissenbacher, Georg ; Malik, Sharad Parallel Assertions for Architectures with Weak Memory ModelsKonferenzbeitrag Inproceedings 2012