Dr. rer. nat. habil. Heinrich Rust

Oberingenieur

von Dezember 1996 bis November 2004

Arbeitsgebiete

Formale Methoden für Realzeitsysteme
Softwareentwicklungsprozesse

Heinrich Rust
"A Non-standard Approach to Operational Semantics for Timed Systems"
In Egon Börger, Angelo Gargantini, Elvinia Riccobene (editors): Abstract State Machines 2003. Advances in Theory and Practice. 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings. LNCS 2589, pages 423-424, Heidelberg, Springer, 2003, ISBN 3-540-00624-9
2003[09] UBICO

Heinrich Rust, Claus Lewerentz
"A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects"
In: Althoff, Feldmann, Müller (Eds). Advances in Learning Software Organizations, Third International Workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001. Proceedings. LNCS 2176, pp 135-149, Springer-Verlag Heidelberg, 2001, ISBN 3-540-42574-8
Link zu einer externen Seite SpringerLink Buch
Link zu einer externen Seite SpringerLink Abstract
2001[12] UBICO

Dirk Beyer, Heinrich Rust
"Cottbus Timed Automata: Formal Definition and Semantics"
In Charles Rattray, Miroslav Sveda and Jerzy Rozenblit (editors): Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001), pages 75 - 87, Stirling, 2001
Abstract
Full Version
2001[09]

Claus Lewerentz, Heinrich Rust

Die Rolle der Reflexion in Software-Praktika

In: Horst Lichter, Martin Glinz (Hrsg.): Software-Engineering im Unterricht der Hochschulen - SEUH 7. Proceedings des 7. Workshops, 22. - 23. Februar 2001, Zürich, pp. 73-88, dpunkt-Verlag, Heidelberg, 2001, ISBN 3-89864-106-6
Link zu einer externen Seite Homepage SEUH 2001
2001[10] UBICO

Frank Simon, Heinrich Rust, Claus Lewerentz

Quality - Metrics - Numbers - Consequences: Lessons learned

In: Reiner Dumke, Franz Lehner (Hrsg): Software-Metriken: Entwicklungen, Werkzeuge und Anwendungsverfahren, Seiten 51-70, Gabler Edition Wissenschaft, DUV, 2000, ISBN 3-8244-7120-5, Workshop, 30.09. - 01.10.1999, Regensburg
HA00-013 2000[15]

Heinrich Rust

Modelling the Generalized Railway Crossing with Hybrid Abstract State Machines

In: Eckehard Schnieder, Uwe Becker (Eds.): 9th IFAC Symposium Control in Transportantion Systems 2000, Proceedings Vol.2, pages 281 - 288, June 13-15, 2000, Braunschweig/Germany
Abstract
2000[10]

Dirk Beyer, Heinrich Rust

A Tool for Modular Modelling and Verification of Hybrid Systems

In: Alfons Crespo, Joan Vila (Editors): Real-Time Programming 2000. A Proceedings Volume from the 25th IFAC Workshop, Palma, Spain, 17-19 May 2000. (WRTP 2000), pages 169-174, ISBN 978008043686
Abstract
2000[06]

Dirk Beyer, Heinrich Rust

Modular Modelling and Verification with Cottbus Timed Automata

In Charles Rattray, Miroslav Sveda (Eds.): Proceedings of the 1st IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS) 2000, pages 17 - 24, University of Stirling, Edinburgh, Scotland, April 6 - 7, 2000
Abstract
2000[05]

Dirk Beyer, Claus Lewerentz, Heinrich Rust

Modelling and Analysing a Railroad Crossing in a Modular Way

In: Stefania Gnesi, Ina Schieferdecker, Axel Rennoch (Editors): 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems. Proceedings of FMICS'2000, pages 287-303, Berlin, April 3-4, 2000, ISSN 1435-2702
Abstract
Link zu einer externen Seite Fraunhofer-Publica
2000[01]

Heinrich Rust

Hybrid Abstract State Machines: Using the Hyperreals for Describing Continuous Changes in a Discrete Notation

