The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Tom Bienmüller" ( http://dblp.L3S.de/Authors/Tom_Bienmüller )

  Author page on DBLP  Author page in RDF  Community of Tom Bienmüller in ASPL-2

Publication years (Num. hits)
1999-2017 (14)
Publication types (Num. hits)
article(3) inproceedings(10) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller Incremental bounded model checking for embedded software. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker 0001 Accurate ICP-based floating-point reasoning. Search on Bibsonomy FMCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tino Teige, Tom Bienmüller, Hans Jürgen Holberg Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Tom Bienmüller, Tino Teige Satisfaction Meets Practice and Confidence. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Sayali Salvi, Daniel Kästner, Christian Ferdinand, Tom Bienmüller Exploiting Synergies between Static Analysis and Model-Based Testing. Search on Bibsonomy EDCC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller Successful Use of Incremental BMC in the Automotive Industry. Search on Bibsonomy FMICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller Incremental Bounded Model Checking for Embedded Software (extended version). Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Sayali Salvi, Daniel Kästner, Tom Bienmüller, Christian Ferdinand True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tom Bienmüller Reducing complexity for the verification of STATEMATE designs. Search on Bibsonomy 2003   RDF
1Tom Bienmüller, Werner Damm, Jochen Klose, Hartmut Wittke Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs). Search on Bibsonomy it+ti - Informationstechnik und Technische Informatik The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Tom Bienmüller, Werner Damm, Hartmut Wittke The STATEMATE Verification Environment - Making It Real. Search on Bibsonomy CAV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Tom Bienmüller, Jürgen Bohn 0002, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen Verification of Automotive Control Units. Search on Bibsonomy Correct System Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license