Tim Strazny

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Evolutionary Algorithm

Framework Enables

Building Blocks

Top Venues

Universität Oldenburg (PHD)

Education History

Universität Oldenburg

PHD

Publications

Tim Strazny, Roland Meyer
An Algorithmic Framework for Coverability in Well-Structured Systems. ACSD (2012)
Roland Meyer, Tim Strazny
Petruchio: From Dynamic Networks to Nets. CAV (2010)
Roland Meyer, Victor Khomenko, Tim Strazny
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. Fundam. Informaticae 94 (3-4) (2009)
Roland Meyer, Victor Khomenko, Tim Strazny
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. Petri Nets (2008)