Tim Strazny

According to our database, Tim Strazny authored at least 4 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

An algorithmic framework for checking coverability in well-structured transition systems.

Tim Strazny

PhD thesis, 2014

2012

An Algorithmic Framework for Coverability in Well-Structured Systems.

Tim Strazny, Roland Meyer

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2010

Petruchio: From Dynamic Networks to Nets.

Roland Meyer, Tim Strazny

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.

Roland Meyer, Victor Khomenko, Tim Strazny

Fundam. Informaticae, 2009