Embedded Systems Group (ES)

Search Result

2019

BibTeX Search WWW PDF   [KoSc19]
M. Köhler and K. Schneider
Inductive Proof Rules Beyond Safety Properties
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [Thei19]
D. Theis
Restrukturierung der API und Serverkomponente eines mobilen Spiels zur Optimierung der Sicherheit
Bachelor Thesis

2018

BibTeX Search WWW PDF   [Hubr18]
J. Hubrich
Cracking Enigma, a (short) Summary of the past
BibTeX Search WWW   [Hubr18a]
J. Hubrich
Cracking Enigma, a (short) Summary of the past
Presentation
BibTeX Search WWW PDF   [Meck18]
D. Meckel
Fundamentals of Robotics Verification
BibTeX Search WWW PDF   [Meck18a]
D. Meckel
Fundamentals of Robotics Verification
Presentation
BibTeX Search WWW PDF   [Mohe18]
S. Mohebbi
The history of P vs. NP
BibTeX Search WWW   [Mohe18a]
S. Mohebbi
The history of P vs. NP
Presentation

2016

BibTeX Search WWW PDF   [Koeh16]
M. Köhler
CEGAR for Regular Inclusion
Master Thesis