Prof. Dr. Dirk Beyer

wissenschaftlicher Mitarbeiter

von November 1998 bis September 2003

Arbeitsgebiete

Formale Spezifikation und Verifikation eingebetteter Echtzeitsysteme
Entwicklung einer modularen Spezifikationssprache auf der Basis hybrider zeitbewerteter Automaten (CTA)
Werkzeuge zur Analyse von CTA-Modellen

  

Dirk Beyer, Andreas Noack
Clustering Software Artifacts Based on Frequent Common Changes
In: James R. Cordy, Harald Gall, Jonathan I. Maletic (Eds.): Proceedings 13th International Workshop on Program Comprehension (IWPC 2005), 15-16 May 2005, St. Louis, Missouri, USA. IEEE Computer Society 2005, ISBN 0-7695-2254-8
IWPC 2005
IEEE
HA 05-010 / 2005[01] UBICO

Dirk Beyer, Andreas Noack, Claus Lewerentz
"Simple and Efficient Relational Querying of Software Structures"
In Proceedings of the 10th Working Conference on Reverse Engineering (WCRE 2003, Victoria, Canada, Nov. 13-16), pages 216-225,  IEEE Computer Society Press, 2003
Homepage WCRE 2003
Abstract
Full Version
2003[06] UBICO

Dirk Beyer, Andreas Noack
"Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?"
In Hartmut König, Monika Heiner, Adam Wolisz (editors): Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003, Berlin, September 29 - October 2), LNCS 2767, pages 193 - 208, Springer-Verlag, Berlin, 2003, ISBN 3-540-20175-0
Abstract
Full Version
2003[05] UBICO

Dirk Beyer, Claus Lewerentz, Andreas Noack
"Rabbit: A Tool for BDD-based Verification of Real-Time Systems"
In Warren A. Hunt, Jr. and Fabio Somenzi (editors): Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003, Boulder, CO, July 8-12), LNCS 2725, pages 122-125, Springer-Verlag, Berlin, 2003, ISBN 3-540-40524-0
Abstract
SpringerLink - Buch
SpringerLink - Buchkapitel
2003[03] UBICO

Dirk Beyer, Claus Lewerentz
"CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs"
In Proceedings of the 11th IEEE International Workshop on Program Comprehension (IWPC 2003, Portland, OR, May 10-11), pages 294 - 295, IEEE Computer Society Press, Los Alamitos (CA), 2003, ISBN 0-7695-1883-4, ISSN 1092-8138.
Homepage IWPC 2003
IEEE
Abstract
2003[01] UBICO

Dirk Beyer, Claus Lewerentz, Frank Simon
"Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object Oriented Systems"
In: Reiner Dumke and Alain Abran (editors): New Approaches in Software Measurement. 10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000. Proceedings of the 10th International Workshop on Software Measurement. LNCS 2006, pages 1-17, Springer-Verlag, 2001
Homepage IWSM 2000
SpringerLink Buch
2001[07] UBICO

Dirk Beyer
Efficient Reachability Analysis and Refinement Checking of Timed Automata using BDDs
In: Tiziana Margaria and Tom Melham (Eds.): Correct Hardware Design and Verification Methods. 11th IFIP WG 10.5 Advanced Research Working Conference (CHARME 2001, Livingston), Scotland, UK, September 4 - 7, 2001, Proceedings, LNCS 2144, pages 86-91, Springer-Verlag, 2001, ISBN 3-540-42541-1
Homepage CHARME 2001
SpringerLink - Buch
SpringerLink - Paper
2001[05] UBICO

Dirk Beyer
Rabbit: Verification of Real-Time Systems
In: Paul Pettersson and Sergio Yovine (editors): Proceedings of the Workshop on Real-Time Tools (RT-TOOLS 2001, August 20, Aalborg, Denmark), pages 13-21, Uppsala, 2001.
Homepage RT-TOOLS'2001
Abstract
2001[04]

Dirk Beyer, Andreas Noack
"Efficient Verification of Timed Automata using BDDs"
In Stefania Gnesi, Ulrich Ultes-Nitsche (editors): Proceedings of the 6th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001), 16-17 July, Paris, pages 95-113, INRIA, Paris, 2001
Homepage FMICS 2001
2001[08] UBICO

Dirk Beyer, Andy Heinig
"Different Strategies for BDD-based Reachability Analysis of Timed Automata"
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 89-98, Stirling, 2001
Abstract
2001[06] 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]

Dirk Beyer

Improvements in BDD-based Reachability Analysis of Timed Automata

In: Jose Nuno Oliveira and Pamela Zave (editors): FME 2001: Formal Methods for Increasing Software Productivity. International Symposium of Formal Methods Europe, Berlin, Gemany, March 12-16, 2001 Proceddings.(FME 2001) LNCS 2021, pages 318-343, Springer-Verlag, 2001, ISBN 3-540-41791-5
FME 2001
SpringerLink - Buch
SpringerLink - Paper
2001[02] UBICO

Dirk Beyer, Andreas Noack

