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

Synchronous Programming (Dagstuhl Seminar 13471).S. Edwards, A. Girault, and K. Schneider. Dagstuhl Reports, 3 (11): 117-143 (2013)Automatic Hard Block Inference on FPGAs.A. Willenbücher, and K. Schneider. DSD, page 551-557. IEEE Computer Society, (2013)Towards the Applicability of Alf to Model Cyber-Physical Systems.A. Romero, K. Schneider, and M. Ferreira. FedCSIS, page 1415-1422. (2013)Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems.T. Schüle, and K. Schneider. SEFM, page 67-76. IEEE Computer Society, (2004)Separate compilation and execution of imperative synchronous modules.E. Vecchié, J. Talpin, and K. Schneider. DATE, page 1580-1583. IEEE, (2009)Das grafische Ausgabesystem am VW-Prozeß-Leit-System (PLS).K. Pasemann, K. Schneider, and E. Vöge. Elektronische Rechenanlagen, 18 (5): 241-245 (1976)Verification of Reactive Systems - Formal Methods and AlgorithmsK. Schneider. Texts in Theoretical Computer Science. An EATCS Series Springer, (2004)Formal synthesis of circuits with a simple handshake protocol.R. Kumar, T. Kropf, and K. Schneider. VLSI Design, page 255-259. IEEE Computer Society, (1995)Efficient Representation and Computation of Tableau Proofs.K. Schneider, R. Kumar, and T. Kropf. TPHOLs, volume A-20 of IFIP Transactions, page 39-57. North-Holland/Elsevier, (1992)Verification condition generation for hybrid systems.X. Li, and K. Schneider. MEMOCODE, page 238-247. IEEE, (2015)