Travelled to:1 × Australia
1 × Austria
2 × Canada
2 × Denmark
2 × France
2 × Ireland
2 × Italy
3 × USA
Collaborated with:B.Fischer ∅ R.Letz M.W.Whalen J.Whittle A.Wolf T.Pressburger T.Reinbacher K.Y.Rozier K.Cate A.Lee E.Denney F.J.Kurfess C.Goller K.Mayr K.Gundy-Burlet C.S.Pasareanu T.Menzies T.Barrett J.V.Baalen P.Robinson J.Penix P.Oh M.R.Lowry G.P.Brat
Talks about:system (7) theorem (6) softwar (6) prover (6) analysi (5) setheo (5) auto (4) synthesi (3) parallel (3) generat (3)
Person: Johann Schumann
DBLP: Schumann:Johann
Contributed to:
2014
2010
2008
20042003
2002
20022001
2000
2000
1999199719971996199419921990Wrote 21 papers:
- TACAS-2014-ReinbacherRS #health #realtime #runtime
- Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems (TR, KYR, JS), pp. 357–372.
- LOPSTR-2010-SchumannCL #analysis #synthesis
- Analysis of Air Traffic Track Data with the AutoBayes Synthesis System (JS, KC, AL), pp. 21–36.
- ASE-2008-SchumannGPMB #analysis #parametricity #scalability #simulation #tool support
- Tool Support for Parametric Analysis of Large Software Simulation Systems (JS, KGB, CSP, TM, TB), pp. 497–498.
- IJCAR-2004-DenneyFS #automation #proving #theorem proving #using
- Using Automated Theorem Provers to Certify Auto-generated Aerospace Software (ED, BF, JS), pp. 198–212.
- ASE-2003-FischerS #analysis #image
- Applying AutoBayes to the Analysis of Planetary Nebulae Images (BF, JS), pp. 337–342.
- CADE-2002-WhalenSF #automation #certification #named #synthesis
- AutoBayes/CC — Combining Program Synthesis with Automatic Code Certification — System Description (MWW, JS, BF), pp. 290–294.
- FME-2002-WhalenSF
- Synthesizing Certified Code (MWW, JS, BF), pp. 431–450.
- ASE-2001-WhittleBSRPPOLB #deduction #estimation #named #synthesis
- Amphion/NAV: Deductive Synthesis of State Estimation Software (JW, JVB, JS, PR, TP, JP, PO, MRL, GPB), pp. 395–399.
- ICSE-2000-WhittleS #design #generative #statechart
- Generating statechart designs from scenarios (JW, JS), pp. 314–323.
- SAIG-2000-FischerSP #data analysis #generative #modelling #source code #statistics
- Generating Data Analysis Programs from Statistical Models (BF, JS, TP), pp. 212–229.
- CAV-1999-Schumann #analysis #authentication #automation #named #protocol
- PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols (JS), pp. 500–504.
- ASE-1997-SchumannF #component #named #retrieval
- NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical (JS, BF), pp. 246–254.
- CADE-1997-FischerS #re-engineering #reuse
- SETHEO Goes Software Engineering: Application of ATP to Software Reuse (BF, JS), pp. 65–68.
- CADE-1997-Schumann #automation #encryption #protocol #verification
- Automatic Verification of Cryptographic Protocols with SETHEO (JS), pp. 87–100.
- CADE-1997-WolfS #named #natural language #proving
- ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output (AW, JS), pp. 61–64.
- CADE-1996-Schumann #named #parallel #proving #theorem proving
- SiCoTHEO: Simple Competitive Parallel Theorem Provers (JS), pp. 240–244.
- CADE-1994-GollerLMS
- SETHEO V3.2: Recent Developments — System Abstract (CG, RL, KM, JS), pp. 778–782.
- CADE-1994-Schumann #bottom-up #named #preprocessor #proving #theorem proving #top-down
- DELTA — A Bottom-up Preprocessor for Top-Down Theorem Provers — System Abstract (JS), pp. 774–777.
- CADE-1992-Schumann #logic #named #proving #theorem proving
- KPROP — An AND-parallel Theorem Prover for Propositional Logic implemented in KL1 (JS), pp. 740–742.
- CADE-1990-SchumannL #named #parallel #proving #theorem proving
- PARTHEO: A High-Performance Parallel Theorem Prover (JS, RL), pp. 40–56.
- CADE-1990-SchumannLK #implementation #parallel #performance #proving #theorem proving #tutorial
- Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation (JS, RL, FJK), p. 683.