BDD-basierte Verifikation von Realzeit-Systemen

In: Jens Grabowski, Stefan Heymer (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme (FBT'00), 10. GI/ITC- Fachgespräch, Lübeck, 22.-23. Juni 2000, Seiten 79 - 89, Shaker Verlag, Aachen, June 2000, ISBN 3-8265-7491-5
Abstract
2000[03] UBICO

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]

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]

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]

Dirk Beyer
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata

Mensch & Buch Verlag, Berlin, ISBN 3-89820-450-2, 2002. Zugl. Dissertation, Brandenburgische Technische Universität Cottbus, 2002.
www
BTU Cottbus - FullVersion
2002[01] UBICO

How to Make Model Checking of Timed Automata Efficient
University of California, Berkeley, CA, 29. Oktober 2003

Rabbit: A Tool for BDD-based Verification of Real-Time Systems
CAV 2003, Boulder, CO, 09. Juli 2003

CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs
IWPC 2003, Portland, OR, 11. Mai 2003

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Fraunhofer-Gesellschaft FIRST, Berlin, 11. April 2003

Efficient BDD Representation for Reachability Analysis of Timed Automata
Carnegie Mellon University, Pittsburgh, PA, 14. Januar 2003

A Modular Approach for Formal Verification of Real-Time Systems
Software Engineering Institute, Pittsburgh, PA, 10. Januar 2003

Efficient Reachability Analysis and Refinement Checking of Timed Automata using BDDs
11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2001), Livingston, September 2001

Rabbit: Verification of Real-Time Systems

Workshop on Real-Time Tools (RT-TOOLS 2001), Aalborg, August 20, 2001

Efficient Verification of Timed Automata using BDDs

6th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001) Paris, July 2001

Different Strategies for BDD-based Reachability Analysis of Timed Automata

2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001) Washington, D.C., April 2001

Cottbus Timed Automata: Formal Definition and Semantics

2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001), Washington, D.C., April 2001

Improvements in BDD-based Reachability Analysis of Timed Automata

10th International Symposium of Formal Methods Europe (FME 2001), Berlin, March 2001

Concepts of Cottbus Timed Automata.
Tagung FTB'99, München, 17.06.1999

Modelling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata.
Cottbus, FBT'98, 4. Juni 1998

Dirk Beyer, Andreas Noack, Claus Lewerentz
Efficient Relational Calculation for Software Analysis
In: IEEE Transactions on Software Engineering 31(2): p. 137-149 (February 2005)
IEEE
2005[02] UBICO

Dirk Beyer, Andreas Noack
CrocoPat 2.1 Introduction and Reference Manual
Report No. UCB//CSD-04-1338, Computer Science Division (EECS), University of California, Berkeley, 2004.
Full Version
2004[02]

Dirk Beyer, Claus Lewerentz, Frank Simon
Flattening Inheritance Structures - OR - Getting the Right Picture of Large OO-Systems
Technical Report 12/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, November 2000, ISSN 1437-7969
Abstract
Full Version
2000[02]

Dirk Beyer, Claus Lewerentz
CrocoPat: A Tool for Efficient Pattern Recognition in Large Object-Oriented Programs
Technical Report I-04/2003, Computer Science Reports, Technical University Cottbus, January 2003,  ISSN 1437-7969
Abstract
FullVersion
2003[02] UBICO

Dirk Beyer, Andreas Noack
A Comparative Study of Decision Diagrams for Real-Time Verification
Technical Report I-03/2003, Computer Science Reports, Technical University Cottbus, January 2003, ISSN 1437-7969
Abstract
2003[04] UBICO

Dirk Beyer
Rabbit: Verification of Real-Time Systems
Technical Report 05/01, Computer Science Reports, Brandenburg University of Technology at Cottbus, March 2001, ISSN 1437-7969
2001[03] UBICO

Dirk Beyer
Reachability Analysis and Refinement Checking for BDD-based Model Checking of Timed Automata
Technical Report 04/01, Computer Science Reports, Brandenburg University of Technology at Cottbus, Februar 2001, ISSN 1437-7969
2001[01] UBICO

Dirk Beyer, Andreas Noack
Efficient Verification of Real-Time Systems using BDDs
Technical Report 13/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, December 2000, ISSN 1437-7969
2000[04] UBICO

Dirk Beyer, Claus Lewerentz, Frank Simon
Flattening Inheritance Structures - OR - Getting the Right Picture of Large OO-Systems
Technical Report 12/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, November 2000, ISSN 1437-7969
Abstract
Full Version
2000[02]

Frank Simon, Dirk Beyer
Considering Inheritance, Overriding, Overloading and Polymorphism for Measuring C++ Sources
Technical Report 04/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, May 2000, ISSN 1437-7969
Abstract
2000[12]

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]

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]


Dirk Beyer
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Mensch & Buch Verlag, Berlin, ISBN 3-89820-450-2, 2002. Zugl. Dissertation, Brandenburgische Technische Universität Cottbus, 2002.
www
BTU Cottbus - FullVersion
2002[01] UBICO