Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Model checking embedded software of an industrial knitting machine.

T. Reinbacher, M. Horauer, B. Schlich, J. Brauer, und F. Scheuer. IJITCC, 1 (2): 186-205 (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. phil. Christian Jörg University of Stuttgart

Fabian Jörg University of Stuttgart

Jörg Desel

Das ist InformatikJ. Desel (Hrsg.) Springer, (2001)

Das ist InformatikJ. Desel (Hrsg.) Springer, (2001)Hilfreiche Hilfe Methode, Implementierung und Evaluation eines Verfahrens zur Adaption an das prozedurale WissenD. Iglezakis. Kath. Universität Eichstätt-Ingolstadt, Aachen, (2007)Hilfreiche Hilfe Methode, Implementierung und Evaluation eines Verfahrens zur Adaption an das prozedurale WissenD. Iglezakis. Kath. Universität Eichstätt-Ingolstadt, Aachen, (2007)

Jörg Förstner University of Stuttgart

Jörg Roth University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Goanna: Syntactic Software Model Checking.R. Huuck, A. Fehnker, S. Seefried, und J. Brauer. ATVA, Volume 5311 von Lecture Notes in Computer Science, Seite 216-221. Springer, (2008)Testing Avionics Software: Is FMI up to the Task?J. Brauer, O. Möller, und J. Peleska. ISoLA (3), Volume 11246 von Lecture Notes in Computer Science, Seite 477-487. Springer, (2018)Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges.J. Peleska, J. Brauer, und W. ling Huang. ISoLA (4), Volume 11247 von Lecture Notes in Computer Science, Seite 82-103. Springer, (2018)Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations.E. Beckschulze, J. Brauer, A. Stollenwerk, und S. Kowalewski. ISORC Workshops, Seite 33-40. IEEE Computer Society, (2011)Approximate Quantifier Elimination for Propositional Boolean Formulae.J. Brauer, und A. King. NASA Formal Methods, Volume 6617 von Lecture Notes in Computer Science, Seite 73-88. Springer, (2011)Arcade.PLC: a verification platform for programmable logic controllers.S. Biallas, J. Brauer, und S. Kowalewski. ASE, Seite 338-341. ACM, (2012)Transfer Function Synthesis without Quantifier EliminationJ. Brauer, und A. King. Logical Methods in Computer Science, (2012)Automatic abstraction for bit-vectors using decision procedures.J. Brauer. RWTH Aachen University, (2013)Towards the Verification of Hybrid Co-simulation Algorithms.C. Thule, C. Gomes, J. Deantoni, P. Larsen, J. Brauer, und H. Vangheluwe. STAF Workshops, Volume 11176 von Lecture Notes in Computer Science, Seite 5-20. Springer, (2018)Past Time LTL Runtime Verification for Microcontroller Binary Code.T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, und S. Kowalewski. FMICS, Volume 6959 von Lecture Notes in Computer Science, Seite 37-51. Springer, (2011)