| Petruchio: From dynamic networks to nets R Meyer, T Strazny Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 30 | 2010 |
| A practical approach to verification of mobile systems using net unfoldings R Meyer, V Khomenko, T Strazny Fundamenta Informaticae 94 (3-4), 439-471, 2009 | 18 | 2009 |
| A practical approach to verification of mobile systems using net unfoldings R Meyer, V Khomenko, T Strazny Applications and Theory of Petri Nets: 29th International Conference, PETRI …, 2008 | 12 | 2008 |
| Entwurf und Implementierung von Algorithmen zur Berechnung von Petrinetz-Semantiken für Pi-Kalkül-Prozesse T Strazny Carl von Ossietzky Universität Oldenburg, 2007 | 6 | 2007 |
| An Algorithmic Framework for Checking Coverability in Well-Structured Transition Systems T Strazny Carl von Ossietzky University Oldenburg, 2014 | 3 | 2014 |
| An algorithmic framework for coverability in well-structured systems T Strazny, R Meyer 2012 12th International Conference on Application of Concurrency to System …, 2012 | 3 | 2012 |
| Accelerating Backward Reachability Analysis T Strazny Nordic Workshop on Programming Theory (NWPT'11), 2-4, 2011 | 3 | 2011 |
| A Lane Change Assistance System: Cooperation and Hybrid Control B Wirtz, T Strazny, A Rakow, J Rakow Report of SFB/TR 14 AVACS 78, 2011 | 2 | 2011 |
| Projektgruppe P-UMLaut C Eichner, E Frost, M Hilscher, A Kaiser, R Meyer, M Ross, C Schnars, ... Carl von Ossietzky Universität Oldenburg, 2005 | 1 | 2005 |
| Ein Simulator für mehrfach erweiterte höhere Petrinetze T Strazny, C Stehno 19. Symposium Simulationstechnik (ASIM 2006), 171-176, 2006 | | 2006 |
| Simulation von Generalized Stochastic Petri Nets T Strazny Carl von Ossietzky University Oldenburg, 2006 | | 2006 |
