Publikationen aus dem Jahr 2001
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
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
2001[02] 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
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.
Abstract
2001[04]
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
2001[05] 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, 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
2001[07] UBICO
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
2001[08] 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
2001[10] UBICO
Claus Lewerentz, Heinrich Rust
Software-Ingenieure als kompetente Teamworker
Softwaretechnik-Trends, Band 21, Heft 1, S. 30-35, Februar 2001, ISSN 0720-8928
2001[11] 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
2001[12] UBICO
Frank Simon
Meßwertbasierte Qualitätssicherung - ein generisches Distanzmaß zur Erweiterung bisheriger Softwareproduktmaße
Dissertation, BTU Cottbus, 2001
2001[13]
Frank Simon, Frank Steinbrückner, Claus Lewerentz
Anpaßbare, explorierbare virtuelle Informationsräume zur Qualitätsbewertung großer Software-Systeme
In: Jürgen Ebert, Bernt Kullbach, Franz Lehner (Eds.) 3. Workshop Software Reengineering (Bad Honnef, 10./11. Mai 2001) Universität Koblenz-Landau, Fachberichte Informatik, I-2002
2001[14] UBICO
Frank Simon, Frank Steinbrückner, Claus Lewerentz
Metrics Based Refactoring
In: Pedro Sousa, Jürgen Ebert (Eds): Proceedings of the Fifth Conference on Software Maintenance and Reengineering,
CSMR 2001, 14-16 March 2001, Lisbon, Portugal, IEEE Computer Society, 2001, pages 30 - 38, ISBN 0-7695-1028-0
2001[15] UBICO