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
5602000
Setheo: A high-performance theorem prover
R Letz, J Schumann, S Bayerl, W Bibel
Journal of Automated Reasoning 8, 183-212, 1992
4101992
Automated theorem proving in software engineering
JM Schumann
Springer Science & Business Media, 2001
1462001
AutoBayes: A system for generating data analysis programs from statistical models
B Fischer, J Schumann
Journal of Functional Programming 13 (3), 483-508, 2003
137*2003
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems.
T Reinbacher, KY Rozier, J Schumann
TACAS, 357-372, 2014
1032014
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, 1997
1031997
PARTHEO: A high-performance parallel theorem prover
J Schumann, R Letz
10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990
931990
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
912015
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
J Schumann, P Moosbrugger, KY Rozier
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
832015
SETHEO V3. 2: Recent Developments-System Abstract.
C Goller, R Letz, K Mayr, J Schumann
CADE 12, 778-782, 1994
761994
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
642017
DELTA—A bottom-up preprocessor for top-down theorem provers: System abstract
JMP Schumann
Automated Deduction—CADE-12: 12th International Conference on Automated …, 2005
642005
Automating the implementation of Kalman filter algorithms
J Whittle, J Schumann
ACM Transactions on Mathematical Software (TOMS) 30 (4), 434-453, 2004
622004
Runtime observer pairs and Bayesian network reasoners on-board FPGAs: flight-certifiable system health management for embedded systems
J Geist, KY Rozier, J Schumann
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014
612014
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
612004
Using automated theorem provers to certify auto-generated aerospace software
E Denney, B Fischer, J Schumann
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004
572004
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
552009
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
552005
Parallel automated theorem proving
CB Suttner, J Schumann
Machine Intelligence and Pattern Recognition 14, 209-257, 1994
551994
The system can't perform the operation now. Try again later.
Articles 1–20