PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Brauer, Jörg"

Author of the publication

copydeleteadd this publication to your clipboard
Loop Leaping with Closures.

, , , and . SAS, volume 7460 of Lecture Notes in Computer Science, page 214-230. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. phil. Christian Jörg University of Stuttgart

Fabian Jörg University of Stuttgart

Jörg Desel

Das ist Informatik (Eds.) Springer, (2001)

Jörg Förstner University of Stuttgart

Jörg Roth University of Stuttgart

 

Other publications of authors with the same name

Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations., , , and . ISORC Workshops, page 33-40. IEEE Computer Society, (2011)Automatic abstraction for bit-vectors using decision procedures.. RWTH Aachen University, (2013)Transfer Function Synthesis without Quantifier Elimination, and . Logical Methods in Computer Science, (2012)Arcade.PLC: a verification platform for programmable logic controllers., , and . ASE, page 338-341. ACM, (2012)Testing Avionics Software: Is FMI up to the Task?, , and . ISoLA (3), volume 11246 of Lecture Notes in Computer Science, page 477-487. Springer, (2018)Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges., , and . ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 82-103. Springer, (2018)Goanna: Syntactic Software Model Checking., , , and . ATVA, volume 5311 of Lecture Notes in Computer Science, page 216-221. Springer, (2008)Approximate Quantifier Elimination for Propositional Boolean Formulae., and . NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 73-88. Springer, (2011)Towards the Verification of Hybrid Co-simulation Algorithms., , , , , and . STAF Workshops, volume 11176 of Lecture Notes in Computer Science, page 5-20. Springer, (2018)A system for synthesizing abstraction-enabled simulators for binary code verification., , and . SIES, page 118-127. IEEE, (2010)