dblp.uni-trier.dewww.uni-trier.de

Johann Schumann Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
48EEJohann 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
2007
47EEYan Liu, Bojan Cukic, Johann Schumann, Michael Jiang: Performance Analysis of Dynamic Cell Structures. Trends in Neural Computation 2007: 367-389
2006
46EEJohann Schumann, Yan Liu: Performance Estimation of a Neural Network-Based Controller. ISNN (2) 2006: 981-990
45EEEwen Denney, Bernd Fischer, Johann Schumann: An Empirical Evaluation of Automated Theorem Provers in Software Certification. International Journal on Artificial Intelligence Tools 15(1): 81-108 (2006)
2004
44EEPramod Gupta, Johann Schumann: A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems. HASE 2004: 277-278
43EEEwen Denney, Bernd Fischer, Johann Schumann: Adding Assurance to Automatically Generated Code. HASE 2004: 297-299
42EEStacy D. Nelson, Johann Schumann: What Makes a Code Review Trustworthy? HICSS 2004
41EEEwen Denney, Bernd Fischer, Johann Schumann: Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. IJCAR 2004: 198-212
40EEJon Whittle, Johann Schumann: Automating the implementation of Kalman filter algorithms. ACM Trans. Math. Softw. 30(4): 434-453 (2004)
39EEGabriele Scheler, Johann Schumann: Presynaptic modulation as fast synaptic switching: state-dependent modulation of task performance CoRR cs.NE/0401020: (2004)
2003
38EEBernd Fischer, Johann Schumann: Applying AutoBayes to the Analysis of Planetary Nebulae Images. ASE 2003: 337-342
37EEJohann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle: Certification Support for Automatically Generated Programs. HICSS 2003: 337
36EEJohann Schumann: Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code. TABLEAUX 2003: 3
35EEBernd Fischer, Johann Schumann: AutoBayes: a system for generating data analysis programs from statistical models. J. Funct. Program. 13(3): 483-508 (2003)
2002
34EEMichael W. Whalen, Johann Schumann, Bernd Fischer: AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. CADE 2002: 290-294
33EEMichael W. Whalen, Johann Schumann, Bernd Fischer: Synthesizing Certified Code. FME 2002: 431-450
32EEAlexander G. Gray, Bernd Fischer, Johann Schumann, Wray L. Buntine: Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. NIPS 2002: 673-680
31EEJohann Schumann, Stacy D. Nelson: Toward V&V of neural network based controllers. WOSS 2002: 67-72
2001
30EEJon 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
29EEJohann Schumann: Automatic Debugging Support for UML Designs. AADEBUG 2000
28EEJohann Schumann, Jon Whittle: Automatic Synthesis of Agent Designs in UML. FAABS 2000: 148-162
27EEJon Whittle, Johann Schumann: Generating statechart designs from scenarios. ICSE 2000: 314-323
26 Johann Schumann: Automated Theorem Proving in High-Quality Software Design. Intellectics and Computational Logic 2000: 295-312
25EEBernd Fischer, Johann Schumann, Thomas Pressburger: Generating Data Analysis Programs from Statistical Models. SAIG 2000: 212-229
1999
24EEJohann Schumann: PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols. CAV 1999: 500-504
1998
23 Johann Schumann: Verifikation von Authentifikationsprotokollen mit Automatischen Beweisern. KI 12(4): 48-53 (1998)
1997
22EEJohann Schumann, Bernd Fischer: NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. ASE 1997: 246-254
21 Andreas Wolf, Johann Schumann: ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output. CADE 1997: 61-64
20EEBernd Fischer, Johann Schumann: SETHEO Goes Software Engineering: Application of ATP to Software Reuse. CADE 1997: 65-68
19EEJohann Schumann: Automatic Verification of Cryptographic Protocols with SETHEO. CADE 1997: 87-100
18 Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr: SETHEO and E-SETHEO - The CADE-13 Systems. J. Autom. Reasoning 18(2): 237-246 (1997)
1996
17EEJohann Schumann: SiCoTHEO: Simple Competitive Parallel Theorem Provers. CADE 1996: 240-244
1995
16 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
15EEJohann Schumann: DELTA - A Bottom-up Preprocessor for Top-Down Theorem Provers - System Abstract. CADE 1994: 774-777
14EEChristoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann: SETHEO V3.2: Recent Developments - System Abstract. CADE 1994: 778-782
13 Johann Schumann, Manfred R. Jobmann: Analysing the Load Balancing Scheme of a Parallel System on Multiprocessors - A Modeling Approach. PARLE 1994: 819-822
12 Johann Schumann: Tableaux-based Theorem Provers: Systems and Implementations. J. Autom. Reasoning 13(3): 409-421 (1994)
1992
11EEJohann Schumann: KPROP - An AND-parallel Theorem Prover for Propositional Logic implemented in KL1 (System Abstract). CADE 1992: 740-742
10 Manfred R. Jobmann, Johann Schumann: Modelling and Performances Analysis of a Parallel Theorem Prover. SIGMETRICS 1992: 259-260
9 Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel: SETHEO: A High-Performance Theorem Prover. J. Autom. Reasoning 8(2): 183-212 (1992)
1991
8 Manfred R. Jobmann, Johann Schumann: Modelling and performance Analysis of a Parallel Theorem Prover. MMB 1991: 228-243
1990
7EEJohann Schumann, Reinhold Letz: PARTHEO: A High-Performance Parallel Theorem Prover. CADE 1990: 40-56
6EEJohann Schumann, Reinhold Letz, Franz J. Kurfess: Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation. CADE 1990: 683
5 Johann Schumann: Parallel Theorem Provers - An Overview. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 26-50
1989
4 Wolfgang Ertel, Johann Schumann, Christian B. Suttner: Learning Heuristics for a Theorem Prover Using Back Propagation. ÖGAI 1989: 87-95
3 Stefan Bayerl, Reinhold Letz, Johann Schumann: PARTHEO: A Parallel Inference Machine. Wissensbasierte Systeme 1989: 527-539
1986
2 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
1 Wolfgang Bibel, Franz J. Kurfess, K. Aspetsberger, P. Hintenaus, Johann Schumann: Parallel Inference Machines. Future Parallel Computers 1986: 185-226

