direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

(früherer Name: Programmierung Eingebetteter Systeme)

(JPG, 3,7 MB)

News

Lupe

Wir sind umgezogen.

Unser gesamtes Team ist nun im 10. Stockwerk des TEL Gebäudes zu finden.

Forschungsschwerpunkte

  • Qualitätssicherung für eingebettete Systeme
  • Software-Engineering für eingebettete Systeme
  • Entwurf und Synthese eingebetteter Systeme

SESE-Newsletter

Wer Interesse an unserem Kolloquium und anderen Vorträgen hat, kann sich für den SESE-Newsletter .

Aktuelle Veröffentlichungen

Oscar Almer and Igor Böhm and Tobias Edler von Koch and Björn Franke and Stephen Kyle and Volker Seeker and Christopher Thompson and Nigel Topham (2011). Scalable Multi-Core Simulation Using Parallel Dynamic Binary Translation. Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS'11)


Paula Herber and Marcel Pockrandt and Sabine Glesner (2011). Transforming SystemC Transaction Level Models into UPPAAL Timed Automata. ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign. IEEE Computer Society, 161-170.


Paula Herber (2011). Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata. Ausgezeichnete Informatikdissertationen, 101-110.


Wei Hu and Joachim Wegener and Ingo Stürmer and Robert Reicherdt and Elke Salecker and Sabine Glesner (2011). MeMo – Methods of Model Quality. 7. Dagstuhl-Workshop Model-Based Development of Embedded Systems (MBEES 2011)


Elke Salecker and Robert Reicherdt and Sabine Glesner (2011). Calculating Prioritized Interaction Test Sets with Constraints using Binary Decision Diagrams. 1st Int’l Workshop on Variability-intensive Systems Testing, Validation & Verification (ICST-VAST2011). IEEE.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Prof. Dr. Sabine Glesner

Sekretariat

Johanna Bohlen
Raum TEL 1006
Tel.: +49 30 314-78865
Fax: +49 30 314-78866

Öffnungszeiten:
Mo, Di, Mi, Do
10:30 - 12:30 Uhr

Postanschrift

Technische Universität Berlin
Fachgebiet Software and
Embedded Systems Engineering
Sekr. TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin