direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Promotionen bei ETS

Bei ETS wurden eine Vielzahl an Promotionen erfolgreich durchgeführt bzw. Promotionen an anderen Universitäten begleitet oder begutachtet.

Eingereichte Promotionen:

  1. Diana Vega: A Methodology for Automated Interoperability Testing of Healthcare Information Systems based on an Actor Emulation Approach, TU Berlin, Fakultät Elektrotechnik und Informatik.

  2. Ranganai Chaparadza: On-Demand Monitoring: Monitoring Traffic Flows in Multi-Service Self-Managing Networks, TU Berlin, Fakultät Elektrotechnik und Informatik.

  3. Tom Ritter: Modellbasierte Entwicklung komponentenorientierter Systeme mit besonderer Berücksichtigung von Dienstgüteeigenschaften, Mathematisch-Naturwissenschaftlichen Fakultät II der Humboldt-Universität zu Berlin.


Abgeschlossene Promotionen:

  1. Edzard Höfig: Interpretation of Behaviour Models at Runtime – Performance Benchmark and Case Studies, Promotion, TU Berlin, Fakultät Elektrotechnik und Informatik, March2011

  2. Alain-Georges Vouffo-Feudjio: A Methodology for Pattern-Oriented Model-Driven Testing of Reactive Software Systems, Promotion, TU Berlin, Fakultät Elektrotechnik und Informatik, Jan. 2011

  3. Tibor Farkas: Regelbasierte Konformitätsprüfung kollaborativer Artefakte, Promotion, TU Berlin, Fakultät Elektrotechnik und Informatik, Dec. 2010

  4. Justyna Zander-Nowicka: Model-based Testing of Real-Time Embedded Systems in the Automotive Domain, Promotion, TU Berlin, Fakultät Elektrotechnik und Informatik, Dec. 2008

  5. George Din: A Workload Realization Methodology for Performance Testing of Telecommunication Services, Promotion, TU Berlin, Fakultät Elektrotechnik und Informatik, Sept. 2008.

  6. Augustin Kebemou: Partitioning-Centric Modeling and Architectural Design of Automotive Embedded Systems, Promotion, TU Berlin, Fakultät Elektrotechnik und Informatik, May 2008.

  7. Stefan Wappler: Automatic Generation of Object-Oriented Unit Tests Using Evolutionary Algorithms, Promotion, TU Berlin, Fakultät Elektrotechnik und Informatik, Oct. 2007.

  8. Baptiste Alcalde: Advanced Techniques for Passive Testing of Communication Protocols, PhD Thesis, INT France, Oct. 2006.

  9. Zhen Ru Dai: An Approach to Model-Driven Testing - Functional and Real-Time Testing with UML 2.0, U2TP and TTCN-3, Promotion, TU Berlin, Fakultät Elektrotechnik und Informatik, June 2006.


Begutachtete Promotionen

  1. Daniel A. Sadilek: Test-Driven Language Modeling, PhD Thesis, Humboldt-Universität zu Berlin, Dec. 2010.

  2. Stephan Weißleder: Test Models and Coverage Criteria for Automatic Model-Based Test Generation with UML State Machines, PhD Thesis, Humboldt-Universität zu Berlin, Okt. 2010.
  3. Benjamin Immanuel Eberhardt Elmar Zeiß: Quality Assurance of Test Specifications for Reactive Systems, PhD Thesis, Georg-August-Universität zu Göttingen, June 2010.

  4. Sebastian Benz: Generating Tests for Feature Interaction, PhD Thesis, Institut für Informatik, Technische Universität München, March 2010.

  5. Toby Myers: The foundations for a Scaleable Methodoly for Systems Design, PhD Thesis, Doctor of Philosophy, Griffith University, Australia, March 2010.

  6. Benoît Ries: SESAME: A Model-Driven Process for the Test Selection of Small-Size Safety-Related Embedded Software, PhD Thesis, University of Luxembourg, Luxembourg, May 2009

  7. Jens R. Calamé: Testing Reactive Systems with Data - Enumerative Methods and Constraint Solving, PhD thesis, University of Twente, September 2008.

  8. Frank Alexander Kraemer: Engineering Reactive Systems - A Compositional and Model-Driven Method Based on Collaborative Building Blocks, Ph.D. thesis, Trondheim, Norwegian University of Science and Technology, August 2008.

  9. Gabriel Schwefer: Pattern-Oriented Transformations between Analysis and Design Models (POTAD), Promotion, Fakultät für Informatik und Automatisierung der Technische Universität Ilmenau, Dez. 2007

  10. Ida Hogganvik: A Graphical Approach to Security Risk Analysis, PhD Thesis, Department of Computer Science, University of Oslo, Norway, Nov. 2007.

  11. Dirk Seifert: Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten, Promotion, TU Berlin, Fakultät Elektrotechnik und Informatik, Juni 2007.

  12. Jan Trowitzsch: Quantitative Evaluation of UML State Machines Using Stochastic Petri Nets. Promotion, TU Berlin, Fakultät Elektrotechnik und Informatik, Mai 2007.

  13. Oliver Bühler: Evolutionärer Funktionstest von eingebetteten Systemen für abstandsbasierte Fahrerassistenzfunktionen im Automobil, Promotion, Eberhard-Karls-Universität Tübingen, Fakultät für Informations- und Kognitionswissenschaften, Apr. 2007.

  14. Christof C. Budnik: Test Generation Using Event Sequence Graphs, University Paderborn, Faculty for Electrical Engineering, Computer Science and Mathematics, October 2006.

  15. Jing Cong: Load Specification and Load Generation for Multimedia Traffic Loads in Computer Networks, Universität Hamburg, Fakultät Mathematik, Informatik und Naturwissenschaften, Febr. 2006.

  16. Dehla Sokenou: UML-basierter Klassen- und Integrationstest objektorientierter Programme, TU Berlin, Fakultät Elektrotechnik und Informatik, October 2005.

  17. Frank Werner Lammermann: Dimensionierung quantitativer Abbruchkriterien für den evolutionären Strukturtests mit Hilfe von Software-Maßen, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftlichen Fakultät II, Dezember 2005.

  18. Mang Li: Virtual Teaching Interface for E-Learning Capable Simulations, Ludwig–Maximilians–Universität München, Fakultät für Mathematik, Informatik und Statistik, März 2004.

  19. Simon Pickin: Test des composants logiciels pour les telecommunications, PhD Thesis, IRISA/TRISKELL, May 2003.

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe