direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

News

Das Paper "Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution" erhielt bei der ACM CODASPY 2019 den "Outstanding Paper Award".

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

Sabine Glesner and Simone Forster and Matthias Jäger (2004). A Program Result Checker for the Lexical Analysis of the GNU C Compiler. Proceedings of the COCV-Workshop (Compiler Optimization meets Compiler Verification), 7th European Conferences on Theory and Practice of Software (ETAPS 2004). Elsevier, Electronic Notes in Theoretical Computer Science (ENTCS), 19 - 35.


Sabine Glesner (2004). A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics. Proceedings of the COCV-Workshop (Compiler Optimization meets Compiler Verification), 7th European Conferences on Theory and Practice of Software (ETAPS 2004). Elsevier, Electronic Notes in Theoretical Computer Science (ENTCS), 73 - 93.



Sabine Glesner (2003). Program Checking with Certificates: Separating Correctness-Critical Code. Proceedings of the 12th International FME Symposium (Formal Methods Europe). Springer Verlag, Lecture Notes in Computer Science, Vol. 2805, 758-777.


Sabine Glesner and Jan Olaf Blech (2003). Classifying and Formally Verifying Integer Constant Folding. Proceedings of the Workshop COCV 2003: Compiler Optimization meets Compiler Verification. Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 82, No. 2.


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