Im Sommersemester wird die Lehrveranstaltung Modellbasierte Software-Entwicklung erneut stattfinden. Zur Vorbereitung von Lehrmaterial und Übungen wird eine engagierte Hilfskraft gesucht. Sicherer Umgang mit Tex und Eclipse...[more]
Michaela Huhn was appointed programme chair of the upcomping Fourth International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2014) in combination with the 6th International Workshop on Software...[more]
Abschlussvortrag / Fortgeschrittenenprojekt D.Osmankin: "Modellgetriebene Datenverarbeitung im Industriekontext mit Xtext und Xtend" Zeit: Montag, 4.11.2013, 15 Uhr Ort (voraussichtlich): IfI, Seminarraum 106,...
Werkezuge für die Modellbasierte Diagnose von Bahnautomatisierungssysteme[more]
Eine Kurzdarstellung unserer Forschungsarbeiten zu Sicherheitsanalyse und Verifikation für medizinische Geräte und Produktlinien wurde in den Technologie-Informationen 3+4/13 (S. 18) veröffentlicht. Studierende, die in diesem...[more]
Im Wintersemester 2013/2014 wird eine neue Vorlesung mit dem Titel "Formale Verfikation" angeboten. Weitere Informationen finden Sie im Vorlesungsverzeichnis oder unter Stud.IP. [more]
Sara Bessling gives a talk at the ERCIM/EWICS Workshop on Dependable Embedded and Cyberphysical Systems at SAFECOMP 2013in Toulouse.[more]
Michaela Huhn gives a talk at the 3rd Third International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2013) in Macau.[more]
Michaela Huhn gives a talk at the 1rst STAMP Workshop Europe on "STPA in the Product Line Development of Medical Cyberphysical Systems" in Braunschweig.[more]
Diplomanden- und Doktorandenseminar des Instituts für Informatik Termin: Dienstag, 2. April 2013, 13 Uhr (s.t.) Ort: IfI, Seminarraum 106, Julius-Albert-Str. 4 Masterarbeit X.Cai Instanziierung und Transformation...[more]
Michaela Huhn and Dennis Klar are giving a talk at the "Zertifizierung und modellgetriebene Entwicklung sicherer Software" Workshop (ZeMoSS 2013) on "Zur Risikobestimmung bei Security-Analysen in der...[more]
24.04.2013-26.04.2013[more]
27.01.2013-01.02.2013[more]
"Enhancing Product Line Development by Safety Requirements andVerification" will be published in the LNCS post-proceedings volume for FHIES 12.[more]
"Observations on Formal Safety Analysis in Practice" has been accepted for publication in Science of Computer Programming.[more]
Michaela Huhn gives a talk at the 2nd International Smposium on Foundations of Health Information Engineering and Systems (FHIES 2012) on "Enhancing Product Line Development by Safety Requirements and Verification" in...[more]
Workshop zur Zertifizierung und modellgetriebenen Entwicklung sicherer Software[more]
Dennis Klar gives a talk on "Interfaces and Models for the Diagnosis of Cyber-Physical Ecosystems" at the 6th IEEE Conference on Digital Ecosystems Technologies IEEE DEST-CEE 2012 in Campione d'Italia. [more]
The paper"Integration domänenspezifischer Modellierung in der Diagnose von Automatisierungssystemen" by Dennis Klar and Michaela Huhn has been published in Softwaretechnik-Trends (32) 2012 .[more]