235 citations · 330 across the 12 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 7 cited
Falsifying Oscillation Properties of Parametric Biological Models
Thao Dang, Tommaso Dreossi
We propose an approach to falsification of oscillation properties of parametric biological models, based on the recently developed techniques for testing continuous and hybrid syst…
eess.SY2013★ 1 cited
Approximated Symbolic Computations over Hybrid Automata
Alberto Casagrande, Tommaso Dreossi, Carla Piazza
Hybrid automata are a natural framework for modeling and analyzing systems which exhibit a mixed discrete continuous behaviour. However, the standard operational semantics defined…