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, 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
Temporal-logic based runtime observer pairs for system health management of real-time systems
T Reinbacher, KY Rozier, J Schumann
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
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
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, 237-246, 1997
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
J Schumann, P Moosbrugger, KY Rozier
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
PARTHEO: A high-performance parallel theorem prover
J Schumann, R Letz
10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990
NORA/HAMMR: Making deduction-based software component retrieval practical
J Schumann, B Fischer
Proceedings 12th IEEE International Conference Automated Software …, 1997
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
P Moosbrugger, KY Rozier, J Schumann
Formal Methods in System Design 51, 31-61, 2017
SETHEO V3. 2: Recent developments: System abstract
C Goller, R Letz, K Mayr, J Schumann
Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994
DELTA—A bottom-up preprocessor for top-down theorem provers: System abstract
JMP Schumann
International Conference on Automated Deduction, 774-777, 1994
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
Application of neural networks in high assurance systems: A survey
J Schumann, P Gupta, Y Liu
Applications of neural networks in high assurance systems, 1-19, 2010
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
Formal requirements elicitation with FRET
D Giannakopoulou, A Mavridou, J Rhein, T Pressburger, J Schumann, ...
International Working Conference on Requirements Engineering: Foundation for …, 2020
Automating the implementation of Kalman filter algorithms
J Whittle, J Schumann
ACM Transactions on Mathematical Software (TOMS) 30 (4), 434-453, 2004
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
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
The system can't perform the operation now. Try again later.
Articles 1–20