Filtrer vos résultats
- 29
- 11
- 32
- 4
- 1
- 1
- 1
- 1
- 39
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 4
- 4
- 11
- 4
- 2
- 3
- 1
- 1
- 31
- 9
- 39
- 14
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 40
- 16
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
40 résultats
|
|
triés par
|
Neural Network-Based Generation of Test Data for Interactive Multimodal Applications2019 IEEE-RIVF International Conference on Computing and Communication Technologies (RIVF), Mar 2019, Danang, Vietnam. pp.1-5, ⟨10.1109/RIVF.2019.8713675⟩
Communication dans un congrès
hal-02394972v1
|
|||
Monitoring of RFID Failures Resulting from LLRP Misconfigurations21st IEEE International Conference on Software, Telecommunications and Computer Networks (SOFTCOM 2013), Sep 2013, Split, Croatia. pp.1-6
Communication dans un congrès
hal-00958529v1
|
|||
|
Perceptron: Détection Des Fautes De Données Dans Les RCSFAnne Etien. 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), Oct 2012, Villeneuve d'Ascq, France
Poster de conférence
hal-00786188v1
|
||
Home Automation Systems Testing : A Coverage Measure for Hybrid AutomataICTSS 2011 - 23rd IFIP International Conference on Testing Software and Systems, Nov 2011, Paris, France. pp.5-12
Communication dans un congrès
hal-00860799v1
|
|||
A Self monitoring, Adaptative and Resource Efficient Approach for Improving QoS in Wireless Sensor NetworksIEEE International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (Cyber'C 2012), Oct 2012, Sanya, China. pp.393-400
Communication dans un congrès
hal-00959622v1
|
|||
Monitoring en ligne des systèmes RFID en vue du diagnostic de fautesConférence Jeunes Chercheurs MajecSTIC 2012, Oct 2012, Lille, France. pp.8
Communication dans un congrès
hal-00719358v1
|
|||
Read-Error-Rate evaluation for RFID system on-line testing2010 IEEE 16th International Mixed-Signals, Sensors and Systems Test Workshop (IMS3TW), Jun 2010, La Grande Motte, France. pp.1
Communication dans un congrès
hal-00491923v1
|
|||
Testium: outil de génération automatique de données de test pour les systèmes synchronesApproches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France
Communication dans un congrès
hal-01717444v1
|
|||
Mutants Generation For Testing Lustre Programsthe Eighth International Symposium, Dec 2017, Nha Trang City, Vietnam. pp.425-430, ⟨10.1145/3155133.3155155⟩
Communication dans un congrès
hal-02394975v1
|
|||
SafeRFID-MW: a RFID Middleware with runtime fault diagnosisJournal of Communications Software and Systems, 2013, Special issue on RFID Technologies and Internet of Things, 9 (1), pp.57-73
Article dans une revue
hal-00958523v1
|
|||
|
Synchronous Programs Testing Language (SPTL)International Conference on Computational Science and Its Applications (ICCSA 2014), 2014, Guimarae, Portugal. 13 p
Communication dans un congrès
hal-01023037v1
|
||
Towards a testing methodology for reactive systems: a case study of a landing gear controller3th International Conference on Software Testing and Verification (ICST 2010), Apr 2010, Paris, France. pp.489 - 497
Communication dans un congrès
hal-00549886v1
|
|||
|
Monitoring en ligne des systèmes RFID en vue du diagnostic de fautes9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), Nicolas Gouvy, Oct 2012, Villeneuve d'Ascq, France
Communication dans un congrès
hal-00780208v1
|
||
|
Vers la formalisation de propriétés ergonomiques de systèmes interactifsApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), 2009, Unknown, France. pp.16
Communication dans un congrès
hal-00953600v1
|
||
An extended LLRP model for RFID system test and diagnosisThe 8th Workshop on Advances in Model Based Testing, Apr 2012, Quebec, Canada. pp.10
Communication dans un congrès
hal-00676582v1
|
|||
|
Méthodes et outils pour le test logicielGénie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2007
HDR
tel-00377293v1
|
||
TTTEST: The tool support for testing interactive multimodal application2016 International Conference on Electronics, Information, and Communications (ICEIC), Jan 2016, Danang, Vietnam. ⟨10.1109/ELINFOCOM.2016.7562942⟩
Communication dans un congrès
hal-01717436v1
|
|||
TrustFlow-XACM Transactions on Embedded Computing Systems (TECS), 2020, 19 (5), pp.1-26. ⟨10.1145/3398327⟩
Article dans une revue
hal-02954381v1
|
|||
Automatic Test of Lustre/SCADE ProgramsModel-Based Testing for Embedded Systems, CRC Press, pp.171-194, 2011, 978-1-43-981845-9
Chapitre d'ouvrage
hal-00680696v1
|
|||
Évaluation de la qualité de jeux de tests hybrides en domotiqueAFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.104-119
Communication dans un congrès
hal-00680691v1
|
|||
Online data fault detection in wireless sensor networksIEEE Second International Conference on Advances in Computational Tools for Engineering Applications, Dec 2012, Zouk Mosbeh, Lebanon. pp.61-65
Communication dans un congrès
hal-00958535v1
|
|||
|
Test de logiciels synchrones spécifiés en LustreGénie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 1996. Français. ⟨NNT : ⟩
Thèse
tel-00005010v1
|
||
Online monitoring and diagnosis of RFID readers and tags20th IEEE International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2012), Sep 2012, Split, Croatia. pp.1-9
Communication dans un congrès
hal-00798536v1
|
|||
Mobile applications testing based on Bigraphs and Dynamic feature Petri netsThe First International Conference on Intelligence of Things (ICIT 2022), Aug 2022, Hanoi, Vietnam
Communication dans un congrès
hal-03864887v1
|
|||
Automatically testing interactive applications using extended task treesJournal of Logic and Algebraic Programming, 2009, pp.78(6):454-471. ⟨10.1016/j.jlap.2009.01.005⟩
Article dans une revue
istex
hal-00380724v1
|
|||
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information6th International Conference on Software Testing and Verification (ICST 2013), Mar 2013, Luxembourg, Luxembourg. pp.104-113
Communication dans un congrès
hal-00954524v1
|
|||
Experience report on developing a crowdsourcing test platform for mobile applications12th International Conference on Computational Collective Intelligence, Nov 2020, Da Nang, Vietnam
Communication dans un congrès
hal-02895680v1
|
|||
SMART Service for Fault-Diagnosis in Wireless Sensor NetworksIEEE 6th International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST 2012), Sep 2012, Paris, France. pp.211 - 216
Communication dans un congrès
hal-00959625v1
|
|||
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE ProgramsWorkshop on Formal Methods for Industrial Critical Systems (FMICS), Aug 2011, Trento, Italy. pp.85-101
Communication dans un congrès
hal-00680688v1
|
|||
|
Revisiting the Steam-Boiler Case Study with LUTESS : Modeling for Automatic Test Generation12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
Communication dans un congrès
hal-00381548v1
|
- 1
- 2