Filter your results
- 3
- 3
- 3
- 2
- 1
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Quality Estimation of Virtual Machine Placement in Cloud Infrastructures29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.213-229, ⟨10.1007/978-3-319-67549-7_13⟩
Conference papers
hal-01678958v1
|
||
|
|
A model checking based approach for detecting SDN racesICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.194-211, ⟨10.1007/978-3-030-31280-0_12⟩
Conference papers
hal-02448964v1
|
||
|
|
Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMsICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.86-103, ⟨10.1007/978-3-030-31280-0_6⟩
Conference papers
hal-02448916v1
|