| Generating statechart designs from scenarios J Whittle, J Schumann Proceedings of the 22nd international conference on Software engineering …, 2000 | 574 | 2000 |
| Setheo: A high-performance theorem prover R Letz, J Schumann, S Bayerl, W Bibel Journal of Automated Reasoning 8 (2), 183-212, 1992 | 426 | 1992 |
| Automated theorem proving in software engineering JM Schumann Springer Science & Business Media, 2001 | 167 | 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 | 150* | 2003 |
| 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 | 149 | 2014 |
| Formal requirements elicitation with FRET D Giannakopoulou, A Mavridou, J Rhein, T Pressburger, J Schumann, ... International Working Conference on Requirements Engineering: Foundation for …, 2020 | 123 | 2020 |
| 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 | 121 | 2015 |
| 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 | 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 (2), 237-246, 1997 | 103 | 1997 |
| R2U2: monitoring and diagnosis of security threats for unmanned aerial systems P Moosbrugger, KY Rozier, J Schumann Formal Methods in System Design 51 (1), 31-61, 2017 | 102 | 2017 |
| PARTHEO: A high-performance parallel theorem prover J Schumann, R Letz International Conference on Automated Deduction, 40-56, 1990 | 94 | 1990 |
| NORA/HAMMR: Making deduction-based software component retrieval practical J Schumann, B Fischer Proceedings 12th IEEE International Conference Automated Software …, 1997 | 89 | 1997 |
| 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 | 79 | 2010 |
| 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 | 77 | 2014 |
| Automated formalization of structured natural language requirements D Giannakopoulou, T Pressburger, A Mavridou, J Schumann Information and Software Technology 137, 106590, 2021 | 76 | 2021 |
| SETHEO V3. 2: Recent developments: System abstract C Goller, R Letz, K Mayr, J Schumann International Conference on Automated Deduction, 778-782, 1994 | 74 | 1994 |
| Generation of formal requirements from structured natural language D Giannakopoulou, T Pressburger, A Mavridou, J Schumann International working conference on requirements engineering: Foundation for …, 2020 | 72 | 2020 |
| 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 | 70 | 2004 |
| DELTA—A bottom-up preprocessor for top-down theorem provers: System abstract JMP Schumann International Conference on Automated Deduction, 774-777, 1994 | 69 | 1994 |
| R2U2: tool overview KY Rozier, J Schumann International Workshop on Competitions, Usability, Benchmarks, Evaluation …, 2017 | 65 | 2017 |
