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

Werkzeuge

• Petruchio: Von Pi-Kalkül-Prozessen zu Petri-Netzen
• P-UMLaut: UML 2.0 Sequenzdiagramme zu Petri-Netzen + Simulation + Visualisierung

Publikationen

[MS10]

R. Meyer and T. Strazny. Petruchio: From dynamic networks to nets. In Tayssir Touili, Byron Cook, and Paul Jackson, editors, Proceedings of the 22nd International Conference on Computer Aided Verification 2010, CAV 2010, volume 6174 of LNCS, pages 175-179. Springer-Verlag, 2010.
[ bib | Abstract ]

[MKS09]

R. Meyer, V. Khomenko, and T. Strazny. A practical approach to verification of mobile systems using net unfoldings. Fundamenta Informaticae, 94(3-4):439-471, 2009. Special Issue on Petri Nets 2008, invited version of the ATPN 2008 paper.
[ bib | Abstract ]

[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, pages 327-347. Springer-Verlag, 2008.
[ 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 | Abstract ]

Abschlussarbeiten

[TS07]

Tim Strazny. Entwurf und Implementierung von Algorithmen zur Berechnung von Petrinetz-Semantiken für Pi-Kalkül-Prozesse, July 2007.
[ bib | .pdf | Abstract ]

[TS06]

Tim Strazny. Simulation von Generalized Stochastic Petri Nets, July 2006.
[ bib | .pdf | Abstract ]