Heinrich Rust

Publication Activity (10 Years)

Years Active: 1998-2004
Publications (10 Years): 0

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Heinrich Rust
Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals. Abstract State Machines (2004)
Heinrich Rust
A Non-standard Approach to Operational Semantics for Timed Systems. Abstract State Machines (2003)
Claus Lewerentz, Heinrich Rust
Die Rolle der Reflexion in Softwarepraktika. SEUH (2001)
Claus Lewerentz, Heinrich Rust, Frank Simon
A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects. LSO (2001)
Claus Lewerentz, Heinrich Rust
Software-Ingenieure als kompetente Teamworker. Softwaretechnik-Trends 21 (1) (2001)
Claus Lewerentz, Heinrich Rust
Are software engineers true engineers? Ann. Softw. Eng. 10 (2000)
Dirk Beyer, Heinrich Rust
Concepts of Cottbus Timed Automata. FBT (1999)
Gerd Köhler, Heinrich Rust, Frank Simon
Understanding Object Oriented Software Systems without Source Code Inspection. ECOOP Workshops (1999)
Gerd Köhler, Heinrich Rust, Frank Simon
Assessment of Large Object Oriented Software Systems - A Metric Based Process. ECOOP Workshops (1998)
Heinrich Rust
Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns. SAFECOMP (1998)
Dirk Beyer, Heinrich Rust
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata. FBT (1998)