2015

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

2009

  1. Jürgen Eckert, Falko Dressler and Reinhard German, "An Indoor Localization Framework for Four-rotor Flying Robots Using Low-power Sensor Nodes," Friedrich-Alexander-Universität, technical report 02/09, 2009
  2. David Eckhoff, Tobias Limmer and Falko Dressler, "Attacking the Hash Table based Data Structures of Flow Monitors," Friedrich-Alexander-Universität, technical report 01/09, 2009
  3. Gerhard Fuchs, "Emergence in Complex Systems," Universität Passau, Modeling and Control of Complex and Self-Organizing systems, technical report MIP-0916, 2009
  4. Christoph Sommer, Robert Krul, Reinhard German and Falko Dressler, "Emissions vs. Travel Time: Simulative Evaluation of the Environmental Impact of ITS," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical 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, technical report 3, 2008
  2. Gerhard Fuchs, "Aufgabenbeschreibung mit UML2-Aktivitätsdiagrammen am Beispiel von Roboter-Sensornetzen," Friedrich-Alexander-Universität, technical report 2, 2008
  3. Tobias Limmer and Falko Dressler, "Survey of Event Correlation Techniques for Attack Detection in Early Warning Systems," Friedrich-Alexander-Universität, technical report 1, 2008

2007

  1. Isabel Dietrich, Christoph Sommer and Falko Dressler, "Simulating DYMO in OMNeT++," Friedrich-Alexander-Universität, technical report 01, 2007

2006

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

2005

  1. Gerhard Fuchs, Sébastien Truchat and 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, technical report 324-5/2005, 2005
  2. Sébastien Truchat, "Systembeschreibung zu Rekonfigurierbaren mobilen autonomen Diensten - Rekonfigurierbare Navigationssoftware," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical 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, technical 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, technical 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, technical report 06/03, 2003
  2. Matthias Kuntz, "A Stochastic Extension of the Logic PDL," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 03/03, 2003
  3. Amjad Muhsen and Richard Hofmann, "Building a Library of Pre-characterized Components for Hardware/Software Co-design of Embedded Systems," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 07/03, 2003
  4. Matthias Kuntz, Markus Siegle and Edith Werner, "CASPA: A performance evaluation tool based on stochastic process algebra and symbolic data structures," Universität Dortmund, technical report 781, 2003
  5. Matthias Kuntz, "CASPA - A Tool for Symbolic Performance and Dependability Evaluation," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 05/03, 2003
  6. Dario Kresic, "Constraint-based Analysis of Real-Time Systems," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 08/03, 2003
  7. Kai Lampka and 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, technical report 780, 2003
  8. Matthias Kuntz, "Towards S-TIPP: Extending the MTBDD-Semantics," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 04/03, 2003
  9. Joachim Meyer-Kayser, "Verifikation stochastischer, prozessalgebraischer Modelle mit aCSL+," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 01/03, 2003

2002

  1. Winfried Dulz and Fenhua Zhen, "How to Use XML Descriptions for Generating Markov Chain Usage Models from Sequence Diagrams," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 06/02, 2002
  2. Sébastien Truchat, "Interoperative Systeme - Eine Studie über vorhandene Plattformen," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical 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, technical report 05, 2002
  4. Matthias Dörfel, Winfried Dulz, Ulrich Herzog, Richard Hofmann, Lennard Kerber, Andreas Mitschele-Thiel, Ralf Münzenberger, Simone Spitz and 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, technical report 3, 2002
  5. Kai Lampka and 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, technical 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, technical report 02/05, 2002