Searching for authors named "Johann Schumann" – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
Combining Automated Theorem Provers with Symbolic Algebraic Systems
- … Ames email: schumann@(email omitted); Postal address: Johann Schumann 2680 Fayette Dr. # 202…
- Add To MetaCart
-
PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols
- …PIL/SETHEO: ATool for the Automatic Analysis of Authentication Protocols ? Johann Schumann…
- Add To MetaCart
-
Automated Theorem Proving In High-Quality Software Design
- …JOHANN SCHUMANN AUTOMATED THEOREM PROVING IN HIGH-QUALITY SOFTWARE DESIGN 1. INTRODUCTION…
- Cited by 2 (0 self) – Add To MetaCart
-
Automated Theorem Proving in Software Engineering
- …Automated Theorem Proving in Software Engineering --- Position Paper --- Johann Schumann…
- Cited by 7 (2 self) – Add To MetaCart
-
Automatic Debugging Support for UML Designs
- …Automatic Debugging Support for UML Designs Johann Schumann RIACS / NASA Ames, Mo ett Field, CA…
- Cited by 2 (1 self) – Add To MetaCart
-
Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS - A Case Study
- … ? --- A Case Study --- Johann Schumann Institut fur Informatik Technische Universitat Munchen 80290…
- Cited by 4 (0 self) – Add To MetaCart
-
Scenario-Based Engineering Of Multi-Agent Systems
- …, jonthwernil.rc.ns.gov Johann Schumann RIACS I NASA Ames, schumannemail.arc.nasa.gov 1. Introduction A…
- Add To MetaCart
-
What makes a Code Review Trustworthy
- …What makes a Code Review Trustworthy? Stacy Nelson † and Johann Schumann ‡ † Nelson Consulting…
- Cited by 6 (3 self) – Add To MetaCart
-
A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems
- … Assurance Systems Pramod Gupta † and Johann Schumann ‡ † QSS Inc., ‡ RIACS / NASA Ames, {pgupta|schumann…
- Cited by 4 (3 self) – Add To MetaCart
-
Toward V&V of Neural Network Based Controllers
- …Toward V&V of Neural Network Based Controllers Johann Schumann RIACS / NASA Ames schumann…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
