Aktuelles

Newsarchiv durchsuchen

Bitte geben Sie einen Suchbegriff ein.

Nachrichtenliste

Hilfskraft zur Vorbereitung von MBSE gesucht

Nachrichtenalter: 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...[mehr]




Michaela Huhn was appointed programme chair of FHIES / SEHC 2014

Nachrichtenalter: 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...[mehr]




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

Nachrichtenalter: 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

Nachrichtenalter: 31.10.2013

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




Sichere Software für medizinische Geräte

Nachrichtenalter: 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...[mehr]




Neue Vorlesung "Formale Verifikation" im Wintersemester

Nachrichtenalter: 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. [mehr]




ERCIM/EWICS Talk

Nachrichtenalter: 17.09.2013

Sara Bessling gives a talk at the ERCIM/EWICS Workshop on Dependable Embedded and Cyberphysical Systems at SAFECOMP 2013in Toulouse.[mehr]




FHIES Talk

Nachrichtenalter: 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.[mehr]




Talk at the STAMP Workshop Europe 2013

Nachrichtenalter: 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.[mehr]




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

Nachrichtenalter: 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...[mehr]




ZeMoSS Talk

Nachrichtenalter: 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...[mehr]




9. Dagstuhl Workshop "Modellbasierte Entwicklung eingebetteter Systeme"

Nachrichtenalter: 29.01.2013

24.04.2013-26.04.2013[mehr]




Dagstuhl Seminar: Software Cerification - Methods and Tools

Nachrichtenalter: 29.01.2013

27.01.2013-01.02.2013[mehr]




Accepted for FHIES 2012 post-proceedings

Nachrichtenalter: 10.01.2013

"Enhancing Product Line Development by Safety Requirements andVerification" will be published in the LNCS post-proceedings volume for FHIES 12.[mehr]




Journal publication in Science of Computer Programming

Nachrichtenalter: 10.01.2013

"Observations on Formal Safety Analysis in Practice" has been accepted for publication in Science of Computer Programming.[mehr]




FHIES Talk

Nachrichtenalter: 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...[mehr]




2. ZeMoSS Workshop bei der SE 2013 in Aachen

Nachrichtenalter: 30.07.2012

Workshop zur Zertifizierung und modellgetriebenen Entwicklung sicherer Software[mehr]




DEST Talk

Nachrichtenalter: 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. [mehr]




Article in Softwaretechnik Trends

Nachrichtenalter: 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 .[mehr]




MAT Talk

Nachrichtenalter: 15.03.2012

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




 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019