Filtrer vos résultats
- 11
- 5
- 8
- 5
- 2
- 1
- 15
- 1
- 1
- 4
- 6
- 1
- 4
- 16
- 13
- 8
- 7
- 1
- 1
- 1
- 16
- 7
- 7
- 6
- 5
- 5
- 4
- 3
- 2
- 2
- 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
16 résultats
|
|
|
triés par
|
|
|
A Component based Testing Technique for a MANET Routing Protocol.The ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'10), May 2010, Hammamet, Tunisia. pp.1-7, ⟨10.1109/AICCSA.2010.5587040⟩
Communication dans un congrès
hal-00706005v1
|
||
A Framework for Modeling and Testing of Web Services Orchestration.The fourth workshop on Modeling, Design, and Analysis for the Service Cloud (MDA4ServiceCloud 2010), Jun 2010, Paris, France. pp.34-36
Communication dans un congrès
hal-00706086v1
|
|||
|
|
Modeling and Testing of Web Based SystemsSpringer. EMERGENT WEB INTELLIGENCE: ADVANCED SEMANTIC TECHNOLOGIES, Springer London, pp.355-394, 2010, Advanced Information and Knowledge Processing, ⟨10.1007/978-1-84996-077-9_14⟩
Chapitre d'ouvrage
hal-00706157v1
|
||
Applying formal methods to PCEP: an industrial case study from modeling to test generation.Journal of Software Testing, Verification and Reliability, 2012, 22 (5), pp.343--361. ⟨10.1002/stvr.445⟩
Article dans une revue
istex
hal-00706162v1
|
|||
An attack-tolerant framework for web servicesSCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.503 - 506, ⟨10.1109/SCC.2017.75⟩
Communication dans un congrès
hal-01695155v1
|
|||
Modeling and testing secure web applicationsWeb-based information technologies and distributed systems, Atlantis Press, pp.207-255, 2010, Atlantis Ambient and Pervasive Intelligence, ⟨10.1007/978-94-91216-32-9_10⟩
Chapitre d'ouvrage
hal-00673835v1
|
|||
How web services can be tolerant to intruders through diversificationICWS 2017 : 24th IEEE International Conference on Web Services, Jun 2017, Honolulu, United States. pp.436 - 443, ⟨10.1109/ICWS.2017.50⟩
Communication dans un congrès
hal-01592719v1
|
|||
Model-based attack toleranceFINA 2017 : 13th International Symposium on Frontiers of Information Systems and Network Applications, Mar 2017, Taipei, Taiwan. pp.68 - 73, ⟨10.1109/WAINA.2017.88⟩
Communication dans un congrès
hal-01583439v1
|
|||
|
|
Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time SystemsACM Journal on Emerging Technologies in Computing Systems, 2019, 15 (1), pp.2:1--2:37. ⟨10.1145/3264818⟩
Article dans une revue
hal-01867949v1
|
||
Verification of Scheduling Properties Based on Execution TracesAda User Journal, 2018
Article dans une revue
hal-01868846v1
|
|||
NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.Ada User Journal, 2018
Article dans une revue
hal-01869010v1
|
|||
NoC and Mixed-criticality Systems2017
Autre publication scientifique
hal-01716934v1
|
|||
|
|
Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time SystemsACM Journal on Emerging Technologies in Computing Systems, 2018
Article dans une revue
hal-01867673v1
|
||
|
|
DAS: An Efficient NoC Router for Mixed-Criticality Real-Time Systems2017 IEEE 35th International Conference on Computer Design (ICCD), Nov 2017, Boston, United States. ⟨10.1109/ICCD.2017.42⟩
Communication dans un congrès
hal-01713312v1
|
||
Modeling and Validation of a Mixed-Criticality NoC Router Using the IF Languagethe 10th International Workshop on Network on Chip Architectures, Oct 2017, Boston, United States. ⟨10.1145/3139540.3139543⟩
Communication dans un congrès
hal-01713333v1
|
|||
|
|
Detecting Gaps and Voids in WSNs and IoT Networks: the Minimum x-Coordinate based MethodInternational Conference on Future Networks and Distr buted Systems (ICFNDS), Jun 2018, Amman, Jordan. ⟨10.1145/3231053.3231090⟩
Communication dans un congrès
hal-01829227v1
|