Vorträge im Jahr 2011
Software-Städte - Die Nutzung der Stadt als Metapher für die Softwareentwicklung
BTU Cottbus, Forschungskolloquium der Fakultät 2 - Architektur, Bauingenieurwesen und Stadtplanung
Die Stadt als Architekturmetapher - Visualisierung von Software-Architekturen als Städte
Software-Architektur 2011, Jahrestagung der GI-Fachgruppe Software-Architektur, 21.07.2011, Universität Hamburg
Kann man Qualität sehen? – Softwarevisualisierungen für komplexe Kennzahlenzusammenhänge
Software-Architekturen sehen!
90. AFCEA Fachveranstaltung, Wachtberg-Werthhoven, 24. Januar 2011
Vorträge im Jahr 2010
Software-Städte
Universität Hamburg, Fachbereich Informatik, Oberseminar Ausgewählte Themen der Softwaretechnik, 07. Dezember 2010
Die Stadt als Metapher für Softwarearchitekturen
Workshop: Architecture-based Maintainability (ArchMain 2010), Software Engineering (SE) am Forschungszentrum Informatik (FZI),08. Juni 2010
Urban Development in Software Cities
Mining Software Archives MSA 2010, Ascona, 16. März 2010
Representing Development History in Software Cities
ACM Symposium on Software Visualization, Session 5: Graph Layout and Visualization of Evolution, Salt Lake City, Utah, USA, 26. Oktober 2010
Coherent Software Cities. Supporting Comprehension of Evolving Software Systems
IEEE International Conference on Software Maintenance ICSM 2010, Doctoral Symposium, Timișoara, Romania, 13. September 2010
Layout Stability of Software Cities
Mining Software Archives MSA 2010, Ascona, 16. März 2010
Vorträge im Jahr 2008
Wie denkt ein Computer?
BTU Cottbus, KinderCampus, 08. Mai 2008
Qualitätssoftware made in Germany
2. Veranstaltung des Software-Stützpunktes Region Cottbus, 31.01.2008
Vorträge im Jahr 2007
Marcel Bennicke, Jan-Peter Richter
Architecture of a generic software control cockpit
1st Workshop on Measurement-based Cockpits for Distributed Software and Systems Engineering Projects (SOFTPIT 2007), 27.08.2007
Software-Tomographie
Kolloquium am Department für Informatik an der Carl von Ossietzky-Universität, 08.01.2007
Vorträge im Jahr 2006
Heinz Züllighoven, Carola Lilienthal, Marcel Bennicke
Software Architecture Analysis and Evaluation
Tutorial auf der 2nd International Conference on the Quality of Software Architectures (QoSA 2006), Västerås, Schweden, 29. Juni 2006
Vorträge im Jahr 2005
Software Architecture Analysis
Tutorial, 6th International Conference on Product Focussed Software Process Improvement, (PROFES 2005), Oulou, Finnland, 13. Juni 2005
Analyse und Visualisierung großer Programme
Martin Luther-Universität Halle/Wittenberg, 15. Dezember 2005
The Challenge of Software Visualization
Dagstuhl-Seminar, Perspectives Workshop: Challenges for Software Engineering Research, 06.10.2005
Analyse und Visualisierung großer Programme
Fujitsu München, 18. Juli 2005
Das Unsichtbare sichtbar machen - Analyse und Visualisierung großer Programme
Universität Hamburg, Informatitsches Kolloquium, 27. Juni 2005
Objektorientierte Entwurfsmuster
Berlin-Brandenburger Softwareforum, Thema "Designprinzipien und Entwurfsmuster", Berlin, 12. Mai 2005
Statische Code-Analysen großer Programme
EADS Ottobrunn, 11. April 2005
Analysis of Software Architectures
IFIP Working Group 2.4, Baden/Wien, 04. Januar 2005
Energy-Based Clustering
Konstanz, 31.10.2005
Energy-Based Clustering of Graphs with Nonuniform Degrees
13th International Symposium, GD 2005, Limerick, Ireland, 13. September 2005
A Space of Layout Styles for Hierarchical Graph Models of Software Systems
ACM Symposium on Software Visualization, St. Louis, Missouri, USA, 15. Mai 2005
A Space of Layout Styles for Clustered Graphs
Dagstuhl Seminar on Graph Drawing, Dagstuhl, 11.05.2005
Vorträge im Jahr 2004
Iterative Entwicklung von Qualitätsmodellen
Workshop Reengineering an der TU München, 06. Dezember 2004
Software Architekturen analysieren
Berlin-Brandenburger Software-Forum, Themenabend "Software-Architektur", Fraunhofer FIRST, Berlin, 15. April 2004
Architektur-Analyse
Workshop Reengineering an der TU München, 06. Dezember 2004
The Challenge of Software Visualization
Technical University Eindhoven, Symposium "Verification and Validation of Software Systems", 25. November 2004
Visualization of Software Architectures
Universität Madrid, 17. Juni 2004
Software-Architekturen
Berlin-Brandenburger Software-Forum, Themenabend "Software-Architektur", Fraunhofer FIRST, Berlin, 15. April 2004
Simple and Efficient Relational Querying of Software Structures
IFIP Working Group 2.4, Brisbane, 17.03.2004
Software-Tomographie
Arbeitskreis Software-Qualität und -Fortbildung e.V. (ASQF), Berlin, 09. März 2004
Software Quality Analysis
Växjö University, Februar 2004
Entwicklung komplexer Software
Europaschule Guben, 19. Februar 2004
Formale Methoden: Ein Überblick
Berlin-Brandenburger Software-Forum, Themenabend "Formale Methoden in der Software-Entwicklung", Fraunhofer ISST, Berlin, 16.09.2004
VSEK - Das Virtuelle Software Engineering-Kompetenzzentrum
Berlin-Brandenburger Software-Forum, Themenabend "Formale Methoden in der Software-Entwicklung", Fraunhofer ISST, Berlin, 16.09.2004
Vorträge im Jahr 2003
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
Software-Analyse
Diamand Software AG, Bielefeld, 04. Dezember 2003
Analyse großer Softwaresysteme
SAP AG Walldorf, 27. November 2003
Systematische Software-Entwicklung
Emil Fischer-Gymnasium, Schwarzheide, 19. November 2003
Software-Qualität sichtbar machen
BITKOM – Forum Forschungsförderung, Berlin, 17. Oktober 2003
Software-Visualisierung
Technische Universität Berlin, Gastvortrag im Rahmen der Lehrveranstaltung "Visualisierung in der Analyse" 10. Juni 2003
Software Visualization
University Växjö, 05. Februar 2003
Simple and Efficient Relational Querying of Software Structures
Working Conference on Reverse Engineering (WCRE) 2003, Victoria, Kanada, 15. November 2003
An Energy Model for Visual Graph Clustering
Graph Drawing 2003, Perugia, Italien, 24. September 2003
Vorträge im Jahr 2002
A Model Checking Approach for Timed Automata
IFIP WG 2.4 "Software Implementation Technology", Dagstuhl, 12. November 2002
Metrics-based 3D Visualization of Large Object-Oriented Programs
Workshop on Visualizing Software for Understanding and Analysis (VISSOFT 2002), Paris, 26.06.2002
Qualitätsanalyse von großen Software-Systemen
Deutsche Flugsicherung, Offenbach, 27. März 2002
Quali-T: A software analysis workbench
IFIP WG 2.4, Simons Town, Südafrika, 21.03.2002
Analyse von objekt-orientierten Programmen.
Lucent Technologies Network Systems GmbH, Nürnberg, 08. März 2002
Modellierung und Visualisierung großer Software-Strukturen
BTU-Workshop "Modellierung, Optimierung und Berechnung komplexer Systeme", 06. März 2002
Analyse und Visualisierung objektorientierter Programme
Xenium AG München, 18. Januar 2002
Analyse großer Software-Systeme
Universität Linz, 16. Januar 2002
Vorträge im Jahr 2001
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
3D-Visualisierung großer objektorientierter Programme
Kolloquium für Informatik und Mathematik an der Universität Paderborn, 06. November 2001
Analysis of Large Object-Oriented Programs
Hagenberg, OODACH, September, 2001
Metrik-basierte Qualitätsanalyse objektorientierter Programme
Technische Universität Berlin, Fakultät IV-Elektrotechnik und Informatik, Gastvortrag am 26.06.2001
A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects.
3rd International Workshop on Learning Software Organizations LSO 2001, Kaiserslautern, 12. September 2001
Metrics-based Visualization of Large Programs
IFIP WG 2.4, San Miniato, Italy, May 2001
Measurement-based Visualization of large Software-Systems.
Dagstuhl-Seminar Software-Visualization, Mai 2001
Die Rolle der Reflexion in Software-Praktika.
Software-Engineering im Unterricht der Hochschulen (SEUH), Zürich, Februar 2001
External Validation of a Metrics-Based Quality Assessment of the JWAM Framework
Kaiserslautern, September 2001
Anpaßbare, explorierbare virtuelle Informationsräume zur Qualitätsbewertung großer Software-Systeme
3. Workshop on Reengineering in Bad Honnef, 11. Mai 2001
Metrics Based Refactoring
Fifth Conference on Software Maintenance and Reengineering (CSMR) 2001, Lissabon, March 14, 2001
Vorträge im Jahr 2000
A Tool for Modular Modelling and Verification of Hybrid Systems.
25th IFAC/IFIP Workshop on Real-Time Programming 2000 (WRTP 2000), Palma, Mallorca, May 17-19, 2000
Modular Modelling and Verification with Cottbus Timed Automata.
In Ch. Rattray/M. Sveda (Editors): Proceedings of the IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS) 2000, pages 17 - 24, Edinburgh, April, 2000
Modelling and Analysing a Railroad Crossing in a Modular Way.
5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS) Berlin, 4. April 2000
Analyse und Visualisierung objektorientierter Programme.
Informatik-Kolloquium Philipps-Universität Marburg, Dezember 2000
Analyse und Visualisierung großer objektorientierter Systeme.
OODACH Salzburg, 24. September 2000
Metrikbasierte Qualitätssicherung in der objektorientierten Software-Entwicklung -- Teil 1: Konzepte
Tagung der Gesellschaft für Informatik, Berlin, 19. September 2000
Are Software Engineers Genuine Engineers -How do we have to change Software Engineering education?
World Conference on Transdisciplinary Global Research and Education, Kusadasi, Türkei, 5. September 2000
Experiences with object-oriented Software Product Metrics.
IT Architekten und IT Spezialisten Gesamtmeeting 2000, Auditorium in Herrenberg, 25. Mai 2000
Metrics-based Analysis of Object-Oriented Software.
International Conference on Software Testing (ICSTest), Bonn, 6. April 2000
Information und Kommunikation im Krankenhaus der Zukunft.
10. Internationales Symposium Intensivmedizin & Intensivpflege, Bremen, 16. Februar 2000
BDD-basierte Verifikation von Realzeit-Systemen.
Formale Beschreibungstechniken für verteilte Systeme (FBT'00), Lübeck, 23. Juni 2000
Vorträge im Jahr 1999
Concepts of Cottbus Timed Automata.
Tagung FTB'99, München, 17.06.1999
"Crocodile" -- a Flexible Software Metrics Tool.
Nokia Research Center, Helsinki, 22.11.1999
Metrics-based Program Analysis -- a Case Study --.
FAMOOS Workshop, Helsinki, 19.11.1999
Die Informationsgesellschaft aktiv mitgestalten.
COMMEDIA, Cottbus, 13.11.1999
Using OO Software Metrics -- Some Lessons Learned --
GI-Workshop Software-Metriken, Regensburg, 30.09.1999
OO Software Metrics -- the Crocodile Approach --.
Intland, Stuttgart, 07.09.1999
OO Software Metrics -- the Crocodile Approach --.
SniffGate Workshop, TakeFive, Salzburg ,12.07.1999
Software-Qualitätssicherung auf der Grundlage von Produktmetriken.
GMD-FIRST, Berlin, 19.04.1999
Software-Qualitätssicherung auf der Grundlage von Produktmetriken.
Informatik-Kolloquium FU Berlin, 22.01.1999
Distanzmaßbasierte Gruppierung von Klassen.
SniffGate Workshop, TakeFive, Salzburg, 14.07.1999
Normed Dinosaurs in a Creative Chaos? Software Development as a Controlled Learning Process.
KnowTech '99, Potsdam, 17. September 1999
Distance based cohesion measuring.
2nd European Software Measurement Conference (FESMA) 99, 05.10.1999 in Amsterdam
Semiautomatische, kohäsionsbasierte Subsystembildung.
GI-Workshop Software-Metriken, Regensburg, 01.10.1999
Understanding object oriented software systems without source code inspection.
In proceedings of the ECOOP99-workshop "Experiences in Reengineering", Lissabon/Portugal, 15.06.1999
Eine Quellcode-Abstraktion zum Programmverstehen.
Workshop Software-Reengineering in Bad Honnef, 28.05.1999
Vorträge im Jahr 1998
Modelling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata.
Cottbus, FBT'98, 4. Juni 1998
Hans-Ulrich Kobialka
User Interfaces Supporting the Software Process.
Waybridge, UK, 6th European Workshop on Software Process Technology, September 1998
Metriken zur Analyse und Reorganisation von objektorientierten Software-Systemen.
Essen, ifs/RWE Energie, 1. Dezember 1998
Using a Product Metrics Tool for Reengineering object oriented Software.
Helsinki, Nokia Research Center, 13. November 1998
A Measurement Approach for the Assessment of Structured Requirement Documents.
Cottbus, Arbeitsgemeinschaft Software-Technik, Juli 1998
Using a Product Metrics Tool in Reengineering object oriented Software.
Mailand, Politechnico di Milano, Juni 1998
Einsatz von Meßverfahren bei der Konstruktion objektorientierter Programme.
Leinfelden-Echterdingen, Ingenieurbüro Letters IBL, 6. Mai 1998
Integrating a Product Metrics Tool in an Industrial Software Engineering Environment.
Pisa, Universität Pisa, Mai 1998
Software-Technik in Lehre und Forschung an der BTU Cottbus.
Stuttgart, Bosch, 4. Mai 1998
Einsatz von Meßverfahren bei der Konstruktion objektorientierter Programme.
Baden/Zürich, ABB Corporate Research, April 1998
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
Meßwert-basierte Analyse des Projekts TreeFramework - Ergebnisse und Diskussion.
Baden/Zürich, ABB Corporate Research, August 1998
A Product Metrics Tool Integrated into a Software Development Environment.
ECOOP'98, Workshop Object-Oriented Product Metrics for Software Quality Assessment, Brüssel, 21. Juli 1998
Assessment of Large Object Oriented Software Systems: A Metrics Based Process.
ECOOP'98, Workshop Object-Oriented Product Metrics for Software Quality Assessment, Brüssel, 21. Juli 1998
A Product Metrics Tool Integrated into a Software Development Environment.
Brüssel, ECOOP Workshop Techniques, Tools and Formalisms for Capturing and Assessing Architectural Quality in Object-Oriented Software, 20. Juli 1998
Integrating an object-oriented metrics tool into SNiFF+.
Salzburg, SNiFF Users Conference, 23. Januar 1998
Vorträge im Jahr 1997
Integration eines Metrik-Werkzeugs in eine Software-Entwicklungsumgebung.
Frank Simon
ABB Konzernforschungszentrum Heidelberg, 09. Oktober 1997
Software-Entwicklung und Ethik.
Dr. Heinrich Rust
1. Herbstkonferenz Technikphilosphie in Deutschland, Cottbus, September 1997
Quantitative Qualitätssicherung mit Entwurfsmetriken.
Prof. Dr. Claus Lewerentz
Workshop Zuverlässige Systeme, Universität Potsdam, 17.01.1997
Einsatz von Meßverfahren bei der Konstruktion objektorientierter Programme.
Prof. Dr. Claus Lewerentz
Informatik-Kolloquium der Freien Universität Berlin, Januar 1997
Einsatz von Meßverfahren bei der Konstruktion objektorientierter Programme.
Prof. Dr. Claus Lewerentz
Informatik-Kolloquium der RWTH Aachen, Mai 1997
Online Software Diagnostics.
Prof. Dr. Claus Lewerentz
IFIP Working Group 2.4 Meeting, Estes Park, Colorado, September 22-26, 1997
Metriken für objektorientierte Frameworks.
Prof. Dr. Claus Lewerentz
ABB Konzernforschungszentrum Heidelberg, 09. Oktober 1997
Zuverlässige Software-Systeme.
Prof. Dr. Claus Lewerentz
Tage der Forschung, Workshop "Entwurf zuverlässiger rechnerbasierter Systeme", Cottbus, 21. Oktober 1997
Vorträge im Jahr 1996
The Use of Metrics for the Construction of Object-Oriented Software.
Prof. Dr. Claus Lewerentz
IFIP Working Group 2.4 Meeting, Ameland, Juni 1996
Modellierung vertrauenswürdiger Systeme.
Prof. Dr. Claus Lewerentz
Kooperations-Workshop Herzzentrum Cottbus, Mai 1996
Applying Design-Metrics to Object-Oriented Frameworks.
Prof. Dr. Claus Lewerentz
3rd International Metrics Symposium, Berlin, März 1996
Formale Entwicklung reaktiver Systeme.
Prof. Dr. Claus Lewerentz
Informatik-Kolloquium der Universität Paderborn, Januar 1996
Vorträge im Jahr 1995
Mehrwert Information - Über die Informatisierung der Gesellschaft.
Prof. Dr. Claus Lewerentz
Philosophisches Kolloquium der BTU Cottbus, 21. November 1995
Formal Methods for Reactive Systems.
Prof. Dr. Claus Lewerentz
1st International Conference on Engineering Complex Computer Systems, Fort Lauderdale, 06. November 1995
Das Informationsuniversum - Der Mensch im Internet.
Prof. Dr. Claus Lewerentz
Jahrestagung Zentralverband der deutschen Informationswirtschaft, Frankfurt/Main, 16. Mai 1995
Modelling and Programming with Objects.
Prof. Dr. Claus Lewerentz
TEMPUS-Seminar, Kando-Kalman Politechnikum, Budapest, 29. März 1995
Object-oriented Analysis and Design.
Prof. Dr. Claus Lewerentz
TEMPUS-Seminar, Technische Universität Budapest, 28. März 1995