Filtrer vos résultats
- 28
- 16
- 1
- 37
- 5
- 1
- 1
- 1
- 1
- 45
- 3
- 1
- 3
- 1
- 3
- 6
- 3
- 2
- 1
- 3
- 4
- 2
- 4
- 4
- 2
- 2
- 1
- 43
- 2
- 39
- 22
- 11
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 45
- 16
- 12
- 8
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
45 résultats
|
|
|
triés par
|
|
|
Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing9th International Symposium on High-Assurance Systems Engineering (HASE), Oct 2012, Omaha, United States. ⟨10.1109/HASE.2012.15⟩
Communication dans un congrès
hal-01367296v1
|
||
|
|
A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies10th International Conference on Service-Oriented Computing (ICSOC), Dec 2012, San Francisco, United States. ⟨10.1007/978-3-642-34321-6_36⟩
Communication dans un congrès
hal-01367304v1
|
||
|
|
Monitoring dynamic mobile ad-hoc networks: a fully distributed hybrid architectureAINA 2017: 31st IEEE International Conference on Advanced Information Networking and Applications, Mar 2017, Taipei, Taiwan. pp.407 - 414, ⟨10.1109/AINA.2017.74⟩
Communication dans un congrès
hal-01653375v1
|
||
Supple: A Flexible Probabilistic Data Dissemination Protocol for Wireless Sensor NetworksACM MSWIM, Oct 2010, Bodrum, Turkey
Communication dans un congrès
inria-00544749v1
|
|||
|
|
Vérification de systèmes paramétrés avec CubicleJFLA - Journées francophones des langages applicatifs - 2013, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
Communication dans un congrès
hal-00778832v1
|
||
|
|
Invariants for Finite Instances and BeyondFormal Methods in Computer-Aided Design (FMCAD), Oct 2013, Portland, Oregon, United States. pp.61-68, ⟨10.1109/FMCAD.2013.6679392⟩
Communication dans un congrès
hal-00924640v1
|
||
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
|
|||
Génération de tests d'intéropérabilité pour le protocole TCP4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR '03), Oct 2003, Metz, France. pp.447-461
Communication dans un congrès
hal-01530440v1
|
|||
|
|
A Coloured Petri Nets Based Attack Tolerance Framework27th Asia-Pacific Software Engineering Conference (APSEC 2020), IEEE, Dec 2020, Singapore, Singapore
Communication dans un congrès
hal-03133790v1
|
||
|
|
Guiding testers' hands in monitoring tools : application of testing approaches on SIP27th 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⟩
Communication dans un congrès
hal-01263247v1
|
||
DHYMON: a continuous Decentralized HYBrid MONitoring architecture for MANETsLATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop, Nov 2017, Guatemala City, Guatemala
Communication dans un congrès
hal-01799804v1
|
|||
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
|
|||
|
|
MANETs monitoring with a distributed hybrid architectureNCA 2016 : 15th IEEE International Symposium on Network Computing and Applications, Oct 2016, Cambridge, Ma, United States. pp.388 - 391, ⟨10.1109/NCA.2016.7778646⟩
Communication dans un congrès
hal-01462909v1
|
||
A Framework for Distributed Testing of Timed Composite Systems2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, France. ⟨10.1109/APSEC.2014.16⟩
Communication dans un congrès
hal-01760336v1
|
|||
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
|
|||
|
|
A Framework for the Attack Tolerance of Cloud Applications Based on Web ServicesElectronics, 2020, 10 (1), pp.6. ⟨10.3390/electronics10010006⟩
Article dans une revue
hal-03113828v1
|
||
|
|
Testing Software and SystemsSpringer, LNCS-7019, 2011, Lecture Notes in Computer Science, 978-3-642-24579-4. ⟨10.1007/978-3-642-24580-0⟩
Ouvrages
hal-01583913v1
|
||
Compiling Parameterized X86-TSO Concurrent Programs to Cubicle- W19th International Conference on Formal Methods and Software Engineering, Nov 2017, Xi'an, China. pp.88-104, ⟨10.1007/978-3-319-68690-5_6⟩
Communication dans un congrès
hal-01767064v1
|
|||
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
|
|||
Intrusion Detection and Attack Tolerance for Cloud Environments: The CLARUS Approach2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW), Jun 2016, Nara, France. ⟨10.1109/ICDCSW.2016.27⟩
Communication dans un congrès
hal-01767065v1
|
|||
|
|
A formal consensus-based distributed monitoring approach for mobile IoT networksInternet of Things, 2021, 13, pp.100352. ⟨10.1016/j.iot.2020.100352⟩
Article dans une revue
hal-03546760v1
|
||
|
|
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⟩
Communication dans un congrès
hal-02526356v1
|
||
|
|
Cubicle: A Parallel SMT-based Model Checker for Parameterized SystemsCAV, Jul 2012, Berkeley, California, United States. pp.718-724
Communication dans un congrès
hal-00799272v1
|
||
|
|
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
|
||
Certificates for Parameterized Model CheckingFM 2015 - 20th International Symposium on Formal Methods, May 2015, Oslo, Norway. pp.126-142, ⟨10.1007/978-3-319-19249-9_9⟩
Communication dans un congrès
hal-01761274v1
|
|||
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
|
|||
Webmov : a dedicated framework for the modelling and testing of web services compositionICWS 2010 : 8th International Conference on Web Services, Jul 2010, Miami, United States. pp.377 - 384, ⟨10.1109/ICWS.2010.24⟩
Communication dans un congrès
hal-01306746v1
|
|||
Network protocol interoperability testing based on contextual signatures and passive testingSAC 2009 : 24th Annual ACM Symposium on Applied Computing, Mar 2009, Honolulu (Hawaii), United States. pp.2 - 7, ⟨10.1145/1529282.1529284⟩
Communication dans un congrès
hal-01316444v1
|
|||
|
|
A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic17th International Conference on Software Technologies, Jul 2022, Lisbon, Portugal. pp.234-241, ⟨10.5220/0011319000003266⟩
Communication dans un congrès
hal-03974768v1
|
||
MANETs interoperability: current trends and open researchWAINA 2018: 32nd International Conference on Advanced Information Networking and Applications Workshops, May 2018, Krakow, Poland. pp.481 - 487, ⟨10.1109/WAINA.2018.00132⟩
Communication dans un congrès
hal-01976999v1
|
- 1
- 2