Johann Schumann

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

Coauthor Index

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

Colors in the list of coauthors