| 07.10.2013 |
Benjamin Kramer |
Bachelor-Arbeit |
AspectC++ on top of clang (Abschluss) |
| Karl Stelzner |
Bachelor-Arbeit |
AspectVHDL: Entwurf und Implementierung eines Aspektwebers für VHDL (Abschluss) |
| 14.10.2013 |
Sascha Threbank |
Bachelor-Arbeit |
Agentenbasierte Rekonfiguration von Last und Erzeugung für elektrische Übertragungsnetze (Abschluss) |
| Doktoranden |
Forschung |
Team Briefing |
| 21.10.2013 |
Marc Spohr |
Diplomarbeit |
Ein Simulations-Framework für SLA-basierte föderierte Cloud-Umgebungen (Einführung) |
| 28.10.2013 (LS12 Bib.) |
Doktoranden |
Forschung |
Team Briefing |
| 04.11.2013 |
|
|
Termin entfällt wegen SOSP |
| 02.12.2013 |
Doktoranden |
Forschung |
Team Briefing |
| 09.12.2013 |
Konstantin Tkachuk |
Bachelor-Arbeit |
Automatische Konfliktresolution für Szenarien in einer Smart-Home-Applikation - Evaluation theoretischer Ansätze und prototypische Implementierung auf Basis von Qivicon (Abschluss) |
| 06.01.2014 |
Robert Höttger |
Forschung |
Partitionierung und Vector-Clock-Tracing innerhalb der open-source Entwicklungsumgebung Amalthea |
| 13.01.2014 |
Doktoranden |
Forschung |
Team Briefing |
| 20.01.2013 |
Jochen Streicher |
Forschung |
Stromsparen im Smartphone -- Ansätze und aktuelle Arbeiten |
| Christoph Borchert |
Forschung |
Korrektheitsbeweis nebenläufiger Algorithmen mit SPIN |
| 27.01.2014 |
Lars Rademacher |
Master-Arbeit |
FailPanda: Fehlerinjektionsexperimente auf einer eingebetteten ARM-Plattform (Abschluss) |
| 03.02.2014 |
Ansgar-Philip Szameitat |
Bachelor-Arbeit |
Entwicklung einer JTAG-Schnittstelle für den MB-Lite+ (Einführung) |
| Doktoranden |
Forschung |
Team Briefing |
| 10.02.2014 |
|
|
Termin entfällt |
| 17.02.2014 |
Tony Demann |
Master-Arbeit |
Fiasco+FT-Aspekte (Einführung) |
| Doktoranden |
Forschung |
Team Briefing |
| 24.02.2014 14:00 |
Matthias Meier |
ARCS-Probevortrag |
Hardware APIs: A Software-Centric Approach for Automated Derivation of MPSoC Hardware Structures Based on Static Code Analysis |
| 24.03.2014 |
Alexander Lochmann |
Master-Arbeit |
Ebenenübergreifende Bereitstellung von Systemsoftwaredaten (Einführung) |
