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)

Robustness Analysis for Value-Freezing Signal Temporal Logic. - Lubos Brim; Tomas Vejpustek; David Safránek; Jana Fabriková (HSB, 2013)

STL⁎: Extending signal temporal logic with signal-value freezing operator. - Lubos Brim; Petr Dluhos; David Safránek; Tomas Vejpustek (Inf. Comput., 2014)

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 (CMSB, 2019)