Jörg Brauer - Veröffentlichungen allgemein

(1 - 8 von 8

)

Hans-Jörg Brauer ist von

www.yumpu.com

Jetzt kommt Cordic - DTS Taxi Service GmbH

Approximate Quantifier Elimination for Propositional Boolean ...

link.springer.com

von J Brauer · · Zitiert von: 5 — Jörg Brauer &; Andy King. Conference paper Accesses. 2 Citations. Part of the Lecture Notes in Computer Science book series (LNPSE,volume 6617) ... › chapter

Interval analysis of microcontroller code using abstract ...

www.researchgate.net

— DOI: Authors: Jörg Brauer at Verified Systems · Jörg Brauer. Verified Systems. Thomas Noll at RWTH Aachen University. ›

Efficient and Trustworthy Tool Qualification for Model- ...Springer

link.springer.com

von J Brauer · · Zitiert von: 19 — Authors and Affiliations · Verified Systems International GmbH, Bremen, Germany. Jörg Brauer & Jan Peleska · Department of Mathematics and Computer Science, ...

Efficient and Trustworthy Tool Qualification for SpringerLink

link.springer.com

von J Brauer · · Zitiert von: 17 — Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. Jörg Brauer,; Jan Peleska &; Uwe Schulze. Conference paper Accesses. › chapter

Automatic Abstraction for Intervals Using Boolean Formulae |...

link.springer.com

Traditionally, transfer functions have been manually designed for each operation in a program. Recently, however, there has been growing interest in com…ng...

Automated Test-Trace Inspection for Microcontroller Binary Code |...

link.springer.com

This paper presents a non-intrusive framework for runtime verification of executable microcontroller code. A dedicated hardware unit is attached to a...

Existential Quantification as Incremental SAT | SpringerLink

link.springer.com

This paper presents an elegant algorithm for existential quantifier elimination using incremental SAT solving. This approach contrasts with existing techniques...

Verwandte Suchanfragen zu Jörg Brauer

Person "Brauer" (22)
Vorname "Jörg" (43136)
Name "Brauer" (1711)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Jörg Brauer