Search - IFIP Open Digital Library Access content directly

Filter your results

15 results
Structure: Internal structure identifier : 95599
Image document

Heuristics for deriving adaptive homing and distinguishing sequences for nondeterministic finite state machines

Natalia Kushik , Husnu Yenigun
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah And Dubai, United Arab Emirates. pp.243-248, ⟨10.1007/978-3-319-25945-1_15⟩
Conference papers hal-01262740v1
Image document

CSI based indoor localization using Ensemble Neural Networks

Abdallah Sobehy , Eric Renault , Paul Mühlethaler
MLN 2019 : 2nd IFIP International Conference on Machine Learning for Networking, Dec 2019, Paris, France. pp.367-378, ⟨10.1007/978-3-030-45778-5_25⟩
Conference papers hal-02334588v1
Image document

Homing Sequence Derivation with Quantified Boolean Satisfiability

Hung-En Wang , Kuan-Hua Tu , Jie-Hong R. Jiang , Natalia Kushik
29th 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
Image document

A model checking based approach for detecting SDN races

Evgenii Vinarskii , Jorge Lopez , Natalia Kushik , Nina Yevtushenko , Djamal Zeghlache
ICTSS 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
Image document

Industrial IoT security monitoring and test on Fed4Fire+ platforms

Diego Rivera , Edgardo Montes de Oca , Wissam Mallouli , Ana R Cavalli , Brecht Vermeulen , et al.
ICTSS 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
Image document

A Survey on Wireless Sensors Networks Security Based on a Layered Approach

Raul A. Fuentes-Samaniego , Ana Rosa Cavalli , Juan A. Nolazco-Flores , Javier Baliosian
13th 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
Image document

Guiding testers' hands in monitoring tools : application of testing approaches on SIP

Xiaoping Che , Huu Nghia Nguyen , Stephane Maag , Fatiha Zaidi
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.105-123, ⟨10.1007/978-3-319-25945-1_7⟩
Conference papers hal-01263247v1

Testing Software and Systems

Franz Wotawa , Mihai Nica , Natalia Kushik
Springer 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
Image document

Enterprise 2.0 : literature taxonomy and usage evaluation

Mayla Alimam , Emmanuel Bertin , Noel Crespi
POEM 2016 : 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling, Nov 2016, Skövde, Sweden. pp.26-40, ⟨10.1007/978-3-319-48393-1_3⟩
Conference papers hal-01368016v1
Image document

Improving the flexibility of production scheduling in flat steel production through standard and AI-based approaches: challenges and perspectives

Vincenzo Iannino , Valentina Colla , Alessandro Maddaloni , Jens Brandenburger , Ahmad Rajabi , et al.
AIAI 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
Image document

Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs

Nina Yevtushenko , Victor Kuliamin , Natalia Kushik
ICTSS 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
Image document

Attack tolerance for services-based applications in the cloud

Georges Ouffoué , Fatiha Zaïdi , Ana R Cavalli
ICTSS 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
Image document

Quality Estimation of Virtual Machine Placement in Cloud Infrastructures

Jorge Lopez , Natalia Kushik , Djamal Zeghlache
29th 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 Systems

Nina Yevtushenko , Ana Rosa Cavalli , Husnu Yenigun
Springer 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
Image document

On traffic domination in communication networks

Walid Ben-Ameur , Pablo Pavón Mariño , Michal Pioro
Performance 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