Filtrer vos résultats
- 81
- 11
- 69
- 17
- 5
- 1
- 1
- 92
- 1
- 1
- 3
- 2
- 4
- 5
- 8
- 6
- 15
- 10
- 8
- 4
- 6
- 6
- 8
- 4
- 2
- 91
- 1
- 90
- 12
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 92
- 24
- 18
- 12
- 9
- 9
- 7
- 6
- 6
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
92 résultats
Towards a generic trust management gramework using a machine-learning-based trust modelTRUSTCOM 2015 : 14th International Conference on Trust, Security and Privacy in Computing and Communications, Aug 2015, Helsinki, Finland. pp.1343 - 1348, ⟨10.1109/Trustcom.2015.528⟩
Communication dans un congrès
hal-01263244v1
|
|||
An online learning based approach for CEP rule generationLATINCOM 2016 : 8th IEEE Latin-American Conference on Communications, Nov 2016, Medellin, Colombia. pp.1 - 6, ⟨10.1109/LATINCOM.2016.7811563⟩
Communication dans un congrès
hal-01462912v1
|
|||
|
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 formal validation methodology for MANET routing protocols based on nodes' self similarityComputer Communications, 2008, 31 (4), pp.827 - 841. ⟨10.1016/j.comcom.2007.10.031⟩
Article dans une revue
istex
hal-01354849v1
|
|||
A passive conformance testing approach for a MANET routing protocolSAC '09 : 24th Annual ACM Symposium on Applied Computing, Mar 2009, Hawai, United States. pp.207-211, ⟨10.1145/1529282.1529326⟩
Communication dans un congrès
hal-00771619v1
|
|||
|
An automated passive testing approach for the IMS PoC serviceASE 2009 : 24th IEEE/ACM International Conference on Automated Software Engineering, Nov 2009, Auckland, New Zealand. pp.535 - 539, ⟨10.1109/ASE.2009.33⟩
Communication dans un congrès
hal-01316417v1
|
||
|
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
|
||
A logic-based passive testing approach for the validation of communicating protocolsENASE '12 : 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Jun 2012, Wroclaw, Poland
Communication dans un congrès
hal-00738523v1
|
|||
Spanning data across heterogeneous MANETs through proactive strip interoperabilityCIT 2015 : 15th IEEE International Conference on Computer and Information Technology, Oct 2015, Liverpool, United Kingdom. pp.116 - 124, ⟨10.1109/CIT/IUCC/DASC/PICOM.2015.19⟩
Communication dans un congrès
hal-01263276v1
|
|||
A formal data-centric approach for passive testing of communication protocolsIEEE/ACM Transactions on Networking, 2013, 21 (3), pp.788-801. ⟨10.1109/TNET.2012.2210443⟩
Article dans une revue
hal-00838645v1
|
|||
An online passive testing approach for communication protocolsENASE 2014 : 9th International Conference on Evaluation of Novel Approachees to Software Engineering, Apr 2014, Lisbonne, Portugal. pp.1 - 8
Communication dans un congrès
hal-01263329v1
|
|||
|
One step forward: Linking Wireless Self-Organizing Networks Validation Techniques with Formal Testing approaches[Research Report] RR-6817, INRIA. 2009, pp.46
Rapport
inria-00359569v1
|
||
One step forward: Linking Wireless Self-Organising Networks Validation Techniques with Formal Testing approachesACM Computing Surveys, 2009
Article dans une revue
inria-00429444v1
|
|||
A step-wise validation approach for a wireless routing protocolResearch, Development and Application on Electronics, Telecommunications and Information Technology, 2007, 1, pp.34 - 40
Article dans une revue
hal-01328077v1
|
|||
A formal passive testing approach to test a MANET routing protocolPWN 2009 : 5th IEEE PerCom Workshop on Pervasive Wireless Networking , Mar 2009, Galveston, United States. pp.1 - 6, ⟨10.1109/PERCOM.2009.4912874⟩
Communication dans un congrès
hal-01369686v1
|
|||
Regression and performance testing of an e-learning Web application : dotLRNSITIS 2007 : 3rd International Conference on Signal Image Technology and Internet-Based Systems, Dec 2007, Shangai, China. pp.369 - 376, ⟨10.1109/SITIS.2007.129⟩
Communication dans un congrès
hal-01328016v1
|
|||
|
Analysis of the OLSR protocol by using formal passive testingAPSEC 2009 : 16th Asia-Pacific Software Engineering Conference, Dec 2009, Penang, Malaysia. pp.152 - 159, ⟨10.1109/APSEC.2009.37⟩
Communication dans un congrès
hal-01366249v1
|
||
Data-centric property formulation for passive testing of communication protocolsACC 2011 : 4th Applied Computing Conference, Nov 2011, Angers, France. pp.176 - 181
Communication dans un congrès
hal-01303064v1
|
|||
An invariant based passive testing approach for protocol data partsAICT 2011 : 7th Advanced International Conference on Telecommunications, Mar 2011, St. Maarten, Netherlands Antilles. pp.94 - 101
Communication dans un congrès
hal-01303547v1
|
|||
From the IMS PoC service monitoring to its formal conformance testingMobility '09 : 6th International Conference on Mobile Technology, Application & Systems, Sep 2009, Nice, France. ⟨10.1145/1710035.1710043⟩
Communication dans un congrès
hal-00801196v1
|
|||
|
Passively testing routing protocols in Wireless Sensor NetworksUIC 2015 : 12th IEEE International Conference on Ubiquitous Intelligence and Computing, Aug 2015, Pekin, China. pp.270 - 277, ⟨10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.59⟩
Communication dans un congrès
hal-01348000v1
|
||
DataMonitor : a formal approach for passively testing a MANET routing protocolIWCMC '13 : The 9th IEEE International Wireless Communications & Mobile Computing Conference, Jul 2013, Cagliari, Sardinia, Italy. pp.207-212, ⟨10.1109/IWCMC.2013.6583560⟩
Communication dans un congrès
hal-00860243v1
|
|||
A proactive approach for strip interoperability in wireless Ad hoc routing protocolsLATINCOM 2015 : 7th Latin-American Conference on Communications , Nov 2015, Arequipa, Peru. pp.1 - 6, ⟨10.1109/LATINCOM.2015.7430121⟩
Communication dans un congrès
hal-01298023v1
|
|||
|
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
|
||
Symbolic-based monitoring for embedded applicationsHandbook of research on embedded systems design, IGI Global, pp.52 - 74, 2014, Advances in Systems Analysis, Software Engineering, and High Performance Computing book series, 978-1-466-66194-3. ⟨10.4018/978-1-4666-6194-3.ch003⟩
Chapitre d'ouvrage
hal-01263345v1
|
|||
|
A learning based approach for green software measurementsMEGSUS 2016 : 3rd International Workshop on Measurement and Metrics for Green and Sustainable Software Systems, Sep 2016, Ciudad Real, Spain. pp.13 - 22
Communication dans un congrès
hal-01387475v1
|
||
|
Enhancing software development process quality based on metrics correlation and suggestionThe 13th International Conference on Software Technologies (ICSOFT), Jul 2018, Porto, Portugal. pp.120 - 131, ⟨10.5220/0006856501540165⟩
Communication dans un congrès
hal-01977133v1
|
||
Modeling OMG SMM metrics using the Modelio modeling tool in the MEASURE projectGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2017, 120, pp.46 - 52
Article dans une revue
hal-01534818v1
|
|||
|
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
|