Filtrer vos résultats
- 17
- 6
- 14
- 5
- 2
- 1
- 1
- 22
- 1
- 1
- 4
- 6
- 1
- 4
- 2
- 4
- 1
- 22
- 1
- 15
- 13
- 10
- 2
- 1
- 1
- 23
- 8
- 7
- 7
- 7
- 6
- 4
- 4
- 3
- 2
- 2
- 2
- 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
- 1
23 résultats
|
|
triés par
|
|
Modélisation et Test Fonctionnel de l'Orchestration de Services WebGénie logiciel [cs.SE]. Institut National des Télécommunications, 2009. Français. ⟨NNT : 2009TELE0013⟩
Thèse
tel-00732511v1
|
||
|
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
|
||
Timed Modeling of Web Services Composition for Automatic Testinghe Third International IEEE Conference on Signal-Image Technologies and Internet-Based System (SITIS'07), Dec 2007, Shanghai, China. pp.417 - 426, ⟨10.1109/SITIS.2007.110⟩
Communication dans un congrès
hal-00866006v1
|
|||
|
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
|
||
|
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
|
||
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
|
|||
Transforming BPEL into Intermediate Format Language for Web Services Composition TestingThe 4th International Conference on Next Generation Web Services Practices (NWESP'08), Oct 2008, Séoul, South Korea. pp.191 - 197, ⟨10.1109/NWeSP.2008.14⟩
Communication dans un congrès
hal-00866002v1
|
|||
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
|
|||
NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.Ada User Journal, 2018
Article dans une revue
hal-01869010v1
|
|||
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
|
|||
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
|
|||
Two Complementary Tools for the Formal Testing of Distributed Systems with Time ConstraintsThe 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications (DS-RT'08), Oct 2008, Vancouver, Canada. pp.315 - 318, ⟨10.1109/DS-RT.2008.43⟩
Communication dans un congrès
hal-00865998v1
|
|||
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
|
|||
Automatic Timed Test Case Generation for Web Services CompositionThe IEEE Sixth European Conference on Web Services (ECOWS'08), Nov 2008, Dublin, Ireland. pp.53-62, ⟨10.1109/ECOWS.2008.14⟩
Communication dans un congrès
hal-00865982v1
|
|||
|
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
|
||
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
|
|||
|
Modeling, validation, and verification of PCEP using the IF languageFMOODS/FORTE 2009 : 11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems, Jun 2009, Lisboa, Portugal. pp.122 - 136, ⟨10.1007/978-3-642-02138-1_8⟩
Communication dans un congrès
hal-00446605v1
|
||
Verification of Scheduling Properties Based on Execution TracesAda User Journal, 2018
Article dans une revue
hal-01868846v1
|
|||
|
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
|
||
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
|
||
NoC and Mixed-criticality Systems2017
Autre publication scientifique
hal-01716934v1
|
|||
Modeling and testing secure web-based systems : application to an industrial case studySITIS '08 : The Fourth International Conference on Signal-Image Technology & Internet-Based Systems, Nov 2012, Bali, Indonesia. pp.128-136, ⟨10.1109/SITIS.2008.58⟩
Communication dans un congrès
hal-00796034v1
|