Johann Schumann
Johann Schumann
SGT, Inc. NASA Ames
Verified email at nasa.gov
TitleCited byYear
Generating statechart designs from scenarios
J Whittle, J Schumann
Proceedings of the 22nd international conference on Software engineering …, 2000
5152000
Setheo: A high-performance theorem prover
R Letz, J Schumann, S Bayerl, W Bibel
Journal of Automated Reasoning 8 (2), 183-212, 1992
3911992
Automated theorem proving in software engineering
JM Schumann
Springer Science & Business Media, 2001
1332001
AutoBayes: A system for generating data analysis programs from statistical models
B Fischer, J Schumann
Journal of Functional Programming 13 (3), 483-508, 2003
1112003
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
1081997
NORA/HAMMR: Making deduction-based software component retrieval practical
J Schumann, B Fischer
Proceedings 12th IEEE International Conference Automated Software …, 1997
841997
PARTHEO: A high-performance parallel theorem prover
J Schumann, R Letz
International Conference on Automated Deduction, 40-56, 1990
841990
SETHEO V3. 2: Recent developments
C Goller, R Letz, K Mayr, J Schumann
International Conference on Automated Deduction, 778-782, 1994
691994
DELTA—A bottom-up preprocessor for top-down theorem provers
JMP Schumann
International Conference on Automated Deduction, 774-777, 1994
601994
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, 2015
592015
Parallel automated theorem proving
CB Suttner, J Schumann
Machine Intelligence and Pattern Recognition 14, 209-257, 1994
581994
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
542014
Automating the implementation of Kalman filter algorithms
J Whittle, J Schumann
ACM Transactions on Mathematical Software (TOMS) 30 (4), 434-453, 2004
532004
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
532004
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
492004
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
472005
Automatic verification of cryptographic protocols with SETHEO
J Schumann
International Conference on Automated Deduction, 87-100, 1997
461997
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
452009
Synthesizing certified code
M Whalen, J Schumann, B Fischer
International Symposium of Formal Methods Europe, 431-450, 2002
422002
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
J Schumann, P Moosbrugger, KY Rozier
Runtime Verification, 233-249, 2015
412015
The system can't perform the operation now. Try again later.
Articles 1–20