17 citations · 105 across the 18 of their papers we have counts for
Showing cs.CEShow all
2 papers · 1 filter
cs.CE2012★ 13 cited
On Expressing and Monitoring Oscillatory Dynamics
Petr Dluhoš, Luboš Brim, David Šafránek
To express temporal properties of dense-time real-valued signals, the Signal Temporal Logic (STL) has been defined by Maler et al. The work presented a monitoring algorithm decidin…
cs.CE2009★ 16 cited
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Jiří Barnat, Luboš Brim, Ivana Černá +5
In this paper a novel tool BioDiVinEfor parallel analysis of biological models is presented. The tool allows analysis of biological models specified in terms of a set of chemical r…