Tomáš Vejpustek

2013

Luboš Brim, Tomáš Vejpustek, David Šafránek, and Jana Fabriková:
Robustness Analysis for Value-Freezing Signal Temporal Logic,
Proceedings HSB 2013, Neuveden, 2013, 20-36. [bibtex, url]

2012

Jiří Barnat, Luboš Brim, Adam Krejci, Adam Streck, David Šafránek, Martin Vejnár, and Tomáš Vejpustek:
On Parameter Synthesis by Parallel Model Checking,
IEEE/ACM Trans. Comput. Biol. Bioinformatics, IEEE Computer Society Press, 2012, 693–705. [bibtex, url]