News

Search news archive

Please enter a searchword.

News list

Hilfskraft zur Vorbereitung von MBSE gesucht

From: 23.01.2014

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 FHIES / SEHC 2014

From: 09.01.2014

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]




Montag 4.11. 15h: Abschlussvortrag "Modellgetriebene Datenverarbeitung im Industriekontext mit Xtext und Xtend" (D.Osmankin)

From: 01.11.2013

Abschlussvortrag / 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.2013

Werkezuge für die Modellbasierte Diagnose von Bahnautomatisierungssysteme[more]




Sichere Software für medizinische Geräte

From: 30.09.2013

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]




Neue Vorlesung "Formale Verifikation" im Wintersemester

From: 27.09.2013

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]




ERCIM/EWICS Talk

From: 17.09.2013

Sara 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.2013

Michaela 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.2013

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]




Abschlussvortrag zur Masterarbeit: "Instanziierung und Transformation von Modellen für die Diagnose von Bahnautomatisierungs-anlagen"

From: 02.04.2013

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]




ZeMoSS Talk

From: 25.02.2013

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]




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.2012

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]




2. ZeMoSS Workshop bei der SE 2013 in Aachen

From: 30.07.2012

Workshop zur Zertifizierung und modellgetriebenen Entwicklung sicherer Software[more]




DEST Talk

From: 19.06.2012

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]




Article in Softwaretechnik Trends

From: 15.06.2012

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]




MAT Talk

From: 15.03.2012

Michaela Huhn gives a talk at the Workshop on "Modellierung von Automatisierungssystemen (MAT 2012)" in Bamberg.[more]




 

Contact  Search  Sitemap  Data Privacy  Imprint
© TU Clausthal 2018