Register
|
Login
Full Text
Author
Title
Submit manuscript
About
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Author
Gerhard Schellhorn
University of Augsburg
Germany
6 articles by this author
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
Research Article
ASM Refinement Preserving Invariants
Gerhard Schellhorn
10.3217/jucs-014-12-1929
28-06-2008
Unique: 895 | Total: 1106
Access Period: 0
0
1929-1948
HTML
XML
PDF
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
Access Period: 0
0
86-87
HTML
XML
PDF
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
Access Period: 0
0
952-979
HTML
XML
PDF
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
Access Period: 0
0
194-209
HTML
XML
PDF
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
Access Period: 0
0
105-106
HTML
XML
PDF
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
Access Period: 0
0
1-2
HTML
XML
PDF
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK