Correct System Design
Martin Hilscher
| Address: | Martin Hilscher University of Oldenburg Faculty II Department of Computing Science D-26111 Oldenburg Germany |
|
| Room: | A2 2-206 | |
| Phone: | +49 441 798-4682 | |
| Fax: | +49 441 798-2965 | |
| email: | Martin.Hilscher | |
Curriculum Vitae
| since 5/2010 | Research Assistant in the Correct System Design Group |
| 3/2008 - 3/2010 | Research Assistant in the Parallel Systems Group |
Publications
- [HLOR11]
-
M. Hilscher, S. Linker, E.-R. Olderog, and A.P. Ravn.
An abstract model for proving safety of multi-lane traffic
manoeuvres.
In Shengchao Qin and Zongyan Qiu, editors, Int'l Conf. on
Formal Engineering Methods (ICFEM), volume 6991 of Lecture Notes in
Computer Science. Springer-Verlag, Oct. 2011.
The original publication is available at
www.springerlink.com.
[ bib | .pdf | Abstract ]