8 citations · 39 across the 9 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…
cs.CE2013★ 2 cited
Proceedings Second International Workshop on Hybrid Systems and Biology
Thao Dang, Carla Piazza
This volume contains the proceedings of the Second International Workshop Hybrid Systems and Biology (HSB 2013) held in Taormina (Italy), on September 2th, 2013. The workshop is af…