Tutorial @ PHM'12
Submitted by M. Leucker on Thu, 2012-07-05 09:19
Martin Leucker has given an invited tutorial on Runtime Verification and Runtime Reflection at the first european conference of the prognostics and health management society (PHM'12) in Dresden, Germany. Further information on the tutorials can be obtained at PHM's tutorial page.
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Mahmoud Abdelrehim
- Aliyu Ali
- Marc Bätje
- Moritz Bayerkuhnlein
- Tobias Braun
- Gerhard Buntrock
- Raik Dankworth
- Raik Hipler
- Elaheh Hosseinkhani
- Frauke Kerlin
- Ludwig Pechmann
- Mahdi Pourghasem
- Waqas Rehan
- Gesina Schwalbe
- Tobias Schwartz
- Annette Stümpel
- Inger Struve
- Daniel Thoma
- Sparsh Tiwari
- Christopher Walther
- Open Positions
- Contact
Overview
Professors
Prof. Dr. Martin Leucker (director)
Prof. Dr. Diedrich Wolter
Address
Institute for Software Engineering and Programming Languages
Building MFC II
Maria-Goeppert-Str. 3
23562 Lübeck
Contact
E-Mail: office [at] isp.uni-luebeck.de
Phone: +49 451 3101-6501




