Johann Schumann
Johann Schumann
SGT, Inc. NASA Ames
Adresse e-mail validée de
Citée par
Citée par
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
TACAS, 357-372, 2014
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
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
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
J Schumann, P Moosbrugger, KY Rozier
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
SETHEO V3. 2: Recent Developments-System Abstract.
C Goller, R Letz, K Mayr, J Schumann
CADE 12, 778-782, 1994
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
DELTA—A bottom-up preprocessor for top-down theorem provers: System abstract
JMP Schumann
Automated Deduction—CADE-12: 12th International Conference on Automated …, 2005
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
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
Automating the implementation of Kalman filter algorithms
J Whittle, J Schumann
ACM Transactions on Mathematical Software (TOMS) 30 (4), 434-453, 2004
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
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
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
Parallel automated theorem proving
CB Suttner, J Schumann
Machine Intelligence and Pattern Recognition 14, 209-257, 1994
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20