| Generating statechart designs from scenarios J Whittle, J Schumann Proceedings of the 22nd international conference on Software engineering …, 2000 | 560 | 2000 |
| Setheo: A high-performance theorem prover R Letz, J Schumann, S Bayerl, W Bibel Journal of Automated Reasoning 8, 183-212, 1992 | 412 | 1992 |
| Automated theorem proving in software engineering JM Schumann Springer Science & Business Media, 2001 | 147 | 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 | 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 | 103 | 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 | 103 | 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 | 93 | 2015 |
| PARTHEO: A high-performance parallel theorem prover J Schumann, R Letz 10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990 | 93 | 1990 |
| NORA/HAMMR: Making deduction-based software component retrieval practical J Schumann, B Fischer Proceedings 12th IEEE International Conference Automated Software …, 1997 | 90 | 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 | 83 | 2015 |
| SETHEO V3. 2: Recent Developments-System Abstract. C Goller, R Letz, K Mayr, J Schumann CADE 12, 778-782, 1994 | 76 | 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 | 67 | 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 | 65 | 2005 |
| Automating the implementation of Kalman filter algorithms J Whittle, J Schumann ACM Transactions on Mathematical Software (TOMS) 30 (4), 434-453, 2004 | 62 | 2004 |
| 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 | 62 | 2004 |
| 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 | 61 | 2014 |
| 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 | 57 | 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 | 56 | 2009 |
| 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 | 56 | 2005 |
| Parallel automated theorem proving CB Suttner, J Schumann Machine Intelligence and Pattern Recognition 14, 209-257, 1994 | 55 | 1994 |
