2015

  1. Ulrich Klehmet und Kai-Steffen Jens Hielscher, "Problems of Strict and Non-strict Service Curves in Connection with Aggregate Scheduling," Friedrich-Alexander-Universität, Technischer Report, 2015

2010

  1. Christoph Sommer, David Eckhoff, Reinhard German und Falko Dressler, "A Computationally Inexpensive Empirical Model of IEEE 802.11p Radio Shadowing in Urban Environments", September 2010
  2. Christoph Sommer, Reinhard German und Falko Dressler, "Adaptive Beaconing for Delay-Sensitive and Congestion-Aware Traffic Information Systems," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report CS-2010-01, 2010
  3. Dario Kresic, Kai-Steffen Jens Hielscher und Reinhard German, "Spezifikation und Implementation des CAN-Arbitrierungsverfahrens in UPPAAL," Universität Erlangen-Nürnberg, technischer Report CS-2010-05, 2010

2009

  1. Jürgen Eckert, Falko Dressler und Reinhard German, "An Indoor Localization Framework for Four-rotor Flying Robots Using Low-power Sensor Nodes," Friedrich-Alexander-Universität, technischer Report 02/09, 2009
  2. David Eckhoff, Tobias Limmer und Falko Dressler, "Attacking the Hash Table based Data Structures of Flow Monitors," Friedrich-Alexander-Universität, technischer Report 01/09, 2009
  3. Gerhard Fuchs, "Emergence in Complex Systems," Universität Passau, Modeling and Control of Complex and Self-Organizing systems, technischer Report MIP-0916, 2009
  4. Christoph Sommer, Robert Krul, Reinhard German und Falko Dressler, "Emissions vs. Travel Time: Simulative Evaluation of the Environmental Impact of ITS," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 3/09, 2009
  5. Gerhard Fuchs, "Ortsbezogene, probabilistische Aufgabenverteilung am Beispiel von Sensornetzen," Georg-Simon-Ohm-Hochschule, Schriftenreihe der Georg-Simon-Ohm-Hochschule Nürnberg, 2009

2008

  1. Gerhard Fuchs, "Aufbau eines minimalen Modellsystems für Emergenz und Selbst-Organisation," Friedrich-Alexander-Universität, technischer Report 3, 2008
  2. Gerhard Fuchs, "Aufgabenbeschreibung mit UML2-Aktivitätsdiagrammen am Beispiel von Roboter-Sensornetzen," Friedrich-Alexander-Universität, technischer Report 2, 2008
  3. Tobias Limmer und Falko Dressler, "Survey of Event Correlation Techniques for Attack Detection in Early Warning Systems," Friedrich-Alexander-Universität, technischer Report 1, 2008

2007

  1. Isabel Dietrich, Christoph Sommer und Falko Dressler, "Simulating DYMO in OMNeT++," Friedrich-Alexander-Universität, technischer Report 01, 2007

2006

  1. Isabel Dietrich und Falko Dressler, "On the Lifetime of Wireless Sensor Networks," Friedrich-Alexander-Universität, technischer Report 04/06, 2006
  2. Falko Dressler, "Self-Organization in Ad Hoc Networks: Overview and Classification," Friedrich-Alexander-Universität, technischer Report 02/06, 2006
  3. Falko Dressler, "Weighted Probabilistic Data Dissemination (WPDD)," Friedrich-Alexander-Universität, technischer Report 05/06, 2006

2005

  1. Gerhard Fuchs, Sébastien Truchat und Falko Dressler, "Profilbasierte Rekonfiguration kleiner Endgeräte - Roboter unterstützte Sensornetzwerke," Fernuniversität in Hagen Fachbereich Informatik, 2. GI/ITG KuVS Fachgespräch Ortsbezogene Anwendungen und Dienste, technischer Report 324-5/2005, 2005
  2. Sébastien Truchat, "Systembeschreibung zu Rekonfigurierbaren mobilen autonomen Diensten - Rekonfigurierbare Navigationssoftware," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 01/05, 2005

2004

  1. Sébastien Truchat, "Erste Systembeschreibung zur Diplomarbeit: Mobile autonome Dienste und ihr Profiling," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 02, 2004
  2. Matthias Beyer, "QED - A Framework for QoS-Enhanced Development based on the UML and TCN-3," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 01, 2004

2003

  1. Kai Lampka, "Activity-oriented State Graph Representation for Performability Models with known Symmetries," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 06/03, 2003
  2. Matthias Kuntz, "A Stochastic Extension of the Logic PDL," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 03/03, 2003
  3. Amjad Muhsen und Richard Hofmann, "Building a Library of Pre-characterized Components for Hardware/Software Co-design of Embedded Systems," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 07/03, 2003
  4. Matthias Kuntz, Markus Siegle und Edith Werner, "CASPA: A performance evaluation tool based on stochastic process algebra and symbolic data structures," Universität Dortmund, technischer Report 781, 2003
  5. Matthias Kuntz, "CASPA - A Tool for Symbolic Performance and Dependability Evaluation," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 05/03, 2003
  6. Dario Kresic, "Constraint-based Analysis of Real-Time Systems," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 08/03, 2003
  7. Kai Lampka und Markus Siegle, "Symbolic Activity-Local State Graph Generation in the Context of Mobius," Universität Dortmund, ICALP'03 Satellite Workshop on Stochastic Petri Nets and Related Formalisms, technischer Report 780, 2003
  8. Matthias Kuntz, "Towards S-TIPP: Extending the MTBDD-Semantics," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 04/03, 2003
  9. Joachim Meyer-Kayser, "Verifikation stochastischer, prozessalgebraischer Modelle mit aCSL+," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 01/03, 2003

2002

  1. Winfried Dulz und Fenhua Zhen, "How to Use XML Descriptions for Generating Markov Chain Usage Models from Sequence Diagrams," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 06/02, 2002
  2. Sébastien Truchat, "Interoperative Systeme - Eine Studie über vorhandene Plattformen," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 04, 2002
  3. Winfried Dulz, "MaTeLo - Statistical Testing Using Annotated Sequence Diagrams, Markov Chains and TTCN-3," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 05, 2002
  4. Matthias Dörfel, Winfried Dulz, Ulrich Herzog, Richard Hofmann, Lennard Kerber, Andreas Mitschele-Thiel, Ralf Münzenberger, Simone Spitz und Frank Slomka, "Methodology and Tools for the Development of Optimized Real-Time Systems with SDL/MSC and VHDL," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 3, 2002
  5. Kai Lampka und Markus Siegle, "Symbolic Composition within the Moebius Framework," Universität Hamburg, Fachbereich Informatik, Leistungs-, Zuverlässigkeits- und Verlässlichkeitsbewertung von Kommunikationsnetzen und verteilten Systemen, 2. MMBArbeitsgespräch, technischer Report 242, 2002
  6. Kai Lampka, "Z-BDD-based State Space Representation for Monolithic Model Descriptions," Friedrich-Alexander-Universität Erlangen-Nürnberg, Inf 7, technischer Report 02/05, 2002