Tomas Vejpustek

According to our database, Tomas Vejpustek authored at least 4 papers between 2012 and 2019.

Collaborative distances:

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

2019

Barbaric Robustness Monitoring Revisited for STL* in Parasim.

David Safránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, Martin Demko, Samuel Pastva, Ales Pejznoch, Lubos Brim

Proceedings of the Computational Methods in Systems Biology, 2019

2014

STL^⁎: Extending signal temporal logic with signal-value freezing operator.

Lubos Brim, Petr Dluhos, David Safránek, Tomas Vejpustek

Inf. Comput., 2014

2013

Robustness Analysis for Value-Freezing Signal Temporal Logic.

Lubos Brim, Tomas Vejpustek, David Safránek, Jana Fabriková

Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

2012

On Parameter Synthesis by Parallel Model Checking.

Jiri Barnat, Lubos Brim, Adam Krejci, Adam Streck, David Safránek, Martin Vejnar, Tomas Vejpustek

IEEE ACM Trans. Comput. Biol. Bioinform., 2012