Johann Schumann

90 papers A* 7A 13B 13C 2Misc 1Journal 19Unranked 30

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