Correct System Design
Tim Strazny
| Address: | Tim Strazny University of Oldenburg Faculty II Department of Computing Science D-26111 Oldenburg Germany |
|
| Room: | A3 2-218 | |
| Phone: | +49 441 798-2362 | |
| Fax: | +49 441 798-2965 | |
| email: | Tim.Strazny | |
Curriculum Vitae
| since 9/2007 | Research Assistant in the Correct System Design Group |
| 6/2007 | Diploma degree in Computer Science at the University of Oldenburg |
Publications
- [MKS08a]
-
R. Meyer, V. Khomenko, and T. Strazny.
A practical approach to verification of mobile systems using net
unfoldings.
In Proc. of the 29th International Conference on Application and
Theory of Petri Nets and Other Models of Concurrency, ATPN 2008, volume 5062
of LNCS. Springer-Verlag, 2008.
To appear.
[ bib | Abstract ] - [MKS08b]
-
R. Meyer, V. Khomenko, and T. Strazny.
A practical approach to verification of mobile systems using net
unfoldings.
Technical Report CS-TR: 1064, School of Computing Science, Newcastle
University, January 2008.
29 pages.
[ bib | Abstract ] - [SS06]
-
Tim Strazny and Christian Stehno.
Ein Simulator für mehrfach erweiterte höhere
Petrinetze.
In Matthias Becker and Helena Szczerbicka, editors, 19.
Symposium Simulationstechnik (ASIM 2006), pages 171-176. SCS Publishing
House e.V., September 2006.
[ bib ]
Theses
- [TS07]
-
Tim Strazny.
Entwurf und Implementierung von Algorithmen zur
Berechnung von Petrinetz-Semantiken für
Pi-Kalkül-Prozesse, 2007.
[ bib ] - [TS06]
-
Tim Strazny.
Simulation von Generalized Stochastic Petri Nets, 2006.
[ bib ]