Follow
Johann Schumann
Johann Schumann
SGT, Inc. NASA Ames
Verified email at nasa.gov
Title
Cited by
Cited by
Year
Generating statechart designs from scenarios
J Whittle, J Schumann
Proceedings of the 22nd international conference on Software engineering …, 2000
5642000
Setheo: A high-performance theorem prover
R Letz, J Schumann, S Bayerl, W Bibel
Journal of Automated Reasoning 8, 183-212, 1992
4191992
Automated theorem proving in software engineering
JM Schumann
Springer Science & Business Media, 2001
1552001
AutoBayes: A system for generating data analysis programs from statistical models
B Fischer, J Schumann
Journal of Functional Programming 13 (3), 483-508, 2003
139*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
1272014
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
1032015
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
1031997
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
972015
PARTHEO: A high-performance parallel theorem prover
J Schumann, R Letz
10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990
931990
NORA/HAMMR: Making deduction-based software component retrieval practical
J Schumann, B Fischer
Proceedings 12th IEEE International Conference Automated Software …, 1997
901997
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
852017
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
761994
DELTA—A bottom-up preprocessor for top-down theorem provers: System abstract
JMP Schumann
International Conference on Automated Deduction, 774-777, 1994
711994
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
692014
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
682010
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
672004
Formal requirements elicitation with FRET
D Giannakopoulou, A Mavridou, J Rhein, T Pressburger, J Schumann, ...
International Working Conference on Requirements Engineering: Foundation for …, 2020
652020
Automating the implementation of Kalman filter algorithms
J Whittle, J Schumann
ACM Transactions on Mathematical Software (TOMS) 30 (4), 434-453, 2004
622004
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
612005
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
592009
The system can't perform the operation now. Try again later.
Articles 1–20