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
SpringerLink Buch
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
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
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
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
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 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
Workshop "Experiences in Reengineering"
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
Homepage SAFECOMP'98
SpringerLink-Buch
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)
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
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
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
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
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
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
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
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
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
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
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]

Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz.

Erforderlich

Diese Cookies werden für eine reibungslose Funktion unserer Website benötigt.

Statistik

Für den Zweck der Statistik betreiben wir die Plattform Matomo, auf der mittels pseudonymisierter Daten von Websitenutzern der Nutzerfluss analysiert und beurteilt werden kann. Dies gibt uns die Möglichkeit Websiteinhalte zu optimieren.

Name Zweck Ablauf Typ Anbieter
_pk_id Wird verwendet, um ein paar Details über den Benutzer wie die eindeutige Besucher-ID zu speichern. 13 Monate HTML Matomo
_pk_ref Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern. 6 Monate HTML Matomo
_pk_ses Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern. 30 Minuten HTML Matomo