2008 |
48 | EE | 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 |
2007 |
47 | EE | Yan Liu,
Bojan Cukic,
Johann Schumann,
Michael Jiang:
Performance Analysis of Dynamic Cell Structures.
Trends in Neural Computation 2007: 367-389 |
2006 |
46 | EE | Johann Schumann,
Yan Liu:
Performance Estimation of a Neural Network-Based Controller.
ISNN (2) 2006: 981-990 |
45 | EE | Ewen 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 |
44 | EE | Pramod Gupta,
Johann Schumann:
A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems.
HASE 2004: 277-278 |
43 | EE | Ewen Denney,
Bernd Fischer,
Johann Schumann:
Adding Assurance to Automatically Generated Code.
HASE 2004: 297-299 |
42 | EE | Stacy D. Nelson,
Johann Schumann:
What Makes a Code Review Trustworthy?
HICSS 2004 |
41 | EE | Ewen Denney,
Bernd Fischer,
Johann Schumann:
Using Automated Theorem Provers to Certify Auto-generated Aerospace Software.
IJCAR 2004: 198-212 |
40 | EE | Jon Whittle,
Johann Schumann:
Automating the implementation of Kalman filter algorithms.
ACM Trans. Math. Softw. 30(4): 434-453 (2004) |
39 | EE | Gabriele Scheler,
Johann Schumann:
Presynaptic modulation as fast synaptic switching: state-dependent modulation of task performance
CoRR cs.NE/0401020: (2004) |
2003 |
38 | EE | Bernd Fischer,
Johann Schumann:
Applying AutoBayes to the Analysis of Planetary Nebulae Images.
ASE 2003: 337-342 |
37 | EE | Johann Schumann,
Bernd Fischer,
Michael W. Whalen,
Jon Whittle:
Certification Support for Automatically Generated Programs.
HICSS 2003: 337 |
36 | EE | Johann Schumann:
Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code.
TABLEAUX 2003: 3 |
35 | EE | Bernd Fischer,
Johann Schumann:
AutoBayes: a system for generating data analysis programs from statistical models.
J. Funct. Program. 13(3): 483-508 (2003) |
2002 |
34 | EE | Michael W. Whalen,
Johann Schumann,
Bernd Fischer:
AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description.
CADE 2002: 290-294 |
33 | EE | Michael W. Whalen,
Johann Schumann,
Bernd Fischer:
Synthesizing Certified Code.
FME 2002: 431-450 |
32 | EE | Alexander G. Gray,
Bernd Fischer,
Johann Schumann,
Wray L. Buntine:
Automatic Derivation of Statistical Algorithms: The EM Family and Beyond.
NIPS 2002: 673-680 |
31 | EE | Johann Schumann,
Stacy D. Nelson:
Toward V&V of neural network based controllers.
WOSS 2002: 67-72 |
2001 |
30 | EE | 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 |
29 | EE | Johann Schumann:
Automatic Debugging Support for UML Designs.
AADEBUG 2000 |
28 | EE | Johann Schumann,
Jon Whittle:
Automatic Synthesis of Agent Designs in UML.
FAABS 2000: 148-162 |
27 | EE | Jon 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 |
25 | EE | Bernd Fischer,
Johann Schumann,
Thomas Pressburger:
Generating Data Analysis Programs from Statistical Models.
SAIG 2000: 212-229 |
1999 |
24 | EE | Johann 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 |
22 | EE | Johann 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 |
20 | | Bernd Fischer,
Johann Schumann:
SETHEO Goes Software Engineering: Application of ATP to Software Reuse.
CADE 1997: 65-68 |
19 | | Johann 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 |
17 | | Johann 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 |
15 | | Johann Schumann:
DELTA - A Bottom-up Preprocessor for Top-Down Theorem Provers - System Abstract.
CADE 1994: 774-777 |
14 | | Christoph 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 |
11 | | Johann 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 |
7 | | Johann Schumann,
Reinhold Letz:
PARTHEO: A High-Performance Parallel Theorem Prover.
CADE 1990: 40-56 |
6 | | Johann 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 |