The following pages link to Thomas Ferrère (Q832023):
Displayed 17 items.
- On the complexity of timed pattern matching (Q832025) (← links)
- Monitoring temporal logic with clock variables (Q1631217) (← links)
- Online timed pattern matching using automata (Q1631233) (← links)
- On the quantitative semantics of regular expressions over real-valued signals (Q1683449) (← links)
- Measuring with timed patterns (Q1702899) (← links)
- The compound interest in relaxing punctuality (Q2024340) (← links)
- Flavors of sequential information flow (Q2152640) (← links)
- Mixed-time signal temporal logic (Q2176697) (← links)
- Online timed pattern matching using derivatives (Q2272934) (← links)
- Trace Diagnostics Using Temporal Implicants (Q3460567) (← links)
- Efficient Parametric Identification for STL (Q4561450) (← links)
- Localizing Faults in Simulink/Stateflow Models with STL (Q4561453) (← links)
- A Theory of Register Monitors (Q5145314) (← links)
- From Real-time Logic to Timed Automata (Q5215449) (← links)
- Interface-aware signal temporal logic (Q5239220) (← links)
- Timed Pattern Matching (Q5500566) (← links)
- (Q5874206) (← links)