Habilitations and Ph.D. theses


2016

  1. Rüdiger Berndt, "Decision Diagrams for the Verification of Consistency in Automotive Product Data," FAU, Erlangen, Ph.D. thesis, 2016
  2. David Eckhoff, "Simulation of Privacy-Enhancing Technologies in Vehicular Ad-Hoc Networks," University of Erlangen, Erlangen, Ph.D. thesis, March 2016

2015

  1. Marco Pruckner, "Ein Simulationsmodell für den Energieumstieg in Bayern," Friedrich-Alexander-Universität, Erlangen, pp. 206, Ph.D. thesis, 2015
  2. Anatoli Djanatliev, "Hybrid Simulation for Prospective Healthcare Decision-Support: System Dynamics, Discrete-Event and Agent-Based Simulation," Friedrich-Alexander-Universität, Erlangen, pp. 252, Ph.D. thesis, 2015

2014

  1. Philipp Luchscheider, "Strategic Black-Box Testing of Automotive Safety Electronic Control Units / Strategien für das Black-Box-Testen von sicherheitskritischen Steuergeräten in der Automobilindustrie," Universität Erlangen-Nürnberg, Erlangen, Ph.D. thesis, 2014

2013

  1. Serkan Ayaz, "Mobility and Radio Resource Management in Future Aeronautical Mobile Networks," Universität Erlangen-Nürnberg, Erlangen, Ph.D. thesis, 2013

2012

  1. Jürgen Eckert, "Autonomous Localization Framework for Sensor and Actor Networks," Friedrich-Alexander-Universität, Erlangen, Ph.D. thesis, 2012

2011

  1. Christoph Sommer, "Car-to-X Communication in Heterogeneous Environments," Universität Erlangen-Nürnberg, Erlangen, Ph.D. thesis, 2011
  2. Limmer, "Efficient Network Monitoring for Attack Detection," Universität Erlangen-Nürnberg, Erlangen, Ph.D. thesis, 2011
  3. Christoph Lauer, "Modeling and Analysis of Embedded Real-Time-Systems in the Automotive Safety Domain / Modellierung und Analyse von eingebetteten Echtzeitsystemen aus der Fahrzeugsicherheit," Universität Erlangen-Nürnberg, Erlangen, Ph.D. thesis, 2011
  4. Sebastian Siegl, "Specification and Verification of Embedded Real-Time Systems in the Automotive Domain," Univ. Erlangen-Nürnberg, Erlangen, Ph.D. thesis, 2011

2010

  1. Armin Heindl, "Correlated Workload Models for Matrix-Analytic Methods," Universität Erlangen-Nürnberg, Erlangen, Habil. thesis, 2010
  2. Isabel Dietrich, "Syntony: A Framework for UML-Based Simulation," Universität Erlangen-Nürnberg, Erlangen, Ph.D. thesis, 2010

2009

  1. Falko Dressler, "Self-Organization in Sensor and Actor Networks," Universität Erlangen-Nürnberg, Erlangen, Habil. thesis, 2009
  2. Thomas Herpel, "Übertragung von sicherheitsrelevanten Sensordaten in vernetzten Airbagsystemen," Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen-Nürnberg, Ph.D. thesis, 2009
  3. Abdalkarim Awad, "Efficient Data Management in Mobile Sensor Networks using Peer-to-Peer Technologies," Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen-Nürnberg, Ph.D. thesis, 2009

2008

  1. Sebastian Siegl, "Unbekannte Wörter in der automatischen Spracherkennung: Automatische Detektion, Transkription und semantische Kategorisierung," FAU, Erlangen, Saarbrücken: Vdm Verlag Dr. Müller, Stud. thesis, 2007. ISBN: 3639009207
  2. Gerhard Fuchs, "Profiling von Mobilen Autonomen Diensten - Theorie und Konzepte am Beispiel eines Prototyps," FAU, Erlangen, Saarbrücken: Vdm Verlag Dr. Müller, pp. 124, Dipl. thesis, 2004. ISBN: 978-3-639-06501-5
  3. Kai-Steffen Jens Hielscher, "Measurement-Based Modeling of Distributed Systems," Friedrich-Alexander-Universität, Erlangen-Nürnberg, Ph.D. thesis, 2008
  4. Dario Kresic, "Zur konsistenz-basierten Validation von Protokollen mit zeitlichen Anforderungen," Friedrich-Alexander-Universität, Erlangen-Nürnberg, Ph.D. thesis, 2008

2007

  1. Kai Lampka, "A symbolic approach to the state graph based analysis of high-level Markov reward models," Universität Erlangen-Nürnberg, Erlangen, Ph.D. thesis, 2007
  2. Kai Lampka, "Ein symbolischer Ansatz für die Zustandsgraph-basierte Analyse von hochsprachlichen Markov Reward Modellen," Friedrich-Alexander-Universität, Erlangen-Nürnberg, Ph.D. thesis, 2007
  3. Lennard Kerber, "Performance Message Sequence Chart / Sprache zur Leistungsvorhersage mittels der Generierung eines Prototypen im Kontext des Protokollentwurfs mit SDL und MSC," Universität Erlangen-Nürnberg, Erlangen, Ph.D. thesis, 2007

2006

  1. Susanne Gisela Nägele-Jackson, "Network QoS and Quality Perception of Compressed and Uncompressed High-Resolution Video / Transmissions Netzwerk Dienstqualität (QoS) und Qualitätswahrnehmung bei komprimierten und unkomprimierten hochauflösenden Videoübertragungen," Universität Erlangen-Nürnberg, Erlangen, Ph.D. thesis, 2006
  2. Sébastien Truchat, "Rekonfiguration von mobilen autonomen Diensten in heterogener Umgebung," Friedrich-Alexander-Universität, Erlangen-Nürnberg, Ph.D. thesis, 2006
  3. Matthias Kuntz, "Symbolic Semantics and Verification of Stochastic Process Algebras," Friedrich-Alexander-Universität, Erlangen-Nürnberg, Ph.D. thesis, 2006

2005

  1. Amjad Mohsen, "System-Level Energy-Aware Co-synthesis for Distributed Embedded Real-Time Systems," Friedrich-Alexander-Universität, Erlangen-Nürnberg, Ph.D. thesis, 2005

2004

  1. Joachim Meyer-Kayser, "Automatische Verifikation stochastischer Systeme," Friedrich-Alexander-Universität Erlangen-Nürnberg, Arbeitsberichte des Instituts für Informatik, Erlangen, pp. 136, Ph.D. thesis, 2004
  2. Ralf Münzenberger, "Spezifikation der zeitlichen Aspekte von Echtzeitsystemen am Beispiel von SDL," Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen, Ph.D. thesis, 2004

2002

  1. Markus Siegle, "Behaviour analysis of communication systems: Compositional modelling, compact representation and analysis of performability properties," Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen, Habil. thesis, 2002
  2. Ursula Hilgers, "Dienstgüteunterstützung in Weitverkehrsnetzen," Universität Erlangen-Nürnberg, Erlangen, Ph.D. thesis, 2002
  3. Frank Slomka, "Mehrkriterienoptimierung verteilter Echtzeitsysteme mit Tabu-Search," Universität Erlangen-Nürnberg, Erlangen, Ph.D. thesis, 2002