Inhalt des Dokuments
Willkommen beim Fachgebiet Programmierung eingebetteter Systeme
News
- Das Papier "Design and Verification of a Health-Monitoring Driver Assistance System" (Helena Gruhn, Daniel Stöhr, Mehmet Gövercin und Sabine Glesner) wurde auf der Pervasive Health 2013 angenommen
- Das Papier "Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking" (Daniel Stöhr und Sabine Glesner) wurde auf der TASE 2013 angenommen
- Das Papier "Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks" (Helena Gruhn und Sabine Glesner) wurde auf der FESCA 2013 angenommen
- Das Papier "Ribbon Proofs for Separation Logic" (John Wickerson, Mike Dodds und Matthew Parkinson) wurde auf der ESOP 2013 angenommen
PES-Newsletter
Wer Interesse an unserem Kolloquium und anderen Vorträgen hat, kann sich für den PES-Newsletter anmelden.
Stellenausschreibungen
Forschungsschwerpunkte
- Qualitätssicherung für eingebettete Systeme
- Software-Engineering für eingebettete Systeme
- Entwurf und Synthese eingebetteter Systeme
Informationen, die noch nicht in die neuen Webseiten übernommen wurden, finden Sie unter
pes.cs.tu-berlin.de/pes/
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe
Hilfsfunktionen
Prof. Dr. Sabine Glesner
Direktorin des Institutes für Softwaretechnik und theoretische Informatik
Webseite
Webseite
Sekretariat
Johanna BohlenRaum TEL 1209
Tel.: +49 30 314-78865
Fax: +49 30 314-78866
E-Mail-Anfrage
Öffnungszeiten:
Di, Mi, Do
10:30 - 12:30 Uhr
Postanschrift
Technische Universität BerlinFachgebiet Programmierung
eingebetteter Systeme
Sekr. TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin