Author

Profile picture
Gerhard Schellhorn
University of Augsburg
Germany
6 articles by this author
Sort by:
ASM Refinement Preserving Invariants
Research Article
ASM Refinement Preserving Invariants
Gerhard Schellhorn
10.3217/jucs-014-12-1929
 28-06-2008
 Unique: 895 | Total: 1106
 1929-1948
HTML
XML
PDF
J.UCS Special Issue on Tools for System ...
Editorial
J.UCS Special Issue on Tools for System Design and Verification
Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
10.3217/jucs-009-02
 28-02-2003
 Unique: 890 | Total: 1089
 86-87
HTML
XML
PDF
Verification of ASM Refinements Using ...
Research Article
Verification of ASM Refinements Using Generalized Forward Simulation
Gerhard Schellhorn
10.3217/jucs-007-11-0952
 28-11-2001
 Unique: 1079 | Total: 1289
 952-979
HTML
XML
PDF
Correctness of Efficient Real-Time Model ...
Research Article
Correctness of Efficient Real-Time Model Checking
Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf
10.3217/jucs-007-02-0194
 28-02-2001
 Unique: 960 | Total: 1223
 194-209
HTML
XML
PDF
J.UCS Special Issue on Tools for System ...
Editorial
J.UCS Special Issue on Tools for System Design and Verification - Part 2
Wolfgang Reif, Gerhard Schellhorn
10.3217/jucs-007-02
 28-02-2001
 Unique: 829 | Total: 997
 105-106
HTML
XML
PDF
J.UCS Special Issue on Tools for System ...
Editorial
J.UCS Special Issue on Tools for System Design and Verification
Wolfgang Reif, Gerhard Schellhorn
10.3217/jucs-007-01
 28-01-2001
 Unique: 800 | Total: 982
 1-2
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK