Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohann Schumann
Johann M. Ph. Schumann
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2001
[b2]Johann Schumann:
Automated theorem proving in software engineering. Springer 2001, ISBN 978-3-540-67989-9, pp. I-XIV, 1-228- 1991
- [b1]Johann M. Ph. Schumann:
Efficient theorem provers based on an abstract machine. Technical University Munich, Germany, 1991, pp. 1-187
Journal Articles
- 2021
- [j12]Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann:
Automated formalization of structured natural language requirements. Inf. Softw. Technol. 137: 106590 (2021) - 2017
- [j11]Patrick Moosbrugger, Kristin Y. Rozier, Johann Schumann:
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems. Formal Methods Syst. Des. 51(1): 31-61 (2017) - 2013
- [j10]Ashok N. Srivastava, Johann Schumann:
Software health management: a necessity for safety critical systems. Innov. Syst. Softw. Eng. 9(4): 219-233 (2013) - [j9]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): 271-292 (2013) - 2011
- [j8]Dimitra Giannakopoulou, David H. Bushnell, Johann Schumann, Heinz Erzberger, Karen Heere:
Formal testing for separation assurance. Ann. Math. Artif. Intell. 63(1): 5-30 (2011) - 2006
- [j7]Ewen Denney, Bernd Fischer
, Johann Schumann:
An Empirical Evaluation of Automated Theorem Provers in Software Certification. Int. J. Artif. Intell. Tools 15(1): 81-108 (2006) - 2004
- [j6]Jon Whittle, Johann Schumann:
Automating the implementation of Kalman filter algorithms. ACM Trans. Math. Softw. 30(4): 434-453 (2004) - 2003
- [j5]Bernd Fischer, Johann Schumann:
AutoBayes: a system for generating data analysis programs from statistical models. J. Funct. Program. 13(3): 483-508 (2003) - 1998
- [j4]Johann Schumann:
Verifikation von Authentifikationsprotokollen mit Automatischen Beweisern. Künstliche Intell. 12(4): 48-53 (1998) - 1997
- [j3]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): 237-246 (1997) - 1994
- [j2]Johann Schumann:
Tableaux-based Theorem Provers: Systems and Implementations. J. Autom. Reason. 13(3): 409-421 (1994) - 1992
- [j1]Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel:
SETHEO: A High-Performance Theorem Prover. J. Autom. Reason. 8(2): 183-212 (1992)
Conference and Workshop Papers
- 2023
- [c64]Katerina Goseva-Popstojanova, Denny Hood, Johann Schumann, Noble Nkwocha:
The Anatomy of Software Changes and Bugs in Autonomous Operating System. COMPSAC 2023: 28-38 - [c63]Marie Farrell, Anastasia Mavridou, Johann Schumann:
Exploring Requirements for Software that Learns: A Research Preview. REFSQ 2023: 179-188 - 2022
- [c62]Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann:
Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. CAV (2) 2022: 490-504 - 2020
- [c61]Yuning He, Johann Schumann:
A framework for the analysis of adaptive systems using bayesian statistics. SEAMS@ICSE 2020: 64-70 - [c60]Yuning He, Johann Schumann:
A Framework for Software Health Management using Bayesian Statistics: Position Paper. ICSE (Workshops) 2020: 719-722 - [c59]Yuning He, Johann Schumann:
A Framework for the Analysis of Deep Neural Networks in Aerospace applications using Bayesian Statistics. IJCNN 2020: 1-9 - [c58]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: 300-310 - [c57]Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann:
Generation of Formal Requirements from Structured Natural Language. REFSQ 2020: 19-35 - [c56]Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi:
Formal Requirements Elicitation with FRET. REFSQ Workshops 2020 - [c55]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 - [c54]Yuning He, Johann Schumann:
A Framework for the Analysis of Deep Neural Networks in Autonomous Aerospace Applications using Bayesian Statistics. SP (Workshops) 2020: 234-239 - 2019
- [c53]Johann Schumann, Katerina Goseva-Popstojanova:
Verification and Validation Approaches for Model-Based Software Engineering. MoDELS (Companion) 2019: 514-518 - 2018
- [c52]Yuning He, Dimitra Giannakopoulou, Johann Schumann:
Statistical Prediction of Failures in Aircraft Collision Avoidance Systems. Models, Mindsets, Meta 2018: 249-267 - 2017
- [c51]Kristin Yvonne Rozier, Johann Schumann:
R2U2: Tool Overview. RV-CuBES 2017: 138-156 - 2016
- [c50]Dimitra Giannakopoulou, Dennis Guck, Johann Schumann:
Exploring Model Quality for ACAS X. FM 2016: 274-290 - [c49]Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier:
Runtime Analysis with R2U2: A Tool Exhibition Report. RV 2016: 504-509 - 2015
- [c48]Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier:
R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems. RV 2015: 233-249 - 2014
- [c47]Johann Schumann, Stefan-Alexander Schneider:
Automated Testcase Generation for Numerical Support Functions in Embedded Systems. NASA Formal Methods 2014: 252-257 - [c46]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: 215-230 - [c45]Thomas Reinbacher, Kristin Yvonne Rozier, Johann Schumann:
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems. TACAS 2014: 357-372 - 2010
- [c44]Johann Schumann, Karen Cate, Alan Lee:
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System. LOPSTR 2010: 21-36 - [c43]Johann Schumann, Ashok N. Srivastava, Ole J. Mengshoel:
Who Guards the Guardians? - Toward V&V of Health Management Software - (Short Paper). RV 2010: 399-404 - [c42]Johann Schumann, Ole J. Mengshoel, Ashok N. Srivastava, Adnan Darwiche:
Towards software health management with bayesian networks. FoSER 2010: 331-336 - 2008
- [c41]Danil V. Prokhorov, Johann Schumann:
Intelligent Systems for Modeling and Control: Advances in Design and Validation. ISIC 2008: 18 - [c40]Johann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett:
Tool Support for Parametric Analysis of Large Software Simulation Systems. ASE 2008: 497-498 - 2006
- [c39]Johann Schumann, Yan Liu:
Performance Estimation of a Neural Network-Based Controller. ISNN (2) 2006: 981-990 - 2005
- [c38]Ashok N. Srivastava, Johann Schumann, Bernd Fischer:
An ensemble approach to building Mercer Kernels with prior information. SMC 2005: 2352-2359 - 2004
- [c37]Ewen Denney, Bernd Fischer, Johann Schumann:
Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. IJCAR 2004: 198-212 - [c36]Pramod Gupta, Johann Schumann:
A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems. HASE 2004: 277-278 - [c35]Ewen Denney, Bernd Fischer, Johann Schumann:
Adding Assurance to Automatically Generated Code. HASE 2004: 297-299 - [c34]Stacy D. Nelson, Johann Schumann:
What Makes a Code Review Trustworthy? HICSS 2004 - 2003
- [c33]Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle:
Certification Support for Automatically Generated Programs. HICSS 2003: 337 - [c32]Bernd Fischer, Johann Schumann:
Applying AutoBayes to the Analysis of Planetary Nebulae Images. ASE 2003: 337-342 - [c31]Johann Schumann:
Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code. TABLEAUX 2003: 3 - 2002
- [c30]Michael W. Whalen, Johann Schumann, Bernd Fischer:
AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. CADE 2002: 290-294 - [c29]Michael W. Whalen, Johann Schumann, Bernd Fischer:
Synthesizing Certified Code. FME 2002: 431-450 - [c28]Alexander G. Gray, Bernd Fischer, Johann Schumann, Wray L. Buntine:
Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. NIPS 2002: 673-680 - [c27]Johann Schumann, Stacy D. Nelson:
Toward V&V of neural network based controllers. WOSS 2002: 67-72 - 2001
- [c26]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: 395-399 - 2000
- [c25]Johann Schumann:
Automatic Debugging Support for UML Designs. AADEBUG 2000 - [c24]Johann Schumann:
Automated Theorem Proving in High-Quality Software Design. Intellectics and Computational Logic 2000: 295-312 - [c23]Johann Schumann, Jon Whittle:
Automatic Synthesis of Agent Designs in UML. FAABS 2000: 148-162 - [c22]Jon Whittle, Johann Schumann:
Generating statechart designs from scenarios. ICSE 2000: 314-323 - [c21]Bernd Fischer, Johann Schumann, Thomas Pressburger:
Generating Data Analysis Programs from Statistical Models. SAIG 2000: 212-229 - 1999
- [c20]Johann Schumann:
PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols. CAV 1999: 500-504 - 1997
- [c19]Andreas Wolf, Johann Schumann:
ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output. CADE 1997: 61-64 - [c18]Bernd Fischer, Johann Schumann:
SETHEO Goes Software Engineering: Application of ATP to Software Reuse. CADE 1997: 65-68 - [c17]Johann Schumann:
Automatic Verification of Cryptographic Protocols with SETHEO. CADE 1997: 87-100 - [c16]Johann Schumann, Bernd Fischer:
NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. ASE 1997: 246-254 - 1996
- [c15]Johann Schumann:
SiCoTHEO: Simple Competitive Parallel Theorem Provers. CADE 1996: 240-244 - 1995
- [c14]Johann Schumann:
Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study. TABLEAUX 1995: 338-352 - 1994
- [c13]Johann Schumann:
DELTA - A Bottom-up Preprocessor for Top-Down Theorem Provers - System Abstract. CADE 1994: 774-777 - [c12]Christoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann:
SETHEO V3.2: Recent Developments - System Abstract. CADE 1994: 778-782 - [c11]Johann Schumann, Manfred R. Jobmann:
Analysing the Load Balancing Scheme of a Parallel System on Multiprocessors - A Modeling Approach. PARLE 1994: 819-822 - 1992
- [c10]Johann Schumann:
KPROP - An AND-parallel Theorem Prover for Propositional Logic implemented in KL1 (System Abstract). CADE 1992: 740-742 - [c9]Manfred R. Jobmann, Johann Schumann:
Modelling and Performances Analysis of a Parallel Theorem Prover. SIGMETRICS 1992: 259-260 - 1991
- [c8]Manfred R. Jobmann, Johann Schumann:
Modelling and performance Analysis of a Parallel Theorem Prover. MMB 1991: 228-243 - 1990
- [c7]Johann Schumann, Reinhold Letz:
PARTHEO: A High-Performance Parallel Theorem Prover. CADE 1990: 40-56 - [c6]Johann Schumann, Reinhold Letz, Franz J. Kurfess:
Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation. CADE 1990: 683 - [c5]Johann Schumann:
Parallel Theorem Provers - An Overview. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 26-50 - 1989
- [c4]Wolfgang Ertel, Johann Schumann, Christian B. Suttner:
Learning Heuristics for a Theorem Prover Using Back Propagation. ÖGAI 1989: 87-95 - [c3]Stefan Bayerl, Reinhold Letz, Johann Schumann:
PARTHEO: A Parallel Inference Machine. Wissensbasierte Systeme 1989: 527-539 - 1986
- [c2]Wolfgang Bibel, Franz J. Kurfess, K. Aspetsberger, Peter Hintenaus, Johann Schumann:
Parallel Inference Machines. Future Parallel Computers 1986: 185-226 - [c1]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: 29-36
Parts in Books or Collections
- 2010
- [p3]Johann Schumann, Pramod Gupta, Yan Liu:
Application of Neural Networks in High Assurance Systems: A Survey. Applications of Neural Networks in High Assurance Systems 2010: 1-19 - 2007
- [p2]Yan Liu, Bojan Cukic, Johann Schumann, Michael Jiang:
Performance Analysis of Dynamic Cell Structures. Trends in Neural Computation 2007: 367-389 - 1997
- [p1]Johann Schumann:
SiCoTHEO - Simple competitive parallel theorem provers based on SETHEO. Parallel Processing for Artificial Intelligence 3 1997: 231-246
Editorship
- 2010
- [e1]Johann Schumann, Yan Liu:
Applications of Neural Networks in High Assurance Systems. Studies in Computational Intelligence 268, Springer 2010, ISBN 978-3-642-10689-7 [contents]
Informal and Other Publications
- 2023
- [i8]Konstantin Dmitriev, Johann Schumann, Islam Bostanov, Mostafa Abdelhamid, Florian Holzapfel:
Runway Sign Classifier: A DAL C Certifiable Machine Learning System. CoRR abs/2310.06506 (2023) - 2022
- [i7]Konstantin Dmitriev, Johann Schumann, Florian Holzapfel:
Toward Certification of Machine-Learning Systems for Low Criticality Airborne Applications. CoRR abs/2209.13975 (2022) - 2004
- [i6]Gabriele Scheler, Johann Schumann:
Presynaptic modulation as fast synaptic switching: state-dependent modulation of task performance. CoRR cs.NE/0401020 (2004) - 1992
- [i5]Johann M. Ph. Schumann, Max Moser:
A graphical user interface for SETHEO: proposal. Forschungsberichte, TU Munich FKI 173 92: 1-23 (1992) - 1991
- [i4]Manfred R. Jobmann, Johann Schumann:
Modelling and performance analysis of a parallel theorem prover. Forschungsberichte, TU Munich TUM I 9129: 1-17 (1991) - [i3]Johann M. Ph. Schumann:
Parallelization of inference systems by using an abstract machine. Forschungsberichte, TU Munich TUM I 9133: 1-17 (1991) - 1990
- [i2]Johann Schumann, Reinhold Letz:
PARTHEO: a high performance parallel theorem prover. Forschungsberichte, TU Munich TUM I 9009: 1-17 (1990) - 1989
- [i1]Johann M. Ph. Schumann, Wolfgang Ertel, Christian B. Suttner:
Learning heuristics for a theorem prover using back propagation. Forschungsberichte, TU Munich FKI 100 89: 1-9 (1989)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-12-12 20:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
