BACHELORARBEITEN
Mitglieder
Forschung
Lehre
Sommer 2017
Winter 16/17
Sommer 16
Sommer 15
Winter 14/15
Sommer 14
Winter 13/14
Sommer 13
Winter 12/13
Sommer 12
Winter 11/12
Sommer 11
Winter 10/11
Sommer 10
Winter 09/10
Sommer 09
Winter 08/09
Sommer 08
Winter 07/08
Sommerpause 07
Sommer 07
Winter 06/07
Sommer 06
Winter 05/06
Sommerpause 05
Sommer 05
Winter 04/05
Sommerpause 04
Sommer 04
Winter 03/04
Werkzeuge
Alumni
Contact
Eine vollständige formale Semantik für die Web Service Beschreibungssprache BPEL 2.0
Verteilte Java Anwendungen: Kann das gut gehen?
Reflexive und transitive Abschluss eines gerichtetes azyklisches Graphes
Implementierung eines Preflow-Algorithmus für Markovketten
Eine Implementierung mit PEPP
Interactive Simulator for MoDeST (abgeschlossen)
Die richtige Ordnung in "Compositional Aggregation" (laufend)
Präzision von MANET-Simulatoren
Diskrete Ereignissimulation (laufend)
Abbildung von StoCharts nach MoDeST (abgeschlossen)
Energieverbrauch in Ad-Hoc und Sensor-Netzwerken (abgeschlossen)
Axiomatisierung von "Branching Bisimulation" mit Divergenz (abgeschlossen)
Value Passing MoDeST (abgeschlossen)
Automatische Abbildung von MoDeST Spezifikationen auf UPPAAL (abgeschlossen)
Dependable Systems & Software Group
Department of Computer Science
Universität des Saarlandes