| 2025 | DX | Beyond Dynamic Bayesian Networks: Fusing Temporal Logic Monitors with Probabilistic Diagnosis (Short Paper). | Chetan Kulkarni, Johann Schumann |
| 2023 | COMPSAC | The Anatomy of Software Changes and Bugs in Autonomous Operating System. | Katerina Goseva-Popstojanova, Denny Hood, Johann Schumann, Noble Nkwocha |
| 2023 | REFSQ | Exploring Requirements for Software that Learns: A Research Preview. | Marie Farrell, Anastasia Mavridou, Johann Schumann |
| 2022 | CAV | Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. | Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann |
| 2020 | IJCNN | A Framework for the Analysis of Deep Neural Networks in Aerospace applications using Bayesian Statistics. | Yuning He, Johann Schumann |
| 2020 | ICSE | A framework for the analysis of adaptive systems using bayesian statistics. | Yuning He, Johann Schumann |
| 2020 | ICSE | A Framework for Software Health Management using Bayesian Statistics: Position Paper. | Yuning He, Johann Schumann |
| 2020 | RE | The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. | Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loc Garoche, Johann Schumann |
| 2020 | SP | A Framework for the Analysis of Deep Neural Networks in Autonomous Aerospace Applications using Bayesian Statistics. | Yuning He, Johann Schumann |
| 2020 | REFSQ | Generation of Formal Requirements from Structured Natural Language. | Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann |
| 2020 | REFSQ | Formal Requirements Elicitation with FRET. | Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi |
| 2020 | REFSQ | Bridging the Gap Between Requirements and Simulink Model Analysis. | Anastasia Mavridou, Hamza Bourbouh, Pierre-Loc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann |
| 2019 | MODELS | Verification and Validation Approaches for Model-Based Software Engineering. | Johann Schumann, Katerina Goseva-Popstojanova |
| 2017 | RV | R2U2: Tool Overview. | Kristin Yvonne Rozier, Johann Schumann |
| 2016 | FM | Exploring Model Quality for ACAS X. | Dimitra Giannakopoulou, Dennis Guck, Johann Schumann |
| 2016 | RV | Runtime Analysis with R2U2: A Tool Exhibition Report. | Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier |
| 2015 | RV | R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems. | Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier |
| 2014 | RV | Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems. | Johannes Geist, Kristin Y. Rozier, Johann Schumann |
| 2014 | TACAS | Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems. | Thomas Reinbacher, Kristin Yvonne Rozier, Johann Schumann |
| 2010 | LOPSTR | Analysis of Air Traffic Track Data with the AutoBayes Synthesis System. | Johann Schumann, Karen Cate, Alan Lee |
| 2010 | RV | Who Guards the Guardians? - Toward V&V of Health Management Software - (Short Paper). | Johann Schumann, Ashok N. Srivastava, Ole J. Mengshoel |
| 2006 | ISNN | Performance Estimation of a Neural Network-Based Controller. | Johann Schumann, Yan Liu |
| 2005 | SMC | An ensemble approach to building Mercer Kernels with prior information. | Ashok N. Srivastava, Johann Schumann, Bernd Fischer |
| 2004 | CADE | Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. | Ewen Denney, Bernd Fischer, Johann Schumann |
| 2003 | IJCNN | Presynaptic modulation as fast synaptic switching: state-dependent modulation of task performance. | Gabriele Scheler, Johann Schumann |
| 2003 | TABLEAUX | Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code. | Johann Schumann |
| 2002 | CADE | AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. | Michael W. Whalen, Johann Schumann, Bernd Fischer |
| 2002 | FM | Synthesizing Certified Code. | Michael W. Whalen, Johann Schumann, Bernd Fischer |
| 2000 | ICSE | Generating statechart designs from scenarios. | Jon Whittle, Johann Schumann |
| 1999 | CAV | PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols. | Johann Schumann |
| 1997 | CADE | SETHEO Goes Software Engineering: Application of ATP to Software Reuse. | Bernd Fischer, Johann Schumann |
| 1997 | CADE | Automatic Verification of Cryptographic Protocols with SETHEO. | Johann Schumann |
| 1997 | CADE | ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output. | Andreas Wolf, Johann Schumann |
| 1996 | CADE | SiCoTHEO: Simple Competitive Parallel Theorem Provers. | Johann Schumann |
| 1995 | TABLEAUX | Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study. | Johann Schumann |
| 1994 | CADE | SETHEO V3.2: Recent Developments - System Abstract. | Christoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann |
| 1994 | CADE | DELTA - A Bottom-up Preprocessor for Top-Down Theorem Provers - System Abstract. | Johann Schumann |
| 1992 | CADE | KPROP - An AND-parallel Theorem Prover for Propositional Logic implemented in KL1 (System Abstract). | Johann Schumann |
| 1992 | SIGMETRICS | Modelling and Performances Analysis of a Parallel Theorem Prover. | Manfred R. Jobmann, Johann Schumann |
| 1990 | CADE | PARTHEO: A High-Performance Parallel Theorem Prover. | Johann Schumann, Reinhold Letz |
| 1990 | CADE | Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation. | Johann Schumann, Reinhold Letz, Franz J. Kurfess |
| 1989 | WI | PARTHEO: A Parallel Inference Machine. | Stefan Bayerl, Reinhold Letz, Johann Schumann |
| 1986 | AIMSA | An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. | Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann |