Sciweavers

14 search results - page 1 / 3
» fates 2006
Sort
View
173
Voted
FATES
2006
Springer
15 years 11 months ago
State-Identification Problems for Finite-State Transducers
Moez Krichen, Stavros Tripakis
172
Voted
FATES
2006
Springer
15 years 11 months ago
Robustness of Temporal Logic Specifications
Georgios E. Fainekos, George J. Pappas
161
Voted
FATES
2006
Springer
15 years 11 months ago
Online Testing with Reinforcement Learning
Margus Veanes, Pritam Roy, Colin Campbell
FATES
2006
Springer
15 years 11 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...