| Generating statechart designs from scenarios J Whittle, J Schumann Proceedings of the 22nd international conference on Software engineering …, 2000 | 563 | 2000 |
| Setheo: A high-performance theorem prover R Letz, J Schumann, S Bayerl, W Bibel Journal of Automated Reasoning 8, 183-212, 1992 | 414 | 1992 |
| Automated theorem proving in software engineering JM Schumann Springer Science & Business Media, 2013 | 157 | 2013 |
| AutoBayes: A system for generating data analysis programs from statistical models B Fischer, J Schumann Journal of Functional Programming 13 (3), 483-508, 2003 | 144* | 2003 |
| Temporal-logic based runtime observer pairs for system health management of real-time systems T Reinbacher, KY Rozier, J Schumann Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 127 | 2014 |
| 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 | 106 | 2015 |
| 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, 237-246, 1997 | 105 | 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 | 97 | 2015 |
| PARTHEO: A high-performance parallel theorem prover J Schumann, R Letz 10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990 | 91 | 1990 |
| NORA/HAMMR: Making deduction-based software component retrieval practical J Schumann, B Fischer Proceedings 12th IEEE International Conference Automated Software …, 1997 | 89 | 1997 |
| 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 | 87 | 2017 |
| SETHEO V3. 2: Recent developments: System abstract C Goller, R Letz, K Mayr, J Schumann Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994 | 76 | 1994 |
| Application of neural networks in high assurance systems: A survey J Schumann, P Gupta, Y Liu Applications of neural networks in high assurance systems, 1-19, 2010 | 72 | 2010 |
| DELTA—A bottom-up preprocessor for top-down theorem provers: System abstract JMP Schumann International Conference on Automated Deduction, 774-777, 1994 | 70 | 1994 |
| Formal requirements elicitation with FRET D Giannakopoulou, A Mavridou, J Rhein, T Pressburger, J Schumann, ... International Working Conference on Requirements Engineering: Foundation for …, 2020 | 69 | 2020 |
| 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 | 69 | 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 | 66 | 2004 |
| Automating the implementation of Kalman filter algorithms J Whittle, J Schumann ACM Transactions on Mathematical Software (TOMS) 30 (4), 434-453, 2004 | 62 | 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 | 61 | 2005 |
| Deduction-based software component retrieval B Fischer, J Schumann, G Snelting Automated Deduction—A Basis for Applications: Volume III Applications, 265-292, 1998 | 60 | 1998 |
