Entwicklung korrekter Systeme
Tim Strazny
| Anschrift: | Tim Strazny Universität Oldenburg Fakultät II Department für Informatik 26111 Oldenburg |
|
| Raum: | A3 2-218 | |
| Telefon: | (04 41) 798-2362 | |
| Fax: | (04 41) 798-2965 | |
| E-Mail: | Tim.Strazny | |
Curriculum Vitae
| seit 9/2007 | Wissenschaftlicher Mitarbeiter in der Abteilung Entwicklung korrekter Systeme |
| 6/2007 | Informatik-Diplom an der Universität Oldenburg |
Publikationen
- [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 ]
Abschlussarbeiten
- [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 ]