Johann Schumann
According to our database1,
Johann Schumann
authored at least 85 papers
between 1986 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023
Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023
2022
Toward Certification of Machine-Learning Systems for Low Criticality Airborne Applications.
CoRR, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Inf. Softw. Technol., 2021
2020
A Framework for the Analysis of Deep Neural Networks in Autonomous Aerospace Applications using Bayesian Statistics.
Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2020
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020
A Framework for the Analysis of Deep Neural Networks in Aerospace applications using Bayesian Statistics.
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020
A Framework for Software Health Management using Bayesian Statistics: Position Paper.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020
2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
2018
Proceedings of the Models, Mindsets, 2018
2017
Formal Methods Syst. Des., 2017
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017
2016
Proceedings of the Runtime Verification - 16th International Conference, 2016
2014
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems.
Proceedings of the Runtime Verification - 5th International Conference, 2014
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014
2013
Innov. Syst. Softw. Eng., 2013
2011
2010
Proceedings of the Applications of Neural Networks in High Assurance Systems, 2010
Proceedings of the Workshop on Future of Software Engineering Research, 2010
Who Guards the Guardians? - Toward V&V of Health Management Software - (Short Paper).
Proceedings of the Runtime Verification - First International Conference, 2010
Proceedings of the Logic-Based Program Synthesis and Transformation, 2010
2008
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008
Proceedings of the 2008 IEEE International Symposium on Intelligent Control, 2008
2007
Proceedings of the Trends in Neural Computation, 2007
2006
Int. J. Artif. Intell. Tools, 2006
Proceedings of the Advances in Neural Networks - ISNN 2006, Third International Symposium on Neural Networks, Chengdu, China, May 28, 2006
2005
Proceedings of the IEEE International Conference on Systems, 2005
2004
ACM Trans. Math. Softw., 2004
Presynaptic modulation as fast synaptic switching: state-dependent modulation of task performance
CoRR, 2004
Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004
A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004
2003
J. Funct. Program., 2003
Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003
2002
Proceedings of the First Workshop on Self-Healing Systems, 2002
Proceedings of the Advances in Neural Information Processing Systems 15 [Neural Information Processing Systems, 2002
AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description.
Proceedings of the Automated Deduction, 2002
2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Springer, ISBN: 978-3-540-67989-9, 2001
2000
Proceedings of the Semantics, 2000
Proceedings of the 22nd International Conference on on Software Engineering, 2000
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000
Automated Theorem Proving in High-Quality Software Design.
Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000
Proceedings of the Fourth International Workshop on Automated Debugging, 2000
1999
Proceedings of the Computer Aided Verification, 11th International Conference, 1999
1998
Verifikation von Authentifikationsprotokollen mit Automatischen Beweisern.
Künstliche Intell., 1998
1997
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997
Proceedings of the Automated Deduction, 1997
Proceedings of the Automated Deduction, 1997
Proceedings of the Automated Deduction, 1997
Proceedings of the Parallel Processing for Artificial Intelligence 3, 1997
1996
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
1995
Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study.
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995
1994
Analysing the Load Balancing Scheme of a Parallel System on Multiprocessors - A Modeling Approach.
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
1992
Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1992
KPROP - An AND-parallel Theorem Prover for Propositional Logic implemented in KL1 (System Abstract).
Proceedings of the Automated Deduction, 1992
1991
Forschungsberichte, TU Munich, 1991
Forschungsberichte, TU Munich, 1991
1990
Forschungsberichte, TU Munich, 1990
Proceedings of the Parallelization in Inference Systems, 1990
Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation.
Proceedings of the 10th International Conference on Automated Deduction, 1990
1989
Forschungsberichte, TU Munich, 1989
Proceedings of the Wissensbasierte Systeme, 1989
1986
An Implementation of a PROLOG-like Theorem Prover based on the Connection Method.
Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986