Author

Profile picture
Gerhard Schellhorn
University of Augsburg
Germany
6 articles by this author
Sort by:
ASM ...
Research Article
ASM Refinement Preserving Invariants
Gerhard Schellhorn
10.3217/jucs-014-12-1929
 28-06-2008
 Unique: 620 | Total: 735  | Access Period:
 1929-1948
HTML
XML
PDF
J.UCS ...
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: 570 | Total: 672  | Access Period:
 86-87
HTML
XML
PDF
Verification ...
Research Article
Verification of ASM Refinements Using Generalized Forward Simulation
Gerhard Schellhorn
10.3217/jucs-007-11-0952
 28-11-2001
 Unique: 634 | Total: 735  | Access Period:
 952-979
HTML
XML
PDF
Correctness ...
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: 666 | Total: 823  | Access Period:
 194-209
HTML
XML
PDF
J.UCS ...
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: 520 | Total: 609  | Access Period:
 105-106
HTML
XML
PDF
J.UCS ...
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: 549 | Total: 646  | Access Period:
 1-2
HTML
XML
PDF

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

OK