 | 2005 |
|---|
| 12 |       | Heinrich Rust:
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Springer 2005 |
| 2004 |
|---|
| 11 |  | Heinrich Rust:
Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals.
Abstract State Machines 2004: 218-233 |
| 2003 |
|---|
| 10 | | Heinrich Rust:
A Non-standard Approach to Operational Semantics for Timed Systems.
Abstract State Machines 2003: 423-424 |
| 2001 |
|---|
| 9 | | Claus Lewerentz,
Heinrich Rust,
Frank Simon:
A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects.
LSO 2001: 135-151 |
| 8 | | Claus Lewerentz,
Heinrich Rust:
Die Rolle der Reflexion in Softwarepraktika.
SEUH 2001: 73-86 |
| 7 | | Claus Lewerentz,
Heinrich Rust:
Software-Ingenieure als kompetente Teamworker.
Softwaretechnik- Trends 21(1): (2001) |
| 2000 |
|---|
| 6 | | Claus Lewerentz,
Heinrich Rust:
Are software engineers true engineers?
Ann. Software Eng. 10: 311-328 (2000) |
| 1999 |
|---|
| 5 | | Gerd Köhler,
Heinrich Rust,
Frank Simon:
Understanding Object Oriented Software Systems without Source Code Inspection.
ECOOP Workshops 1999: 167-168 |
| 4 | | Dirk Beyer,
Heinrich Rust:
Concepts of Cottbus Timed Automata.
FBT 1999: 27-34 |
| 1998 |
|---|
| 3 | | Gerd Köhler,
Heinrich Rust,
Frank Simon:
Assessment of Large Object Oriented Software Systems - A Metric Based Process.
ECOOP Workshops 1998: 250-251 |
| 2 | | Dirk Beyer,
Heinrich Rust:
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata.
FBT 1998: 148-159 |
| 1 | | Heinrich Rust:
Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns.
SAFECOMP 1998: 32-44 |
