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
|
||
Monitoring Approaches for Security and Safety Analysis: Application to a Load Position System2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2022, Valencia, Spain. pp.40-48, ⟨10.1109/ICSTW55395.2022.00021⟩
Communication dans un congrès
hal-03974746v1
|
|||
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
|
|||
|
|
Verification of interoperability security policies by model checkingHASE '11 : The 13th IEEE International High Assurance Systems Engineering Symposium, Nov 2011, Boca Raton, United States. pp.376 -381, ⟨10.1109/HASE.2011.17⟩
Communication dans un congrès
hal-00738626v1
|
||
Automatic Skeleton Generation for Data-Aware Service Choreographies24th IEEE International Symposium on Software Reliability Engineering, ISSRE 2013, Nov 2013, Pasadena, CA, United States. pp.320-329, ⟨10.1109/ISSRE.2013.6698885⟩
Communication dans un congrès
hal-01216413v1
|
|||
Design of a secure shield for internet and web-based services using software reflectionIEEE International Conference on Web Services (ICWS), Jun 2018, Seattle, United States. pp.472 - 486, ⟨10.1007/978-3-319-94289-6_30⟩
Communication dans un congrès
hal-02017535v1
|
|||
|
|
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
|
||
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
|
|||
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
|
|||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
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
|
- 1
- 2