10 search results - page 1 / 2 » On temporal logic constraint solving for analyzing numerical... |
TCS
2008
13 years 4 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
CMSB
2007
Springer
13 years 10 months ago
2007
Springer
CAV
2003
Springer
13 years 10 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
ICSM
2007
IEEE
13 years 11 months ago
2007
IEEE
Time series analysis is a promising approach to discover temporal patterns from time stamped, numeric data. A novel approach to apply time series analysis to discern temporal info...
CMSB
2007
Springer
13 years 10 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...