I agree that this site is using cookies. You can find further informations here.
X
Schmitt, Peter H.
7573  results:
Search for persons X
?
1

A Short History of KeY:

, In: Lecture Notes in Computer Science; Deductive Software Verification: Future Perspectives,
Schmitt, Peter H. - p. 3-18 , 2020
Link: https://doi.org/10.1007/..
 
?
2

Two First-Order Theories of Ordinals:

, In: Fields of Logic and Computation III; Lecture Notes in Computer Science,
Schmitt, Peter H. - p. 247-257 , 2020
Link: https://doi.org/10.1007/..
 
?
3

Compositional and Scheduler-Independent Information Flow Se..:

Sudbrock, Henning , 2013
Link: http://nbn-resolving.de/..
 
?
4

Verification of Object-Oriented Software. The KeY Approach 

Foreword by K. Rustan M. Leino  Lecture Notes in Computer Science ; 4334
Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter H. , 2006
Link: http://dx.doi.org/10.100..
 
?
5

Provably correct loops bounds for realtime Java programs:

, In: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems,
Hunt, James J. ; Siebert, Fridtjof B. ; Schmitt, Peter H.. - p. 162-169 , 2006
Link: https://dl.acm.org/doi/1..
 
?
6

The KeY tool: Integrating object oriented design and formal..:

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard...
Software & Systems Modeling.  4 (2005)  1 - p. 32-54 , 2005
Link: https://doi.org/10.1007/..
 
?
7

Preface:

Schmitt, Peter H.
Electronic Notes in Theoretical Computer Science.  102 (2004)  - p. 1-2 , 2004
Link: https://doi.org/10.1016/..
 
?
8

Entwurfsmustergesteuerte Erzeugung von OCL-Constraints:

, In: Informatik aktuell; Informatik 2000,
Baar, Thomas ; Hähnle, Reiner ; Sattler, Theo. - p. 389-404 , 2000
Link: https://doi.org/10.1007/..
 
?
9

Implementing semantic tableaux 

Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 96,12
Posegga, Joachim ; Schmitt, Peter H. - [Electronic ed.] . , [ca.1998]
Link: http://edok01.tib.uni-ha..
 
?
10

Proving WAM compiler correctness 

[Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 94,33]
Schmitt, Peter H. - [Electronic ed.] . , [ca.1998]
Link: http://edok01.tib.uni-ha..
 
?
11

Workshop: Abstract State Machines:

, In: Informatik aktuell; Informatik '98,
Glässer, Uwe ; Schmitt, Peter H. - p. 381-382 , 1998
Link: https://doi.org/10.1007/..
 
?
12

Automated Deduction with Shannon Graphs:

POSEGGA, JOACHIM ; SCHMITT, PETER H.
Journal of Logic and Computation.  5 (1995)  6 - p. 697-729 , 1995
Link: https://doi.org/10.1093/..
 
?
13

The liberalized ?-rule in free variable semantic tableaux:

H�hnle, Reiner ; Schmitt, Peter H.
Journal of Automated Reasoning.  13 (1994)  2 - p. 211-221 , 1994
Link: https://doi.org/10.1007/..
 
?
14

Preface:

Marek, Victor W. ; Schmitt, Peter H.
Annals of Mathematics and Artificial Intelligence.  12 (1994)  3-4 - p. I-II , 1994
Link: https://doi.org/10.1007/..
 
?
15

Theorie der logischen Programmierung 

Eine elementare Einführung  Springer eBook Collection, Computer Science and Engineering
Schmitt, Peter H. , 1992
Link: https://doi.org/10.1007/..
 
1-15