Filter your results
- 13
- 2
- 13
- 2
- 15
- 1
- 1
- 4
- 4
- 1
- 1
- 3
- 1
- 15
- 15
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
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
|
||
|
Homing Sequence Derivation with Quantified Boolean Satisfiability29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.230-242, ⟨10.1007/978-3-319-67549-7_14⟩
Conference papers
hal-01678974v1
|
||
|
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩
Conference papers
hal-01658423v1
|
||
|
Industrial IoT security monitoring and test on Fed4Fire+ platformsICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.270-278, ⟨10.1007/978-3-030-31280-0_17⟩
Conference papers
hal-02526342v1
|
||
|
A quality of experience based approach for wireless mesh networks9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova I La Geltrú, Spain. pp.162-173, ⟨10.1007/978-3-642-21560-5_14⟩
Conference papers
hal-01301638v1
|
||
|
Using testing techniques for vulnerability detection in C programs23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.80-96, ⟨10.1007/978-3-642-24580-0_7⟩
Conference papers
hal-01303013v1
|
||
|
A Survey on Wireless Sensors Networks Security Based on a Layered Approach13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.77-93, ⟨10.1007/978-3-319-22572-2_6⟩
Conference papers
hal-01728805v1
|
||
|
Testing Software and SystemsSpringer International Publishing, LNCS-9976, pp.257, 2016, Lecture Notes in Computer Science, Lecture notes in computer science, 978-3-319-47442-7. ⟨10.1007/978-3-319-47443-4⟩
Books
hal-01643721v1
|
||
|
Improving the flexibility of production scheduling in flat steel production through standard and AI-based approaches: challenges and perspectivesAIAI 2021: 17th IFIP International Conference on Artificial Intelligence Applications and Innovations, Jun 2021, Hersonissos, Crete, Greece. pp.619-632, ⟨10.1007/978-3-030-79150-6_49⟩
Conference papers
hal-03287705v1
|
||
|
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
|
||
|
Attack tolerance for services-based applications in the cloudICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.242-258, ⟨10.1007/978-3-030-31280-0_15⟩
Conference papers
hal-02526356v1
|
||
|
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
|
||
|
Testing Software and SystemsSpringer International Publishing, LNCS-10533, 2017, Lecture Notes in Computer Science, 978-3-319-67548-0. ⟨10.1007/978-3-319-67549-7⟩
Books
hal-01678967v1
|
||
|
On traffic domination in communication networksPerformance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienne, Austria. pp.191-202, ⟨10.1007/978-3-642-25575-5_16⟩
Conference papers
hal-01301879v1
|
||
|
Improving clustering techniques in wireless sensor networks using thinning processPerformance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienne, Austria. pp.203-214, ⟨10.1007/978-3-642-25575-5_17⟩
Conference papers
hal-01347786v1
|