[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / MCS / Activities
Printer-friendly

Activities

2005

DateSpeakerTopic
2005-02-23Markus SchlütterGenerierung getypter Prozessskelette aus Message Sequence Charts
2005-02-10Carsten KernMSCan - Ein Tool zur Analyse von Message Sequence Charts

2000


Date Speaker Topic
07.08.00, 14.00 Norbisrath An Extension of Haskell with portbased Communication for distributed Programming
30.06.00, 14.00 Bollig Design and Analysis of Trace Logics
05.05.00, 14.00 Norbisrath An Extension of Haskell with portbased Communication for distributed Programming
27.04.00, 14.00 Höfer Distributed BDDs in Verification
17.04.00, 10.00 Brochhaus Implementation of a Graphical Spezificationtool for Erlang Processes
23.03.00, 14.00 Huch Model Checking for Erlang Programs -- Abstraction of the context-free structur
13.03.00, 14.00 Leucker Foata Lineartime Temporallogik

Past

Date Speaker Topic
07.01.00, 14.00 Lange Model Checking and Theorem Proving
29.10.99, 14.00 Huch Erlang-Style Distributed Haskell
19.10.99, 14.00 van Hüllen Design and Implementation of a Specification Language Compiler
08.10.99, 14.00 Borning Transaction based recovery of anomalies in communication networks
24.09.99, 14.00 Bollig Product Languages and Product Logics
29.07.99, 10.00 Lange Gamebased Model Checking for the Alternation Free Mu-calculus
27.07.99, 10.00 Dölfer Automated Verification for Graphical Specifications of Erlang Processes
30.04.99, 10.00 Dölfer ESM - Specification and Verifikation of Erlang Processes
23.04.99, 14.00 Borning Transaktionsbasierte Anomalieerkennung in Kommunikationssystemen
09.04.99, 14.00 van Huellen Design and Implementation of a Compiler for Specification Languages
09.02.99, 14.00 Noll Implementation of the Rewriting Logic
02.02.99, 14.40 Weber The Karlsruher Production Cell - a Benchmark for Verified Software and an Implementation in Erlang
02.02.99, 14.00 Dölfer Tcl/Tk Haskell
22.01.99, 14.00 Huch Model Checking for Erlang
27.11.98, 14.00 Lange Model Checking Games for the Alternationfree Mu-Calculus - The Story so far
30.10.98, 14.00 Henriksen Temporal Logics for Mazurkiewicz Traces
16.10.98, 14.00 Leucker About the aims of this working group
25.06.98, 10.00 Rasch Rewriting modulo Rewriting Systems
18.06.98, 10.00 Höfer Greencard - Combining Haskell and C
10.06.98, 10.00 Huch Model Checking for Erlang
07.05.98, 10.00 Leucker About the aims of this working group
27.03.98 Grädel Modale und nicht-modale Zwei-Variabeln-Logiken
13.03.98 Höfer Bdds and Symbolic Model Checking
06.03.98 Bayerle Recognizable Trace Languages
13.02.98 Tobies Truth
06.02.98 Hülswitt Program logics
30.01.98 Pretschner Model checking for traces
23.01.98 Huch Context-free processes
16.01.98 Bayerle Traces
09.01.98 Lange Model Checking Games
19.12.97 Noll Alternation depth in mu-calculus
15.12.97, 15:00 Borning CTL model checking using automata
28.11.97 Dölfer Erlang model checking
21.11.97 Tobies Tableaux methods for the mu-calculus
14.11.97 Leucker Traces
Valid HTML 4.01 Strict! Valid CSS!