PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Schumann, Johann"

Author of the publication

copydeleteadd this publication to your clipboard
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems.

, , and . TACAS, volume 8413 of Lecture Notes in Computer Science, page 357-372. Springer, (2014)

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.

S. Schumann

Kai Johann University of Stuttgart

Johann Winterholler

Univ. -Prof. Dr. -Ing. Johann Jessen University of Stuttgart

Dr. phil. Johann Valentowitsch University of Stuttgart

 

Other publications of authors with the same name

Software health management: a necessity for safety critical systems., and . ISSE, 9 (4): 219-233 (2013)An Implementation of a PROLOG-like Theorem Prover based on the Connection Method., , , , and . AIMSA, page 29-36. (1986)Verifikation von Authentifikationsprotokollen mit Automatischen Beweisern.. KI, 12 (4): 48-53 (1998)Amphion/NAV: Deductive Synthesis of State Estimation Software., , , , , , , , and . ASE, page 395-399. IEEE Computer Society, (2001)An ensemble approach to building Mercer Kernels with prior information., , and . SMC, page 2352-2359. IEEE, (2005)PARTHEO: A Parallel Inference Machine., , and . Wissensbasierte Systeme, volume 227 of Informatik-Fachberichte, page 527-539. Springer, (1989)Automating the implementation of Kalman filter algorithms., and . ACM Trans. Math. Softw., 30 (4): 434-453 (2004)Presynaptic modulation as fast synaptic switching: state-dependent modulation of task performance, and . CoRR, (2004)Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study.. TABLEAUX, volume 918 of Lecture Notes in Computer Science, page 338-352. Springer, (1995)AutoBayes: a system for generating data analysis programs from statistical models., and . J. Funct. Program., 13 (3): 483-508 (2003)