ISP Oberseminar

Semester:

SS 2012

Modul:

ISP OS

Lecturer:

Assistants:

Im Oberseminar werden aktuelle Themen der Softwaretechnik behandelt. Studenten und Mitarbeiter, auch anderer Institute, sind herzlich eingeladen. Themenvorschläge nehmen wir gerne auf.

Umfang 2 SWS, kein Leistungsnachweis.

SS 2012

Seminar
Thursday 16:15-18:15 ISP Besprechungsraum 108

click to view Dates.

Vorträge

12.04.2012	Martin Leucker, ISP	Runtime Verification with Predictive Semantics
03.05.2012	Wanwei Lui, National University of Defence Technology, Changsha, China	Results on LTL_QN
30.05.2012	Volker Diekert, FMI, Universität Stuttgart	Power Circuits and Arithmetic for Highly Compressed Integers
22.06.2012	Christian Pohlmann, ISP	Development of an Internal DSL for Runtime Verification
12.07.2012	Benjamin Monmege	Adding Pebbles to Weighted Automata
19.07.2012	Tilo Fischer, Uni Lübeck	Aktueller Stand zur Entwicklung des MDA-Tools
23.07.2012	Grigory Markin, ISP	Towards Efficiency and Completeness in PLC-Code Verification
n.n.	Gerhard Buntrock, ISP	n.n.
n.n.	n.n.	On Learning Automata with Data
09.08.2012	Normann Decker/Daniel Thoma, ISP	Trigger-Obligation properties

Änderungen vorbehalten.

Material

Martin Leucker - RV with Predictive Semantics

Wanwei Liu - Results on LTL_QN

Christian Pohlmann - Development of an Internal DSL for Runtime Verification

Volker Diekert - Arithmetics for highly compressed integers

Search form

You are here

ISP Oberseminar

Vorträge