Johann Schumann

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 19

Top Topics

Embedded Systems

Natural Language

Requirements Elicitation

Top Venues

Innov. Syst. Softw. Eng.

REFSQ Workshops

Publications

Katerina Goseva-Popstojanova, Denny Hood, Johann Schumann, Noble Nkwocha
The Anatomy of Software Changes and Bugs in Autonomous Operating System. COMPSAC (2023)
Konstantin Dmitriev, Johann Schumann, Islam Bostanov, Mostafa Abdelhamid, Florian Holzapfel
Runway Sign Classifier: A DAL C Certifiable Machine Learning System. CoRR (2023)
Marie Farrell, Anastasia Mavridou, Johann Schumann
Exploring Requirements for Software that Learns: A Research Preview. REFSQ (2023)
Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann
Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. CAV (2) (2022)
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann
Automated formalization of structured natural language requirements. Inf. Softw. Technol. 137 (2021)
Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. RE (2020)
Yuning He, Johann Schumann
A framework for the analysis of adaptive systems using bayesian statistics. SEAMS@ICSE (2020)
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi
Formal Requirements Elicitation with FRET. REFSQ Workshops (2020)
Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann
Bridging the Gap Between Requirements and Simulink Model Analysis. REFSQ Workshops (2020)
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann
Generation of Formal Requirements from Structured Natural Language. REFSQ (2020)
Yuning He, Johann Schumann
A Framework for the Analysis of Deep Neural Networks in Aerospace applications using Bayesian Statistics. IJCNN (2020)
Yuning He, Johann Schumann
A Framework for Software Health Management using Bayesian Statistics: Position Paper. ICSE (Workshops) (2020)
Yuning He, Johann Schumann
A Framework for the Analysis of Deep Neural Networks in Autonomous Aerospace Applications using Bayesian Statistics. SP Workshops (2020)
Johann Schumann, Katerina Goseva-Popstojanova
Verification and Validation Approaches for Model-Based Software Engineering. MoDELS (Companion) (2019)
Yuning He, Dimitra Giannakopoulou, Johann Schumann
Statistical Prediction of Failures in Aircraft Collision Avoidance Systems. Models, Mindsets, Meta (2018)
Patrick Moosbrugger, Kristin Y. Rozier, Johann Schumann
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems. Formal Methods Syst. Des. 51 (1) (2017)
Kristin Yvonne Rozier, Johann Schumann
R2U2: Tool Overview. RV-CuBES (2017)
Dimitra Giannakopoulou, Dennis Guck, Johann Schumann
Exploring Model Quality for ACAS X. FM (2016)
Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier
Runtime Analysis with R2U2: A Tool Exhibition Report. RV (2016)
Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier
R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems. RV (2015)
Johann Schumann, Stefan-Alexander Schneider
Automated Testcase Generation for Numerical Support Functions in Embedded Systems. NASA Formal Methods (2014)
Johannes Geist, Kristin Y. Rozier, Johann Schumann
Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems. RV (2014)
Thomas Reinbacher, Kristin Yvonne Rozier, Johann Schumann
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems. TACAS (2014)
Ashok N. Srivastava, Johann Schumann
Software health management: a necessity for safety critical systems. Innov. Syst. Softw. Eng. 9 (4) (2013)
Johann Schumann, Timmy Mbaya, Ole J. Mengshoel, Knot Pipatsrisawat, Ashok N. Srivastava, Arthur Choi, Adnan Darwiche
Software health management with Bayesian networks. Innov. Syst. Softw. Eng. 9 (4) (2013)
Dimitra Giannakopoulou, David H. Bushnell, Johann Schumann, Heinz Erzberger, Karen Heere
Formal testing for separation assurance. Ann. Math. Artif. Intell. 63 (1) (2011)
Johann Schumann, Ole J. Mengshoel, Ashok N. Srivastava, Adnan Darwiche
Towards software health management with bayesian networks. FoSER (2010)
Johann Schumann, Karen Cate, Alan Lee
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System. LOPSTR (2010)
Johann Schumann, Ashok N. Srivastava, Ole J. Mengshoel
Who Guards the Guardians? - Toward V&V of Health Management Software - (Short Paper). RV (2010)
Danil V. Prokhorov, Johann Schumann
Intelligent Systems for Modeling and Control: Advances in Design and Validation. ISIC (2008)
Johann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett
Tool Support for Parametric Analysis of Large Software Simulation Systems. ASE (2008)
Johann Schumann, Yan Liu
Performance Estimation of a Neural Network-Based Controller. ISNN (2) (2006)
Ewen Denney, Bernd Fischer, Johann Schumann
An Empirical Evaluation of Automated Theorem Provers in Software Certification. Int. J. Artif. Intell. Tools 15 (1) (2006)
Ashok N. Srivastava, Johann Schumann, Bernd Fischer
An ensemble approach to building Mercer Kernels with prior information. SMC (2005)
Ewen Denney, Bernd Fischer, Johann Schumann
Adding Assurance to Automatically Generated Code. HASE (2004)
Gabriele Scheler, Johann Schumann
Presynaptic modulation as fast synaptic switching: state-dependent modulation of task performance CoRR (2004)
Stacy D. Nelson, Johann Schumann
What Makes a Code Review Trustworthy? HICSS (2004)
Pramod Gupta, Johann Schumann
A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems. HASE (2004)
Jon Whittle, Johann Schumann
Automating the implementation of Kalman filter algorithms. ACM Trans. Math. Softw. 30 (4) (2004)
Ewen Denney, Bernd Fischer, Johann Schumann
Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. IJCAR (2004)
Bernd Fischer, Johann Schumann
AutoBayes: a system for generating data analysis programs from statistical models. J. Funct. Program. 13 (3) (2003)
Johann Schumann
Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code. TABLEAUX (2003)
Bernd Fischer, Johann Schumann
Applying AutoBayes to the Analysis of Planetary Nebulae Images. ASE (2003)
Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle
Certification Support for Automatically Generated Programs. HICSS (2003)
Michael W. Whalen, Johann Schumann, Bernd Fischer
AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. CADE (2002)
Alexander G. Gray, Bernd Fischer, Johann Schumann, Wray L. Buntine
Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. NIPS (2002)
Michael W. Whalen, Johann Schumann, Bernd Fischer
Synthesizing Certified Code. FME (2002)
Johann Schumann, Stacy D. Nelson
Toward V&V of neural network based controllers. WOSS (2002)
Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat
Amphion/NAV: Deductive Synthesis of State Estimation Software. ASE (2001)
Johann Schumann
Automatic Debugging Support for UML Designs. AADEBUG (2000)
Jon Whittle, Johann Schumann
Generating statechart designs from scenarios. ICSE (2000)
Johann Schumann, Jon Whittle
Automatic Synthesis of Agent Designs in UML. FAABS (2000)
Johann Schumann
Automated Theorem Proving in High-Quality Software Design. Intellectics and Computational Logic (2000)
Bernd Fischer, Johann Schumann, Thomas Pressburger
Generating Data Analysis Programs from Statistical Models. SAIG (2000)
Johann Schumann
PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols. CAV (1999)
Johann Schumann
Verifikation von Authentifikationsprotokollen mit Automatischen Beweisern. Künstliche Intell. 12 (4) (1998)
Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr
SETHEO and E-SETHEO - The CADE-13 Systems. J. Autom. Reason. 18 (2) (1997)
Johann Schumann, Bernd Fischer
NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. ASE (1997)
Andreas Wolf, Johann Schumann
ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output. CADE (1997)
Johann Schumann
Automatic Verification of Cryptographic Protocols with SETHEO. CADE (1997)
Bernd Fischer, Johann Schumann
SETHEO Goes Software Engineering: Application of ATP to Software Reuse. CADE (1997)
Johann Schumann
SiCoTHEO: Simple Competitive Parallel Theorem Provers. CADE (1996)
Johann Schumann
Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study. TABLEAUX (1995)
Johann Schumann
DELTA - A Bottom-up Preprocessor for Top-Down Theorem Provers - System Abstract. CADE (1994)
Johann Schumann
Tableaux-based Theorem Provers: Systems and Implementations. J. Autom. Reason. 13 (3) (1994)
Johann Schumann, Manfred R. Jobmann
Analysing the Load Balancing Scheme of a Parallel System on Multiprocessors - A Modeling Approach. PARLE (1994)
Christoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann
SETHEO V3.2: Recent Developments - System Abstract. CADE (1994)
Manfred R. Jobmann, Johann Schumann
Modelling and Performances Analysis of a Parallel Theorem Prover. SIGMETRICS (1992)
Johann Schumann
KPROP - An AND-parallel Theorem Prover for Propositional Logic implemented in KL1 (System Abstract). CADE (1992)
Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel
SETHEO: A High-Performance Theorem Prover. J. Autom. Reason. 8 (2) (1992)
Manfed R. Jobmann, Johann Schumann
Modelling and performance analysis of a parallel theorem prover Forschungsberichte, TU Munich (1991)
Manfred R. Jobmann, Johann Schumann
Modelling and performance Analysis of a Parallel Theorem Prover. MMB (1991)
Johann Schumann
Parallel Theorem Provers - An Overview. Dagstuhl Seminar on Parallelization in Inference Systems (1990)
Johann Schumann, Reinhold Letz, Franz J. Kurfess
Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation. CADE (1990)
Johann Schumann, Reinhold Letz
PARTHEO: A High-Performance Parallel Theorem Prover. CADE (1990)
Johann Schumann, Reinhold Letz
PARTHEO: a high performance parallel theorem prover Forschungsberichte, TU Munich (1990)
Wolfgang Ertel, Johann Schumann, Christian B. Suttner
Learning Heuristics for a Theorem Prover Using Back Propagation. ÖGAI (1989)
Stefan Bayerl, Reinhold Letz, Johann Schumann
PARTHEO: A Parallel Inference Machine. Wissensbasierte Systeme (1989)
Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann
An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. AIMSA (1986)
Wolfgang Bibel, Franz J. Kurfess, K. Aspetsberger, Peter Hintenaus, Johann Schumann
Parallel Inference Machines. Future Parallel Computers (1986)