Deutsch
EnglishNews
Search news archive
News list
Hilfskraft zur Vorbereitung von MBSE gesucht
From: 23.01.2014Im 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 FHIES / SEHC 2014
From: 09.01.2014Michaela 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]
Montag 4.11. 15h: Abschlussvortrag "Modellgetriebene Datenverarbeitung im Industriekontext mit Xtext und Xtend" (D.Osmankin)
From: 01.11.2013Abschlussvortrag / Fortgeschrittenenprojekt D.Osmankin: "Modellgetriebene Datenverarbeitung im Industriekontext mit Xtext und Xtend" Zeit: Montag, 4.11.2013, 15 Uhr Ort (voraussichtlich): IfI, Seminarraum 106,...
MBD@Work sucht frische Kräfte
From: 31.10.2013Werkezuge für die Modellbasierte Diagnose von Bahnautomatisierungssysteme[more]
Sichere Software für medizinische Geräte
From: 30.09.2013Eine 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]
Neue Vorlesung "Formale Verifikation" im Wintersemester
From: 27.09.2013Im Wintersemester 2013/2014 wird eine neue Vorlesung mit dem Titel "Formale Verfikation" angeboten. Weitere Informationen finden Sie im Vorlesungsverzeichnis oder unter Stud.IP. [more]
ERCIM/EWICS Talk
From: 17.09.2013Sara Bessling gives a talk at the ERCIM/EWICS Workshop on Dependable Embedded and Cyberphysical Systems at SAFECOMP 2013in Toulouse.[more]
FHIES Talk
From: 19.08.2013Michaela Huhn gives a talk at the 3rd Third International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2013) in Macau.[more]
Talk at the STAMP Workshop Europe 2013
From: 23.05.2013Michaela Huhn gives a talk at the 1rst STAMP Workshop Europe on "STPA in the Product Line Development of Medical Cyberphysical Systems" in Braunschweig.[more]
Abschlussvortrag zur Masterarbeit: "Instanziierung und Transformation von Modellen für die Diagnose von Bahnautomatisierungs-anlagen"
From: 02.04.2013Diplomanden- 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]
ZeMoSS Talk
From: 25.02.2013Michaela 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]
9. Dagstuhl Workshop "Modellbasierte Entwicklung eingebetteter Systeme"
From: 29.01.201324.04.2013-26.04.2013[more]
Dagstuhl Seminar: Software Cerification - Methods and Tools
From: 29.01.201327.01.2013-01.02.2013[more]
Accepted for FHIES 2012 post-proceedings
From: 10.01.2013"Enhancing Product Line Development by Safety Requirements andVerification" will be published in the LNCS post-proceedings volume for FHIES 12.[more]
Journal publication in Science of Computer Programming
From: 10.01.2013"Observations on Formal Safety Analysis in Practice" has been accepted for publication in Science of Computer Programming.[more]
FHIES Talk
From: 27.08.2012Michaela 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]
2. ZeMoSS Workshop bei der SE 2013 in Aachen
From: 30.07.2012Workshop zur Zertifizierung und modellgetriebenen Entwicklung sicherer Software[more]
DEST Talk
From: 19.06.2012Dennis 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]
Article in Softwaretechnik Trends
From: 15.06.2012The 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]