11 citations · 15 across the 2 of their papers we have counts for
2 papers
q-bio.MN2014★ 11 cited
Setting Parameters for Biological Models With ANIMO
Stefano Schivo, Jetse Scholma, Marcel Karperien +3
ANIMO (Analysis of Networks with Interactive MOdeling) is a software for modeling biological networks, such as e.g. signaling, metabolic or gene networks. An ANIMO model is essenti…
cs.LO2010★ 4 cited
Re-verification of a Lip Synchronization Protocol using Robust Reachability
Piotr Kordy, Rom Langerak, Jan Willem Polderman
The timed automata formalism is an important model for specifying and analysing real-time systems. Robustness is the correctness of the model in the presence of small drifts on clo…