In: Yuri Gurevich, Phillip W. Kutter, Martin Odersky, Lothar Thiele (Eds.): Abstract State Machines - Theory and Applications. International Workshop, ASM 2000 Monte Verità, Switzerland, March 19-24, 2000, Proceedings, ETH Zürich, Springer-Verlag, LNCS 1912, ISBN 3-540-67959-6
2000[09]

Frank Simon, Heinrich Rust, Claus Lewerentz

Quality - Metrics - Numbers - Consequences: Lessons learned

In: Proceedings of 9. Workshop of GI-working group "Software-Metrics", 30.09. to 01.10.1999, Regensburg
Link zu einer externen Seite Workshop "Softwaremetriken"
Abstract
1999[10]

Claus Lewerentz, Heinrich Rust

Normed Dinosaurs in a Creative Chaos? Software Development as Controlled Learning Process

Proceedings KnowTech '99, 16.-18. September 1999, Potsdam
Portables Dokumentenformat FullVersion
1999[05]

Dirk Beyer, Heinrich Rust

Concepts of Cottbus Timed Automata

In: Katharina Spies and Bernhard Schätz (editors): Formale Beschreibungstechniken für verteilte Systeme (FBT'99), 9. GI/ITG Fachgespräch, München, 17.-18. Juni 1999, Herbert Utz Verlag, pages 27-34, ISBN 3-89675-918-3
Abstract
Link zu einer externen Seite Link zum Buch/Verlag
1999[02]

Frank Simon, Gerd Köhler, Heinrich Rust

Understanding object oriented software systems without source code inspection

In: ECOOP '99 Workshop on Experiences in Object-Oriented Reengineering, 15.06.1999 in Lissabon/Portugal, FZI-Karlsruhe, FZI-Report 2-6-6/99, 1999
Link zu einer externen Seite Workshop "Experiences in Reengineering"
Link zu einer externen Seite FZI-Veröffentlichung
HA 99-001 / 1999[07]

Gerd Köhler, Heinrich Rust, Frank Simon

Softwaresichten: Eine Quellcode-Abstraktion zum Programmverstehen

In Proceedings zum Workshop Software-Reengineering in Bad Honnef, 27. bis 28. Mai 1999, erschienen als Fachbericht Informatik an der Universität Koblenz-Landau, 7/99
Fachbericht Informatik 7/99
Abstract
1999[04]

Heinrich Rust

Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns

In: Wolfgang Ehrenberger (editor): Computer Safety, Reliability and Security, SAFECOMP '98: 17th International Conference, Heidelberg, Germany, October 5-7, 1998, Proceedings, LNCS 1516, pages 32-44, Springer-Verlag, Berlin 1998, ISBN 3-540-65110-1
Link zu einer externen Seite Homepage SAFECOMP'98
Link zu einer externen Seite SpringerLink-Buch
Link zu einer externen Seite SpringerLink-Paper
1998[08]

Gerd Köhler, Heinrich Rust, Frank Simon

Assessment of Large Object Oriented Software Systems: A Metrics Based Process

In: W. Melo, S. Morasca, H. A. Sahraoui: Object-Oriented Product Metrics for Software Quality Assessment Workshop Proceedings, pages 16-23, ECOOP '98 Brüssel, Juli 1998, ISBN 2-921316-87-0 ( Crocodile)
Link zu einer externen Seite Homepage ECOOP'98

Kurzfassungen beider Papiere (1998[06]) sind veröffentlicht in: Serge Demeyer, Jan Bosch (Hrsg.): Object-Oriented Technology. ECOOP'98 Workshop Reader, Lecture Notes in Computer Science, LNCS 1543, Seiten 250-251, Springer-Verlag, Heidelberg, 1998, ISBN 3-540-65460-7
Link zu einer externen Seite SpringerLink-Buch
1998[04]

Dirk Beyer, Heinrich Rust
"Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata"
In: Hartmut König and Peter Langendörfer (Eds.): Formale Beschreibungstechniken für Verteilte Systeme (FBT '98), 8. GI/ITG-Fachgespräch 1998, Cottbus, 4. und 5. Juni 1998, pages 148-159, Berichte aus der Informatik, Shaker Verlag, Aachen, June 1998, ISBN 3-8265-3807-2
Link zu einer externen Seite Shaker-Verlag
Abstract
1998[01]

Heinrich Rust

A PVS Specification of an Invoicing System

In: Allemand, Attiogbé, Habrias (editors): Proceedings of International Workshop on Comparing Systems Specification Techniques, Nantes, France, March 1998, pages 51-65, ISBN 2-906082-29-5
Abstract
Portables Dokumentenformat FullVersion
HA 98-007 / 1998[07]

Formale Methoden: Ein Überblick
Berlin-Brandenburger Software-Forum, Themenabend "Formale Methoden in der Software-Entwicklung", Fraunhofer ISST, Berlin, 16.09.2004
Link zu einer externen Seite Software-Kompetenz

Normed Dinosaurs in a Creative Chaos? Software Development as a Controlled Learning Process.
KnowTech '99, Potsdam, 17. September 1999

Drei Verwendungen formaler Methoden in der Software-Entwicklung.
Universität Karlsruhe, Karlsruhe, IPD, 8. Oktober 1998

Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns.
Heidelberg, SafeComp, 5. Oktober 1998

A PVS Specification of an Invoicing System.
Nantes, März 1998

Software-Entwicklung und Ethik.
1. Herbstkonferenz Technikphilosphie in Deutschland, Cottbus, September 1997

Claus Lewerentz, Heinrich Rust
Software-Ingenieure als kompetente Teamworker
Softwaretechnik-Trends, Band 21, Heft 1, S. 30-35, Februar 2001, ISSN 0720-8928
Link zu einer externen Seite zur Zeitschrift (mit PDF)
2001[11] UBICO

Claus Lewerentz, Heinrich Rust
Are Software Engineers True Engineers?
Annals of Software Engineering, Vol. 10, November 2000, pp.311 - 328, Baltzer Science Publishers, Bussum, 2000
Link zu einer externen Seite SpringerLink - Zeitschriftenbeitrag
2000[08]

Heinrich Rust, Claus Lewerentz
Feedback in Software Development Processes
Technical Report 14/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, December 2000, ISSN 1437-7969
2000[11

Dirk Beyer, Heinrich Rust
A Formalism for Modular Modelling of Hybrid Systems
Computer Science Reports 10/99, Computer Science Department, Brandenburg Technical University at Cottbus, October 1999
Abstract
Portables Dokumentenformat Full Version
1999[03]

Heinrich Rust
Modelling a Production Cell Component as a Hybrid Automaton: A Case Study
Technical Report No. I-06/1999, Computer Science Department, Brandenburg Technical University at Cottbus, February 1999
Abstract
Portables Dokumentenformat Full Version
1999[06]

Dirk Beyer, Heinrich Rust
A Modular Hybrid Modelling Notation
Technical Report No. I-03/1999, Computer Science Department, Brandenburg Technical University at Cottbus, February, 1999
1999[01]


Claus Lewerentz, Heinrich Rust
Are Software Engineers True Engineers?
Technical Report No. I-12/1998, Computer Science Department, Brandenburg Technical University at Cottbus, December 1998
Portables Dokumentenformat FullVersion
1998[05]

Claus Lewerentz, Heinrich Rust
Zur Bedeutung von Spezifikationen in verschiedenen Teilaufgaben der Entwicklung kundenspezifischer Software
Technischer Bericht Nr. I-21/1997, Institut für Informatik, Brandenburgische Technische Universität Cottbus, 1997
Abstract
Portables Dokumentenformat FullVersion
HA 97-017 / 1997[02]

Heinrich Rust
A non-Standard Approach to Operational Semantics for Timed Systems

Habilitation, BTU Cottbus, 26.05.2004
2004[05]