Jörg Brauer

	2012
22		Jörg Brauer, Axel Simon: Inferring Definite Counterexamples through Under-Approximation. NASA Formal Methods 2012: 54-69
	2011
21		Jörg Brauer, Andy King, Jael Kriener: Existential Quantification as Incremental SAT. CAV 2011: 191-207
20		Thomas Reinbacher, Jörg Brauer: Precise control flow reconstruction using boolean logic. EMSOFT 2011: 117-126
19		Jörg Brauer, Andy King: Transfer Function Synthesis without Quantifier Elimination. ESOP 2011: 97-115
18		Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski: Past Time LTL Runtime Verification for Microcontroller Binary Code. FMICS 2011: 37-51
17		Jörg Brauer, Andy King: Approximate Quantifier Elimination for Propositional Boolean Formulae. NASA Formal Methods 2011: 73-88
16		Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski: Automated Test-Trace Inspection for Microcontroller Binary Code. RV 2011: 239-244
15		Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski: On-The-Fly Path Reduction. Electr. Notes Theor. Comput. Sci. 274: 3-16 (2011)
14		Bastian Schlich, Jörg Brauer, Stefan Kowalewski: Application of static analyses for state-space reduction to the microcontroller binary code. Sci. Comput. Program. 76(2): 100-118 (2011)
	2010
13		Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski: Synthesizing simulators for model checking microcontroller binary code. DDECS 2010: 313-316
12		Jörg Brauer, Andy King, Stefan Kowalewski: Range Analysis of Microcontroller Code Using Bit-Level Congruences. FMICS 2010: 82-98
11		Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich: Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. FORMS/FORMAT 2010: 237-245
10		Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski: Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. MEMICS 2010: 101-108
9		Jörg Brauer, Andy King: Automatic Abstraction for Intervals Using Boolean Formulae. SAS 2010: 167-183
8		Jörg Brauer, Thomas Noll, Bastian Schlich: Interval analysis of microcontroller code using abstract interpretation of hardware and software. SCOPES 2010: 3
7		Dominique Gückel, Jörg Brauer, Stefan Kowalewski: A system for synthesizing abstraction-enabled simulators for binary code verification. SIES 2010: 118-127
	2009
6		Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy: Reduction of Interrupt Handler Executions for Model Checking Embedded Software. Haifa Verification Conference 2009: 5-20
5		Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich: Refining assembly code static analysis for the Intel MCS-51 microcontroller. SIES 2009: 161-170
4		Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski: Stack bounds analysis for microcontroller assembly code. WESS 2009
3		Jörg Brauer, Bastian Schlich, Stefan Kowalewski: Parallel and Distributed Invariant Checking of Microcontroller Software. Electr. Notes Theor. Comput. Sci. 254: 45-63 (2009)
2		Jörg Brauer, Ralf Huuck, Bastian Schlich: Interprocedural Pointer Analysis in Goanna. Electr. Notes Theor. Comput. Sci. 254: 65-83 (2009)
	2008
1		Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer: Goanna: Syntactic Software Model Checking. ATVA 2008: 216-221

Coauthor Index

1	Sebastian Biallas	[11] [15]
2	Lucas Brutschy	[6]
3	Ansgar Fehnker	[1]
4	Dominique Gückel	[7] [13] [15]
5	Martin Horauer	[5] [10] [18]
6	Ralf Huuck	[1] [2]
7	Andy King	[9] [12] [17] [19] [21]
8	Stefan Kowalewski	[3] [4] [7] [10] [11] [12] [13] [14] [15] [16] [18]
9	Jael Kriener	[21]
10	Thomas Noll	[6] [8]
11	Thomas Reinbacher	[4] [5] [10] [16] [18] [20]
12	Daniel Schachinger	[16]
13	Bastian Schlich	[2] [3] [4] [5] [6] [8] [11] [13] [14]
14	Sean Seefried	[1]
15	Axel Simon	[22]
16	Andreas Steininger	[10] [16] [18]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page