Tomas Vejpustek

Publication Activity (10 Years)

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

Top Topics

Deterministic Finite Automaton

Concurrent Systems

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

Lubos Brim, Petr Dluhos, David Safránek, Tomas Vejpustek
: Extending signal temporal logic with signal-value freezing operator. Inf. Comput. 236 (2014)
Lubos Brim, Tomas Vejpustek, David Safránek, Jana Fabriková
Robustness Analysis for Value-Freezing Signal Temporal Logic. HSB (2013)
Jiri Barnat, Lubos Brim, Adam Krejci, Adam Streck, David Safránek, Martin Vejnar, Tomas Vejpustek
On Parameter Synthesis by Parallel Model Checking. IEEE ACM Trans. Comput. Biol. Bioinform. 9 (3) (2012)