Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Interactive Verification Tool for Synchronous/Reactive Systems.

M. Gesell, and K. Schneider. MBMV, page 267-277. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)

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.

Janos Klaus University of Stuttgart

Klaus Hentschel

apl. Prof. Dr. -Ing. Klaus Leonhardt University of Stuttgart

Prof. Dr. Georg Schneider University of Stuttgart

Dr. -Ing. Ralf Schneider University of Stuttgart

Other publications of authors with the same name

Formale Verifikation eingebetteter Systeme.D. Schmid, K. Schneider, M. Huhn, G. Logothetis, and V. Sabelfeld. it+ti - Informationstechnik und Technische Informatik, 41 (2): 12-16 (1999)Towards the standardization of plug-and-play devices for model-based designs of embedded systems.O. Rafique, and K. Schneider. SIES, page 189-192. IEEE, (2016)Embedding Imperative Synchronous Languages in Interactive Theorem Provers.K. Schneider. ACSD, page 143-. IEEE Computer Society, (2001)Integrating UML Composite Structures and fUML.A. Romero, K. Schneider, and M. Ferreira. SOFSEM, volume 8327 of Lecture Notes in Computer Science, page 269-280. Springer, (2014)From LTL to Symbolically Represented Deterministic Automata.A. Morgenstern, and K. Schneider. VMCAI, volume 4905 of Lecture Notes in Computer Science, page 279-293. Springer, (2008)Out-of-Order Execution of Buffered Function Units in Exposed Data Path Architectures.T. Jain, K. Schneider, and F. Walk. IPDPS Workshops, page 229-234. IEEE Computer Society, (2017)Efficient Handling of Arrays in Dataflow Process Networks.D. Baudisch, J. Brandt, and K. Schneider. HPCC-ICESS, page 1395-1402. IEEE Computer Society, (2012)Performing causality analysis by bounded model checking.K. Schneider, and J. Brandt. ACSD, page 78-87. IEEE, (2008)Desynchronizing Synchronous Programs by Modes.J. Brandt, M. Gemunde, and K. Schneider. ACSD, page 32-41. IEEE Computer Society, (2009)Round Trip to Asynchrony and Synchrony.J. Brandt, and K. Schneider. MBMV, page 239-248. OFFIS-Institut für Informatik, (2011)