Filter your results
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Compressing Microcontroller Execution Traces to Assist System Analysis4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.139-150, ⟨10.1007/978-3-642-38853-8_13⟩
Conference papers
hal-00853716v1
|
||
|
|
GREP: Games for the Runtime Enforcement of Properties29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩
Conference papers
hal-01678960v1
|
||
|
|
Efficient and Generalized Decentralized Monitoring of Regular Languages34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.66-83, ⟨10.1007/978-3-662-43613-4_5⟩
Conference papers
hal-00972559v1
|