3 citations · 8 across the 9 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.SE2015
Analysing Sanity of Requirements for Avionics Systems (Preliminary Version)
Jiří Barnat, Petr Bauch, Nikola Beneš +3
In the last decade it became a common practice to formalise software requirements to improve the clarity of users' expectations. In this work we build on the fact that functional r…
cs.FL2015★ 1 cited
Language Emptiness of Continuous-Time Parametric Timed Automata
Nikola Beneš, Peter Bezděk, Kim G. Larsen +1
Parametric timed automata extend the standard timed automata with the possibility to use parameters in the clock guards. In general, if the parameters are real-valued, the problem…