Coauthor Index

1K. Aspetsberger [1]
2Jeffrey Van Baalen [30]
3Tony Barrett [48]
4Stefan Bayerl [2] [3] [9]
5Wolfgang Bibel [1] [9]
6Guillaume P. Brat [30]
7Wray L. Buntine [32]
8Bojan Cukic [47]
9Ewen Denney [41] [43] [45]
10Elmar Eder [2]
11Wolfgang Ertel [4]
12Bernd Fischer [20] [22] [25] [32] [33] [34] [35] [37] [38] [41] [43] [45]
13Christoph Goller [14] [18]
14Alexander G. Gray [32]
15Karen Gundy-Burlet [48]
16Pramod Gupta [44]
17P. Hintenaus [1]
18Ortrun Ibens [18]
19Michael Jiang [47]
20Manfred R. Jobmann [8] [10] [13]
21Franz J. Kurfess [1] [2] [6]
22Reinhold Letz [2] [3] [6] [7] [9] [14] [18]
23Yan Liu (Yan (Jenny) Liu) [46] [47]
24Michael R. Lowry [30]
25Klaus Mayr [14] [18]
26Tim Menzies [48]
27Max Moser [18]
28Stacy D. Nelson [31] [42]
29Phil Oh [30]
30Corina S. Pasareanu [48]
31John Penix [30]
32Thomas Pressburger [25] [30]
33Peter Robinson [30]
34Gabriele Scheler [39]
35Joachim Steinbach [18]
36Christian B. Suttner [4]
37Michael W. Whalen [33] [34] [37]
38Jon Whittle (Jonathan Whittle) [27] [28] [30] [37] [40]
39Andreas Wolf [21]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)