Johann Schumann
Johann Schumann
SGT, Inc. NASA Ames
Verified email at
Cited by
Cited by
Generating statechart designs from scenarios
J Whittle, J Schumann
Proceedings of the 22nd international conference on Software engineering …, 2000
Setheo: A high-performance theorem prover
R Letz, J Schumann, S Bayerl, W Bibel
Journal of Automated Reasoning 8 (2), 183-212, 1992
Automated theorem proving in software engineering
JM Schumann
Springer Science & Business Media, 2001
AutoBayes: A system for generating data analysis programs from statistical models
B Fischer, J Schumann
Journal of Functional Programming 13 (3), 483-508, 2003
SETHEO and e-SETHEO-the CADE-13 systems
M Moser, O Ibens, R Letz, J Steinbach, C Goller, J Schumann, K Mayr
Journal of Automated Reasoning 18 (2), 237-246, 1997
PARTHEO: A high-performance parallel theorem prover
J Schumann, R Letz
International Conference on Automated Deduction, 40-56, 1990
Temporal-logic based runtime observer pairs for system health management of real-time systems
T Reinbacher, KY Rozier, J Schumann
International Conference on Tools and Algorithms for the Construction and …, 2014
NORA/HAMMR: Making deduction-based software component retrieval practical
J Schumann, B Fischer
Proceedings 12th IEEE International Conference Automated Software …, 1997
Towards real-time, on-board, hardware-supported sensor and software health management for unmanned aerial systems
J Schumann, KY Rozier, T Reinbacher, OJ Mengshoel, T Mbaya, ...
International Journal of Prognostics and Health Management 6 (1), 2015
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
J Schumann, P Moosbrugger, KY Rozier
Runtime Verification, 233-249, 2015
SETHEO V3. 2: Recent developments
C Goller, R Letz, K Mayr, J Schumann
International Conference on Automated Deduction, 778-782, 1994
DELTA—A bottom-up preprocessor for top-down theorem provers
JMP Schumann
International Conference on Automated Deduction, 774-777, 1994
Automating the implementation of Kalman filter algorithms
J Whittle, J Schumann
ACM Transactions on Mathematical Software (TOMS) 30 (4), 434-453, 2004
Verification, validation, and certification challenges for adaptive flight-critical control system software
S Jacklin, J Schumann, P Gupta, M Lowry, J Bosworth, E Zavala, ...
AIAA Guidance, Navigation, and Control Conference and Exhibit, 5258, 2004
Using automated theorem provers to certify auto-generated aerospace software
E Denney, B Fischer, J Schumann
International Joint Conference on Automated Reasoning, 198-212, 2004
Model based analysis and test generation for flight software
CS Pasareanu, J Schumann, P Mehlitz, M Lowry, G Karsai, H Nine, ...
2009 Third IEEE International Conference on Space Mission Challenges for …, 2009
Parallel automated theorem proving
CB Suttner, J Schumann
Machine Intelligence and Pattern Recognition 14, 209-257, 1994
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
P Moosbrugger, KY Rozier, J Schumann
Formal Methods in System Design 51 (1), 31-61, 2017
Development of advanced verification and validation procedures and tools for the certification of learning systems in aerospace applications
S Jacklin, J Schumann, P Gupta, M Richard, K Guenther, F Soares
Infotech@ Aerospace, 6912, 2005
Runtime observer pairs and Bayesian network reasoners on-board FPGAs: flight-certifiable system health management for embedded systems
J Geist, KY Rozier, J Schumann
International Conference on Runtime Verification, 215-230, 2014
The system can't perform the operation now. Try again later.
Articles 1–20