81 search results - page 1 / 17 » Temporal skeletons for verifying time |
SIGADA
2005
Springer
13 years 10 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
ASWEC
2007
IEEE
13 years 11 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
SDM
2012
SIAM
11 years 7 months ago
2012
SIAM
Learning temporal causal structures between time series is one of the key tools for analyzing time series data. In many real-world applications, we are confronted with Irregular T...
DALT
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
ASYNC
2005
IEEE
13 years 10 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...