![[I2 logo]](../../../Images/i2.gif)
![[RWTH logo]](../../../Images/rwth-rot90.gif)
|
MOVES: Software Modeling and Verification
(Informatik 2)
|
Activities
2005
| Date | Speaker | Topic |
| 2005-02-23 | Markus Schlütter | Generierung getypter Prozessskelette aus Message Sequence Charts |
| 2005-02-10 | Carsten Kern | MSCan - 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
|
|
![[Mail]](../../../Images/umschlag.gif)
Home
