Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jörg Brauer" ( http://dblp.L3S.de/Authors/Jörg_Brauer )

  Author page on DBLP  Author page in RDF  Community of Jörg Brauer in ASPL-2

Publication years (Num. hits)
2008 (1) 2009 (5) 2010 (7) 2011 (8) 2012 (1)
Publication types (Num. hits)
article(4) inproceedings(18)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(3) FMICS(2) NASA Formal Methods(2) SIES(2) ATVA(1) CAV(1) DDECS(1) EMSOFT(1) ESOP(1) FORMS/FORMAT(1) Haifa Verification Conference(1) MEMICS(1) RV(1) SAS(1) Sci. Comput. Program.(1) SCOPES(1) More (+10 of total 17)
Authors
Jörg Brauer(22) Stefan Kowalewski(11) Bastian Schlich(9) Thomas Reinbacher(6) Andy King(5) Andreas Steininger(3) Dominique Gückel(3) Martin Horauer(3) Ralf Huuck(2) Sebastian Biallas(2) Thomas Noll(2) Ansgar Fehnker(1) Axel Simon(1) Daniel Schachinger(1) Jael Kriener(1) Lucas Brutschy(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 22 publication records. Showing 22 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jörg Brauer, Axel Simon Inferring Definite Counterexamples through Under-Approximation. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bastian Schlich, Jörg Brauer, Stefan Kowalewski Application of static analyses for state-space reduction to the microcontroller binary code. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski On-The-Fly Path Reduction. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski Automated Test-Trace Inspection for Microcontroller Binary Code. Search on Bibsonomy RV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Reinbacher, Jörg Brauer Precise control flow reconstruction using boolean logic. Search on Bibsonomy EMSOFT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski Past Time LTL Runtime Verification for Microcontroller Binary Code. Search on Bibsonomy FMICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jörg Brauer, Andy King, Jael Kriener Existential Quantification as Incremental SAT. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jörg Brauer, Andy King Approximate Quantifier Elimination for Propositional Boolean Formulae. Search on Bibsonomy NASA Formal Methods The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jörg Brauer, Andy King Transfer Function Synthesis without Quantifier Elimination. Search on Bibsonomy ESOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jörg Brauer, Thomas Noll, Bastian Schlich Interval analysis of microcontroller code using abstract interpretation of hardware and software. Search on Bibsonomy SCOPES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jörg Brauer, Andy King, Stefan Kowalewski Range Analysis of Microcontroller Code Using Bit-Level Congruences. Search on Bibsonomy FMICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dominique Gückel, Jörg Brauer, Stefan Kowalewski A system for synthesizing abstraction-enabled simulators for binary code verification. Search on Bibsonomy SIES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. Search on Bibsonomy MEMICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. Search on Bibsonomy FORMS/FORMAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jörg Brauer, Andy King Automatic Abstraction for Intervals Using Boolean Formulae. Search on Bibsonomy SAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski Synthesizing simulators for model checking microcontroller binary code. Search on Bibsonomy DDECS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jörg Brauer, Bastian Schlich, Stefan Kowalewski Parallel and Distributed Invariant Checking of Microcontroller Software. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jörg Brauer, Ralf Huuck, Bastian Schlich Interprocedural Pointer Analysis in Goanna. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski Stack bounds analysis for microcontroller assembly code. Search on Bibsonomy WESS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model checking, verification, static analysis, embedded software, assembly code
1Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich Refining assembly code static analysis for the Intel MCS-51 microcontroller. Search on Bibsonomy SIES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy Reduction of Interrupt Handler Executions for Model Checking Embedded Software. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer Goanna: Syntactic Software Model Checking. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #22 of 22 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.