Sciweavers

14 search results - page 1 / 3
» fates 2006
Sort
View
FATES
2006
Springer
13 years 10 months ago
Robustness of Temporal Logic Specifications
Georgios E. Fainekos, George J. Pappas
FATES
2006
Springer
13 years 10 months ago
Online Testing with Reinforcement Learning
Margus Veanes, Pritam Roy, Colin Campbell
FATES
2006
Springer
13 years 10 months ago
Aspects for Trace Monitoring
A trace monitor observes the sequence of events in a system, and takes appropriate action when a given pattern occurs in that sequence. Aspect-oriented programming provides a conve...
Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laur...