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
5462000
Setheo: A high-performance theorem prover
R Letz, J Schumann, S Bayerl, W Bibel
Journal of Automated Reasoning 8 (2), 183-212, 1992
4041992
Automated theorem proving in software engineering
JM Schumann
Springer Science & Business Media, 2001
1392001
AutoBayes: A system for generating data analysis programs from statistical models
B Fischer, J Schumann
Journal of Functional Programming 13 (3), 483-508, 2003
1232003
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
1031997
PARTHEO: A high-performance parallel theorem prover
J Schumann, R Letz
International Conference on Automated Deduction, 40-56, 1990
901990
NORA/HAMMR: Making deduction-based software component retrieval practical
J Schumann, B Fischer
Proceedings 12th IEEE International Conference Automated Software …, 1997
861997
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
792015
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
772014
SETHEO V3. 2: Recent developments
C Goller, R Letz, K Mayr, J Schumann
International Conference on Automated Deduction, 778-782, 1994
691994
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
J Schumann, P Moosbrugger, KY Rozier
Runtime Verification, 233-249, 2015
682015
DELTA—A bottom-up preprocessor for top-down theorem provers
JMP Schumann
International Conference on Automated Deduction, 774-777, 1994
641994
Automating the implementation of Kalman filter algorithms
J Whittle, J Schumann
ACM Transactions on Mathematical Software (TOMS) 30 (4), 434-453, 2004
602004
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
562004
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
552004
Parallel automated theorem proving
CB Suttner, J Schumann
Machine Intelligence and Pattern Recognition 14, 209-257, 1994
541994
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
512009
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
512005
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
482014
Automatic verification of cryptographic protocols with SETHEO
J Schumann
International Conference on Automated Deduction, 87-100, 1997
461997
The system can't perform the operation now. Try again later.
Articles 1–20