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
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL.

, , , and . FORMS/FORMAT, page 237-245. Springer, (2010)

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)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)Arcade.PLC: a verification platform for programmable logic controllers., , and . ASE, page 338-341. ACM, (2012)Towards the Verification of Hybrid Co-simulation Algorithms., , , , , and . STAF Workshops, volume 11176 of Lecture Notes in Computer Science, page 5-20. Springer, (2018)Runtime verification of microcontroller binary code., , , , and . Sci. Comput. Program., (2014)