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 |
Tools
- Petruchio: From Pi-Calculus Processes to Petri-Nets
- P-UMLaut: UML 2.0 Sequence Diagrams to Petri-Nets + Simulation + Visualization
Publications
- [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 ]
Theses
- [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 ]