Heinrich Rust

According to our database, Heinrich Rust authored at least 15 papers between 1993 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2005

Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Heinrich Rust

Lecture Notes in Computer Science 3456, Springer, ISBN: 3-540-25576-1, 2005

2004

Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals.

Heinrich Rust

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003

A Non-standard Approach to Operational Semantics for Timed Systems.

Heinrich Rust

Proceedings of the Abstract State Machines, 2003

2001

Software-Ingenieure als kompetente Teamworker.

Claus Lewerentz, Heinrich Rust

Softwaretechnik-Trends, 2001

Die Rolle der Reflexion in Softwarepraktika.

Claus Lewerentz, Heinrich Rust

Proceedings of the Software Engineering im Unterricht der Hochschulen, 2001

A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects.

Claus Lewerentz, Heinrich Rust, Frank Simon

Proceedings of the Advances in Learning Software Organizations, 2001

2000

Are software engineers true engineers?

Claus Lewerentz, Heinrich Rust

Ann. Softw. Eng., 2000

Quality - Metrics - Numbers - Consequences.

Claus Lewerentz, Heinrich Rust, Frank Simon

Proceedings of the Software-Metriken, 2000

1999

Concepts of Cottbus Timed Automata.

Dirk Beyer, Heinrich Rust

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

Understanding Object Oriented Software Systems without Source Code Inspection.

Gerd Köhler, Heinrich Rust, Frank Simon

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns.

Heinrich Rust

Proceedings of the Computer Safety, 1998

Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata.

Dirk Beyer, Heinrich Rust

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

Assessment of Large Object Oriented Software Systems - A Metric Based Process.

Gerd Köhler, Heinrich Rust, Frank Simon

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1993

Zur Komplexität von Überführungsfunktionen in Zellularräumen.

Heinrich Rust

PhD thesis, 1993

Mehr als nur Programmieren - eine Einführung in die Informatik.

Rainer Gmehlich, Heinrich Rust

Vieweg, ISBN: 978-3-528-05248-5, 1993