Stefan Staber

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j4		Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem: Finding and fixing faults. J. Comput. Syst. Sci. 78(2): 441-460 (2012)
	2010
j3		Andreas Griesmayer, Stefan Staber, Roderick Bloem: Fault localization using a model checker. Softw. Test., Verif. Reliab. 20(2): 149-173 (2010)
	2008
j2		Görschwin Fey, Stefan Staber, Roderick Bloem, Rolf Drechsler: Automatic Fault Localization for Property Checking. IEEE Trans. on CAD of Integrated Circuits and Systems 27(6): 1138-1149 (2008)
	2007
j1		Andreas Griesmayer, Stefan Staber, Roderick Bloem: Automated Fault Localization for C Programs. Electr. Notes Theor. Comput. Sci. 174(4): 95-111 (2007)
c3		Stefan Staber, Roderick Bloem: Fault Localization and Correction with QBF. SAT 2007: 355-368
	2006
c2		Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler: Automatic Fault Localization for Property Checking. Haifa Verification Conference 2006: 50-64
	2005
c1		Stefan Staber, Barbara Jobstmann, Roderick Bloem: Finding and Fixing Faults. CHARME 2005: 35-49

Coauthor Index

1	Roderick Bloem (Roderick Paul Bloem)	[j4] [j3] [j2] [j1] [c3] [c2] [c1]
2	Rolf Drechsler	[j2] [c2]
3	Görschwin Fey	[j2] [c2]
4	Andreas Griesmayer	[j4] [j3] [j1]
5	Barbara Jobstmann	[j4] [c1]

Last update Fri May 24 05:29:22 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page