Publications HAL de aktouf;beroulle;chollet;deleuze;fourty;genon-catalot;hely;jean;kieffer;parissis;robach du labo/EPI LCIS

Journal articles

2015

ref_biblio
Guo Xiaofei, Jin Chenglu, Athanasios Papadimitriou, David Hely, Ramesh Karri. Can Algorithm Diversity in Stream Cipher Implementation Thwart (Natural and) Malicious Faults?. IEEE Transactions on Emerging Topics in Computing, Institute of Electrical and Electronics Engineers, 2015, ⟨10.1109/TETC.2015.2434103⟩. ⟨hal-01205402⟩
Accès au bibtex
BibTex

2014

ref_biblio
Imed Belkacem, Nait Bahloul Safia, Oum-El-Kheir Aktouf. Data analysis of an RFID system for its Dependability. International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol. 5, N° 3, IGI Global, 2014. ⟨hal-01700709⟩
Accès au bibtex
BibTex
ref_biblio
Stéphanie Chollet, Vincent Lestideau, Denis Morand, Yoann Maurel, Philippe Lalanda. Auto-réparation et auto-optimisation des applications pervasives - Un gestionnaire de sélection de dépendances de services basé sur l'Analyse de Concepts Formels. TSI Informatique autonomique, 2014, 33 (1-2), pp.7-30. ⟨hal-00839103⟩
Accès au bibtex
BibTex
ref_biblio
Yazid Benazzouz, Oum-El-Kheir Aktouf, Ioannis Parissis. A fault fuzzy-ontology for large scale fault-tolerant wireless sensor networks. Procedia Computer Science, Elsevier, 2014, 35, pp.203-212. ⟨hal-01063798⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01063798/file/1-s2.0-S1877050914010655-main.pdf BibTex

2013

ref_biblio
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. SafeRFID-MW: a RFID Middleware with runtime fault diagnosis. Journal of Communications Software and Systems, Croatian Communications and Information Society, 2013, Special issue on RFID Technologies and Internet of Things, 9 (1), pp.57-73. ⟨hal-00958523⟩
Accès au bibtex
BibTex

2012

ref_biblio
Nicolas Fourty, Yoann Charlon, Eric Campo. Embedded Wireless System for Pedestrian Localization in Indoor Environments. Sensors & Transducers Journal, International Frequency Sensor Association (IFSA), 2012, 14-2, pp.211-227. ⟨hal-00815272⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00815272/file/NF_SENSORS12.pdf BibTex

2011

ref_biblio
Zeashan Hameed Khan, Jean-Marc Thiriet, Denis Genon-Catalot. Drive-by-Wireless Teleoperation with Network QoS Adaptation. International Journal of Engineering Science and Technology, 2011, 2 (2), pp.160-169. ⟨hal-00560419⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00560419/file/IJAEST_paper.pdf BibTex

2010

ref_biblio
Cedric Chauvenet, Pierre-Emmanuel Goudet, Mathieu Pouillot, Bernard Tourancheau, Denis Genon-Catalot. PLC sensor IPv6 networking interoperabe with WSN. IJDBCN, 2010. ⟨inria-00563227⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00563227/file/PLC_sensor_IPv6_networking_interoperabe_with_WSN.pdf BibTex
ref_biblio
Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, Minh Duc Nguyen, David Hely. RFID System On-line Testing Based on the Evaluation of the Tags Read-Error-Rate. Journal of Electronic Testing, Springer Verlag, 2010, pp.1. ⟨10.1007/s10836-010-5191-6⟩. ⟨hal-00575585⟩
Accès au bibtex
BibTex

2009

ref_biblio
Abdesselam Lakehal, Ioannis Parissis. Structural Coverage Criteria for Lustre/SCADE Programs. Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2009, 19 (2), pp.133-154. ⟨hal-01424792⟩
Accès au bibtex
BibTex
ref_biblio
Zeashan Hameed Khan, Denis Genon-Catalot, Jean-Marc Thiriet. Wireless Network Architecture for Diagnosis and Monitoring Applications. MASAUM Journal of Computing, 2009, 1 (2), pp.318-325. ⟨hal-00423732⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00423732/file/mjc010247.pdf BibTex
ref_biblio
Ioannis Parissis, Laya Madani. Automatically testing interactive applications using extended task trees. Journal of Logic and Algebraic Programming, Elsevier, 2009, pp.78(6):454-471. ⟨10.1016/j.jlap.2009.01.005⟩. ⟨hal-00380724⟩
Accès au bibtex
BibTex
ref_biblio
Xuan-Tu Tran, Yvain Thonnart, Jean Durupt, Vincent Beroulle, Chantal Robach. Design-for-Test Approach of an Asynchronous Network-on-Chip Architecture and its Associated Test Pattern Generation and Application. IET Computers & Digital Techniques, Institution of Engineering and Technology, 2009, 3 (5), pp.487-500. ⟨10.1049/iet-cdt.2008.0072⟩. ⟨hal-01105280⟩
Accès au bibtex
BibTex
ref_biblio
Christophe Deleuze. Programmation réactive en OCaml. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2009, 43 (7-8-9), pp.757-771. ⟨hal-00493223⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00493223/file/msr09.pdf BibTex

2008

ref_biblio
Xuan-Tu Tran, Yvain Thonnart, Jean Durupt, Vincent Beroulle, Chantal Robach. High-Speed Design-for-Test Architecture for Asynchronous NoC-based Systems-on-Chip. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2008, 10, pp.12. ⟨hal-01105282⟩
Accès au bibtex
BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, J.L. Carbonero. Decreasing Test Qualification Time of AMS&RF Systems by using Normal Estimation. IEEE Design & Test, IEEE, 2008, pp.0. ⟨hal-00218160⟩
Accès au bibtex
BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Jean-Louis Carbonero, Smail Tedjini, Chantal Robach. Choice of a high level fault model for the Optimization of Validation Test Set reused for Manufacturing Test. VLSI Design, Hindawi Publishing Corporation, 2008, vol. 2008 (Article ID 596146), pp.0. ⟨hal-00331235⟩
Accès au bibtex
BibTex

2007

ref_biblio
Thi Quynh Bui, Oum-El-Kheir Aktouf. On-line Testing of Software Components for Diagnosis of Embedded Systems. International Journal of Computer Systems Science and Engineering, CRL Publishing, 2007, 4 (2), pp.5. ⟨hal-00580372⟩
Accès au bibtex
BibTex

2006

ref_biblio
Rami Khouri, Vincent Beroulle, Tan-Phu Vuong, Smail Tedjini. UHF RFID tag-antenna matching optimization using VHDL-AMS behavioral modeling. Analog Integrated Circuits and Signal Processing, Springer Verlag, 2006, 50 (2), pp. 81-162, ISSN : 0925-1030. ⟨hal-00218161⟩
Accès au bibtex
BibTex

2005

ref_biblio
Oussama Laouamri, Chouki Aktouf. Towards a Complete SNMP-Based Supervision of System-on-Chips Testing. Journal of Network and Systems Management, Springer Verlag, 2005, pp.décembre 2005. ⟨hal-00194653⟩
Accès au bibtex
BibTex

2004

ref_biblio
Laurent Latorre, Vincent Beroulle, Pascal Nouet. Design of CMOS MEMS Based on Mechanical Resonators Using a RF Simulation Approach. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2004, 23 (6), pp.962-967. ⟨hal-01105295⟩
Accès au bibtex
BibTex

2003

ref_biblio
T. Niculiu, M. Ciuc, Chouki Aktouf. Hierarchical Behavioural Adaptable Design For Testability. Romanian Journal of Information Science and Technology, Romanian Academy, 2003, 6 (3-4), pp.295-323. ⟨hal-00194669⟩
Accès au bibtex
BibTex

2002

ref_biblio
Laurent Latorre, Vincent Beroulle, Pascal Nouet. Design of CMOS MEMS Based on Mechanical Resonators Using a RF Simulation Approach. Sensors and Actuators A: Physical , Elsevier, 2002, pp.1-10. ⟨hal-01105289⟩
Accès au bibtex
BibTex
ref_biblio
Muriel Dardalhon, Vincent Beroulle, Laurent Latorre, Pascal Nouet, Guy Perez, et al.. Reliability analysis of CMOS MEMS structures obtained by Front Side Bulk Micromachining. Microelectronics Reliability, Elsevier, 2002, 42 (9-11), pp.1777-1782. ⟨10.1016/S0026-2714(02)00230-5⟩. ⟨lirmm-00268582⟩
Accès au bibtex
BibTex

Conference papers

2015

ref_biblio
Tao Zhang, Jerry Gao, Oum-El-Kheir Aktouf, Tadahiro Uehara. Test Model and Coverage Analysis for Location based Mobile Services . The 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015), Jul 2015, Pittsburg, United States. ⟨hal-01700731⟩
Accès au bibtex
BibTex
ref_biblio
Oum-El-Kheir Aktouf, Tao Zhang, Jerry Gao, Tadahiro Uehara. Testing location-based function services for mobile applications . The 2015 MCTaaS Workshop in conjunction with 2015 IEEE Symposium on Service-Oriented System Engineering (SOSE), San Francisco Bay, USA, p. 308-314, Mar 2015, San Francisco Bay, United States. ⟨hal-01700721⟩
Accès au bibtex
BibTex
ref_biblio
A. Papadimitriou, M. Tampas, D. Hély, V. Beroulle, P. Maistri, et al.. Validation of RTL laser fault injection model with respect to layout information. IEEE International Symposium on Hardware Oriented Security and Trust (HOST'15), May 2015, McLean, VA, United States. pp.78-81. ⟨hal-01393414⟩
Accès au bibtex
BibTex
ref_biblio
A. Papadimitriou, D. Hély, V. Beroulle, P. Maistri, R. Leveugle. Analysis of laser-induced errors: RTL fault model versus layout locality characteristics. Third Workshop on Trustworthy Manufacturing and Utilization of Secure Devices (TRUDEVICE'15), Mar 2015, Grenoble, France. ⟨hal-01393406⟩
Accès au bibtex
BibTex
ref_biblio
Hiba Mediouni, Ayoub Soury, Denis Genon-Catalot. Développement d'un réseau de capteurs sans fils permettant une solution embarquée de géolocalisation -Application aux glissements de terrain. Journées Nationales des Communications Terrestres 2015, LCIS-Valence, Jun 2015, Valence, France. ⟨hal-01237979⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01237979/file/G%C3%A9olocalisation_LoRa_JNCT2015.pdf BibTex
ref_biblio
Zeyd Rjeb, Ayoub Soury, Denis Genon-Catalot. Mise en place d’un réseau EtherCAT pour un système de contrôle d’ascenseur. Journées Nationales des Communications Terrestres 2015, LCIS-Valence, Jun 2015, Valence, France. ⟨hal-01238003⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01238003/file/JNCT.pdf BibTex
ref_biblio
Brice Colombier, Lilian Bossuet, David Hely. Reversible Denial-of-Service by Locking Gates Insertion for IP Cores Design Protection. Computer Society Annual Symposium on VLSI, CNRS-LIRMM, France, Jul 2015, Montpellier, France. ⟨ujm-01180564⟩
Accès au texte intégral et bibtex
https://hal-ujm.archives-ouvertes.fr/ujm-01180564/file/2015_ISVLSI_colombier.pdf BibTex
ref_biblio
Backer Jerry, Ali Subidh, Kurt Rosenfeld, David Hely, Karri Ramesh, et al.. A secure design-for-test infrastructure for lifetime security of SoCs. Circuits and Systems (ISCAS), 2015 IEEE International Symposium on, IEEE, May 2015, Lisbonna, Portugal. ⟨10.1109/ISCAS.2015.7168564⟩. ⟨hal-01205397⟩
Accès au bibtex
BibTex
ref_biblio
Stéphanie Chollet, Philippe Lalanda, Catherine Hamon. Maintien de la cohérence entre les architectures pour une gestion autonomique de systèmes pervasifs : Approche basée sur les méta-modèles des architectures de conception et de l’exécution.. Actes du 33ème Congrès INFORSID, May 2015, Biarritz, France. ⟨hal-01158940⟩
Accès au bibtex
BibTex
ref_biblio
Stéphanie Chollet. Self-Adaptation of Service Bindings based on Formal Concept Analysis. Proceedings of the 12th IEEE International Conference on Autonomic Computing (ICAC), IEEE Computer Society, Jul 2015, Grenoble, France. ⟨hal-01158952⟩
Accès au bibtex
BibTex
ref_biblio
Stéphanie Chollet, Philippe Lalanda, Clement Escoffier. Extension of Service-Oriented Component Models for Dynamic Environment. Proceedings of the 12th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, Jun 2015, New-York, United States. ⟨hal-01158946⟩
Accès au bibtex
BibTex
ref_biblio
Thanh Hung Pham, Ionela Prodan, Denis Genon-Catalot, Laurent Lefevre. Efficient energy management for an elevator system under a constrained optimization framework. International Conference on System Theory, Control and Computing (ICSTCC 2015), Oct 2015, Sinaia, Romania. ⟨hal-01660382⟩
Accès au bibtex
BibTex
ref_biblio
Backer Jerry, David Hely, Ramesh Karri. On enhancing the debug architecture of a system-on-chip (SoC) to detect software attacks. Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS), 2015 IEEE International Symposium on, IEEE, Oct 2015, Amherst, United States. ⟨10.1109/DFT.2015.7315131⟩. ⟨hal-01398767⟩
Accès au bibtex
BibTex
ref_biblio
Tka Mouna, Christophe Deleuze, Ioannis Parissis. Testium: outil de génération automatique de données de test pour les systèmes synchrones. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. ⟨hal-01717444⟩
Accès au bibtex
BibTex
ref_biblio
Brice Colombier, David Hely, Lilian Bossuet. Reversible Denial-of-Service by Locking Gates Insertion for IP Cores Design Protection. International CryptArchi Workshop 2015, Jun 2015, Leuven, Belgium. ⟨hal-01382976⟩
Accès au bibtex
BibTex
ref_biblio
Lai Nguyen, Alejandro Jose Rojas Norman, Denis Genon-Catalot, André Lagreze, Laurent Lefevre. Signal-to-noise ratio for irrigation canal networked control system. Conference on Control Applications, Sep 2015, Sydney, Australia. ⟨hal-01660379⟩
Accès au bibtex
BibTex
ref_biblio
Ayoub Soury, Melek Charfi, Denis Genon-Catalot, Jean-Marc Thiriet. Performance analysis of Ethernet Powerlink protocol: Application to a new lift system generation. 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), IEEE, Sep 2015, Luxembourg, Luxembourg. 6 p., ⟨10.1109/ETFA.2015.7301492⟩. ⟨hal-01233841⟩
Accès au texte intégral et bibtex
http://hal.univ-grenoble-alpes.fr/hal-01233841/file/ETFA2015.pdf BibTex
ref_biblio
Ayoub Soury, Denis Genon-Catalot, Jean-Marc Thiriet. New lift safety architecture to meet PESSRAL requirements. 2nd World Symposium on Web Applications and Networking (WSWAN 2015), Mar 2015, Sousse, Tunisia. 5 p., ⟨10.1109/WSWAN.2015.7210314⟩. ⟨hal-01233766⟩
Accès au texte intégral et bibtex
http://hal.univ-grenoble-alpes.fr/hal-01233766/file/WSWAN2015.pdf BibTex
ref_biblio
Philippe Lalanda, Stéphanie Chollet, Aygalinc Colin, Gerbert-Gaillard Eva. Service-Based Architecture and Frameworks for Pervasive Health Applications. 9th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE), Sep 2015, Luxembourg, Luxembourg. pp.35-42. ⟨hal-01196881⟩
Accès au bibtex
BibTex
ref_biblio
Athanasios Papadimitriou, Marios Tampas, David Hély, Vincent Beroulle, Paolo Maistri, et al.. Validation of RTL laser fault injection model with respect to layout information. Hardware Oriented Security and Trust (HOST 2016), May 2015, Washington,, United States. ⟨10.1109/HST.2015.7140241⟩. ⟨hal-01392792⟩
Accès au bibtex
BibTex
ref_biblio
Arash Nejat, David Hely, Vincent Beroulle. Facilitating side channel analysis by obfuscation for Hardware Trojan detection. IEEE Design & Test Symposium (IDT 2015), Dec 2015, Dead sea, Jordan. ⟨10.1109/IDT.2015.7396749⟩. ⟨hal-01391014⟩
Accès au bibtex
BibTex

2014

ref_biblio
Anthony Gelibert, Sébastien Jean, Denis Genon-Catalot, Gérard Santailler, Ioannis Parissis. Towards unified tooling for easing the qualification of medical normed environments. eTELEMED 2014, Mar 2014, Barcelona, Spain. ⟨hal-00951929⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00951929/file/etelemed.pdf BibTex
ref_biblio
Albert Royo Manjon, Eric Simon, Sébastien Jean. Towards a flexible and secure runtime for embedded devices. PECCS 2014, Jan 2014, Lisbon, Portugal. ⟨hal-00951904⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00951904/file/PECCS_2014_-_Albert_Royo_-_Camera_Ready.pdf BibTex
ref_biblio
Ayoub Soury, Denis Genon-Catalot, Jean-Marc Thiriet. La sécurité des ascenseurs avec des communications Ethernet-Based Real-Time. Journées Nationales des Communications Terrestres (JNCR 2014), IRIT-Toulouse, May 2014, Toulouse, France. ⟨hal-01237745⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01237745/file/Ayoub_SOURY_Article_JNCT2014.pdf BibTex
ref_biblio
Lai Nguyen, Laurent Lefevre, Denis Genon-Catalot, Van Thang Pham, Clément Raievsky. Optimal reactive control of hybrid architectures: A case study on complex water transportation systems. Emerging Technology and Factory Automation (ETFA), 2014 IEEE, Sep 2014, Barcelona, Spain. ⟨hal-01652297⟩
Accès au bibtex
BibTex
ref_biblio
Tka Mouna, Christophe Deleuze, Ioannis Parissis. Synchronous Programs Testing Language (SPTL). International Conference on Computational Science and Its Applications (ICCSA 2014), 2014, Guimarae, Portugal. 13 p. ⟨hal-01023037⟩
Accès au texte intégral et bibtex
http://hal.univ-grenoble-alpes.fr/hal-01023037/file/sptl.pdf BibTex
ref_biblio
Pierre Vanhauwaert, P. Maistri, R. Leveugle, Athanasios Papadimitriou, David Hely, et al.. On error models for RTL security evaluations. 9th Conference on Design and Technology of Integrated Systems in Nanoscale Era (DTIS) 2014, May 2014, Santorini, Greece. pp.1-6. ⟨hal-01010314⟩
Accès au bibtex
BibTex
ref_biblio
Manel Charfi, Yann Gripay, Nicolas Fourty, Denis Genon-Catalot, Jean-Marc Petit. Approche déclarative pour le monitoring des bâtiments intelligents. Journées Nationales des Communications Terrestres (JNCT 2014), May 2014, Toulouse-Blagnac, France. pp.123-131. ⟨hal-01301107⟩
Accès au bibtex
BibTex
ref_biblio
Fatma Jebali, Mouna Tka Mnad, Christophe Deleuze, Frédéric Lang, Radu Mateescu, et al.. Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. pp.97--102. ⟨hal-01007674⟩
Accès au texte intégral et bibtex
http://hal.univ-grenoble-alpes.fr/hal-01007674/file/bluesky.pdf BibTex
ref_biblio
Noémie Boher, Kamil Gomina, David Hely, Vincent Beroulle, Jean-Baptiste Rigaud, et al.. Voltage Glitch Attacks on Mixed Signal Systems. 17th Euromicro Conference on Digital Systems Design, Aug 2014, Verone, Italy. pp.1-6. ⟨hal-01063664⟩
Accès au bibtex
BibTex
ref_biblio
Omar Abdelmalek, David Hely, Vincent Beroulle. Fault Tolerance Evaluation of RFID Tags. 15th IEEE Latin America Test Workshop, Mar 2014, Fortaleza, Brazil. pp.1-6. ⟨hal-00958582⟩
Accès au bibtex
BibTex
ref_biblio
Omar Abdelmalek, David Hely, Vincent Beroulle. Emulation Based Fault Injection on UHF RFID Transponder. 17th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, Apr 2014, Varsaw, Poland. pp.1-4. ⟨hal-01010294⟩
Accès au bibtex
BibTex
ref_biblio
Athanasios Papadimitriou, David Hely, Vincent Beroulle, P. Maistri, R. Leveugle. A multiple fault injection methodology based on cone partitioning towards RTL modeling of laser attacks. Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014, Mar 2014, Germany. pp.1-4, ⟨10.7873/DATE2014.219⟩. ⟨hal-00981848⟩
Accès au bibtex
BibTex
ref_biblio
Eric Simon, Albert Royo Manjon, Sébastien Jean. AOLOA: A Composable Framework for Third-Party Applications for Smart Home Gateways. 2014 IEEE International Conference on Services Computing (SCC), Jun 2014, Anchorage, France. pp.621-628, ⟨10.1109/SCC.2014.87⟩. ⟨hal-02081938⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02081938/file/scc-aoloa-camera-ready-v1.2.1.pdf BibTex
ref_biblio
Vincent Beroulle, Philippe Candelier, Stephan de Castro, Giorgio Di Natale, Jean-Max Dutertre, et al.. Laser-Induced Fault Effects in Security-Dedicated Circuits. VLSI-SoC: Very Large Scale Integration and System-on-Chip, Oct 2014, Playa del Carmen, Mexico. pp.220-240, ⟨10.1007/978-3-319-25279-7_12⟩. ⟨hal-01383737⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01383737/file/371768_1_En_12_Chapter.pdf BibTex
ref_biblio
Philippe Lalanda, Stéphanie Chollet, Clement Escoffier, Denis Morand. Dynamic Collection of Data in Complex, Physical Environment. 19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA), Sep 2014, Barcelona, Spain. ⟨hal-01073948⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Lalanda, Stéphanie Chollet, Etienne Gandrille, Catherine Hamon. Maintaining Traceability Links between Design and Runtime Architectures to support Autonomic Management. 8th International Workshop on Service Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE), Sep 2014, Barcelona, Spain. pp.19-24. ⟨hal-01073945⟩
Accès au bibtex
BibTex
ref_biblio
Clement Escoffier, Stéphanie Chollet, Philippe Lalanda. Lessons Learned in Building Pervasive Platforms. The 11th Annual IEEE Consumer Communications and Networking Conference, Jan 2014, Las Vegas, CA, United States. pp.203-208. ⟨hal-00874181⟩
Accès au bibtex
BibTex
ref_biblio
P. Papavramidou, D. Hély, V. Beroulle, P. Maistri, R. Leveugle. FPGA emulation of laser attacks against secure deep submicron integrated circuits. Second Workshop on Trustworthy Manufacturing and Utilization of Secure Devices (TRUDEVICE'14), May 2014, Paderborn, Germany. ⟨hal-01132405⟩
Accès au bibtex
BibTex

2013

ref_biblio
Ibrahim Mezzah, Omar Kermia, Hamimi Chemali, Omar Abdelmalek, David Hely, et al.. Assertion based on-line fault detection applied on UHF RFID tag. 8th IEEE International Design & Test Symposium 2013, Dec 2013, Marrakesh, Morocco. pp.1-5, ⟨10.1109/IDT.2013.6727091⟩. ⟨hal-00950130⟩
Accès au bibtex
BibTex
ref_biblio
Omar Abdelmalek, David Hely, Vincent Beroulle. EPC Class 1 GEN 2 UHF RFID tag emulator for robustness evaluation and improvement. Design & Technology of Integrated Systems in Nanoscale Era (DTIS), 2013 8th International Conference on, Mar 2013, Marrakesh, Morocco. pp.20-24, ⟨10.1109/DTIS.2013.6527771⟩. ⟨hal-00950128⟩
Accès au bibtex
BibTex
ref_biblio
A. Papadimitriou, D. Hély, V. Beroulle, P. Maistri, R. Leveugle. FPGA emulation of laser attacks against secure deep submicron integrated circuits. 7ème Colloque du GdR SoC-SiP, Jun 2013, Lyon, France. ⟨hal-01400108⟩
Accès au bibtex
BibTex
ref_biblio
Than Long Le, Thanh Binh Nguyen, Ioannis Parissis, Ioannis Parissis. A new test modeling language for interactive applications based on task trees. 4th International Symposium on Information and Communication Technology, SoICT '13, Danang, Viet Nam - December 05 - 06, 2013, Dec 2013, Vietnam. pp.285-293. ⟨hal-00954532⟩
Accès au bibtex
BibTex
ref_biblio
Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. 6th International Conference on Software Testing and Verification (ICST 2013), Mar 2013, Luxembourg, Luxembourg. pp.104-113. ⟨hal-00954524⟩
Accès au bibtex
BibTex
ref_biblio
David Hely, Vincent Beroulle, Abdelmalek Omar. Triggering Hardware Trojans in EPC C1G2 RFID Tags. Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, TRUDEVICE 2013, May 2013, Avignon, France. ⟨hal-00958199⟩
Accès au bibtex
BibTex
ref_biblio
Noémie Boher, David Hely, Vincent Beroulle, Joël Damiens, Philippe Candelier. Increasing the security level of analog IPs by using a dedicated vulnerability analysis methodology.. Quality Electronic Design (ISQED), 2013 14th International Symposium on, Mar 2013, United States. pp.531-537, ⟨10.1109/ISQED.2013.6523662⟩. ⟨hal-00861556⟩
Accès au bibtex
BibTex
ref_biblio
David Hely, Dubeuf Jérémy, Karri Ramesh. Run-time detection of hardware Trojans: The processor protection unit. 18th IEEE European Test Symposium, May 2013, Avignon, France. pp.1-6. ⟨hal-00861554⟩
Accès au bibtex
BibTex
ref_biblio
Christophe Deleuze. Concurrence légère en OCaml : muthreads. JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France. ⟨hal-00779801⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00779801/file/jfla2013-12.pdf BibTex
ref_biblio
Noémie Boher, David Hely, Vincent Beroulle, Kamil Gomina, Joël Damiens, et al.. Evaluating and Enhancing the Security of Analog and Mixed IPs in Complex System On Chip. Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, TRUDEVICE 2013, May 2013, Avignon, France. ⟨hal-01010298⟩
Accès au bibtex
BibTex
ref_biblio
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis, Sanaa Boughazi. Monitoring of RFID Failures Resulting from LLRP Misconfigurations. 21st IEEE International Conference on Software, Telecommunications and Computer Networks (SOFTCOM 2013), Sep 2013, Split, Croatia. pp.1-6. ⟨hal-00958529⟩
Accès au bibtex
BibTex
ref_biblio
David Hely, Simon Piroux Mounier, Rivière Elie, Triana Gerson, Martin Julien, et al.. Experiences in side channel and testing based Hardware Trojan detection. IEEE VLSI Test Symposium 2013, Apr 2013, United States. pp.1-4. ⟨hal-00857603⟩
Accès au bibtex
BibTex
ref_biblio
Mohand Bentobache, Ahcène Bounceur, Reinhardt Euler, Salvador Mir, Yann Kieffer. Minimizing Test Frequencies for Linear Analog Circuits: New Models and Efficient Solution Methods. 21th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2013, Istanbul, Turkey. pp.188-207, ⟨10.1007/978-3-319-23799-2_9⟩. ⟨hal-01380305⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01380305/file/367527_1_En_9_Chapter.pdf BibTex
ref_biblio
Lilian Bossuet, David Hely. SALWARE: Salutary Hardware to design Trusted IC.. Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, TRUDEVICE 2013, May 2013, Avignon, France. ⟨ujm-00833871⟩
Accès au texte intégral et bibtex
https://hal-ujm.archives-ouvertes.fr/ujm-00833871/file/2013_TRUDEVICE_SALWARE_Bossuet.pdf BibTex
ref_biblio
Omar Abdelmalek, David Hely, Vincent Beroulle. An UHF RFID Emulation Platform with Fault Injection and real time Monitoring capabilities. 8th IEEE International Design & Test Symposium 2013, Dec 2013, Marrakesh, Morocco. pp.1-2, ⟨10.1109/IDT.2013.6727143⟩. ⟨hal-00933386⟩
Accès au bibtex
BibTex

2012

ref_biblio
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. Monitoring en ligne des systèmes RFID en vue du diagnostic de fautes. 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), Nicolas Gouvy, Oct 2012, Villeneuve d'Ascq, France. ⟨hal-00780208⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00780208/file/majecstic2012_submission_32.pdf BibTex
ref_biblio
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi. Online data fault detection in wireless sensor networks. IEEE Second International Conference on Advances in Computational Tools for Engineering Applications, Dec 2012, Zouk Mosbeh, Lebanon. pp.61-65. ⟨hal-00958535⟩
Accès au bibtex
BibTex
ref_biblio
Christophe Deleuze. Concurrence et continuations en OCaml. JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France. 2012. 〈hal-00665918〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00665918/file/paper_3.pdf BibTex
ref_biblio
Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. Évaluation de la qualité de jeux de tests hybrides en domotique. AFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.104-119, 2012. 〈hal-00680691〉
Accès au bibtex
BibTex
ref_biblio
Yoann Maurel, Stéphanie Chollet, Vincent Lestideau, Jonathan Bardin, Philippe Lalanda, et al.. fANFARE: Autonomic Framework for Service-based Pervasive Environment. SCC 2012 - International Conference on Service Computing, Jun 2012, Honolulu, HI, United States. IEEE, pp.65-72, 2012, 〈10.1109/SCC.2012.7〉. 〈hal-00693315〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00693315/file/Maurel-Chollet-Lestideau-Bardin-Lalanda-Bottaro_SCC2012.pdf BibTex
ref_biblio
David Hely, Augagneur Maurin, Clauzel Yves, Dubeuf Jérémy. Malicious Key Emission via Hardware Trojan Against Encryption System. ICCD, Oct 2012, France. pp.100-104. ⟨hal-00739571⟩
Accès au bibtex
BibTex
ref_biblio
David Hely, Dubeuf Jérémy, Augagneur Maurin, Clauzel Yves. A Physical Unclonable Function Based on Setup Time Violation. ICCD 2012, Oct 2012, Montréal, Canada. ⟨hal-00739575⟩
Accès au bibtex
BibTex
ref_biblio
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Abbas Hijazi, Mira Sarkis, et al.. SMART Service for Fault-Diagnosis in Wireless Sensor Networks. IEEE 6th International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST 2012), Sep 2012, Paris, France. pp.211 - 216. ⟨hal-00959625⟩
Accès au bibtex
BibTex
ref_biblio
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi, et al.. A Self monitoring, Adaptative and Resource Efficient Approach for Improving QoS in Wireless Sensor Networks. IEEE International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (Cyber'C 2012), Oct 2012, Sanya, China. pp.393-400. ⟨hal-00959622⟩
Accès au bibtex
BibTex
ref_biblio
Aurélien Faravelon, Stéphanie Chollet, Christine Verdier, Agnès Front. Configuring Private Data Management as Access Restrictions: From Design to Enforcement. ICSOC 2012 - International Conference on Service-Oriented Computing, Nov 2012, Shanghai, China. pp.344-358, ⟨10.1007/978-3-642-34321-6_23⟩. ⟨hal-00723506⟩
Accès au bibtex
BibTex
ref_biblio
Stéphanie Chollet, Vincent Lestideau, Yoann Maurel, Etienne Gandrille, Philippe Lalanda, et al.. Practical Use of Formal Concept Analysis in Service-Oriented Computing. ICFCA 2012 - International Conference on Formal Concept Analysis, May 2012, Leuven, Belgium. pp.61-76, ⟨10.1007/978-3-642-29892-9_11⟩. ⟨hal-00693312⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00693312/file/Chollet-Lestideau-Maurel-Gandrille-Lalanda-Raynaud_ICFCA2012.pdf BibTex
ref_biblio
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi. Integrated Fault Tolerance Framework for Wireless Sensor Networks. 19th International Conference on Telecommunications, Apr 2012, Jounieh, Lebanon. pp.6, 2012. 〈hal-00667331〉
Accès au bibtex
BibTex
ref_biblio
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. An extended LLRP model for RFID system test and diagnosis. The 8th Workshop on Advances in Model Based Testing, Apr 2012, Quebec, Canada. pp.10, 2012. 〈hal-00676582〉
Accès au bibtex
BibTex
ref_biblio
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi. Online Data Fault Detection For Wireless Sensor Networks - Case Study. IEEE. The Third International Conference on Wireless Communications in Unusual and Confined Areas, Aug 2012, Clermont-Ferrand, France. pp.6, 2012. 〈hal-00695979〉
Accès au bibtex
BibTex
ref_biblio
Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, David Hély. Evaluation of a new RFID system performance monitoring approach. Design Automation & Test in Europe, 2012, Dresden, Germany. ⟨hal-01105361⟩
Accès au bibtex
BibTex
ref_biblio
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. Monitoring en ligne des systèmes RFID en vue du diagnostic de fautes. Conférence Jeunes Chercheurs MajecSTIC 2012, Oct 2012, Lille, France. pp.8. ⟨hal-00719358⟩
Accès au bibtex
BibTex
ref_biblio
Anthony Gelibert, Sébastien Jean, Denis Genon-Catalot. Plateforme Ouverte de Supervision et de Traçabilité pour les Environnements Confinés. 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. 8 p. ⟨hal-00733036⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00733036/file/MajecSTIC2012_gelibert.pdf BibTex
ref_biblio
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. Online monitoring and diagnosis of RFID readers and tags. 20th IEEE International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2012), Sep 2012, Split, Croatia. pp.1-9. ⟨hal-00798536⟩
Accès au bibtex
BibTex

2011

ref_biblio
Minh Duc Nguyen, Gilles Fritz, Oum-El-Kheir Aktouf, Vincent Beroulle, David Hely. Towards middleware-based fault-tolerance in RFID systems. 13th European Workshop on Dependable Computing, EWDC 2011, May 2011, Pise, Italy. pp.5. ⟨hal-00580368⟩
Accès au bibtex
BibTex
ref_biblio
David Hely, Kurt Rosenfeld, Ramesh Karri. Security challenges during VLSI test. New Circuits and Systems Conference (NEWCAS), 2011 IEEE 9th International, Jun 2011, Bordeaux, France. pp 486 - 489, ⟨10.1109/NEWCAS.2011.5981325⟩. ⟨hal-00619524⟩
Accès au bibtex
BibTex
ref_biblio
Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis. Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. Workshop on Formal Methods for Industrial Critical Systems (FMICS), Aug 2011, Trento, Italy. pp.85-101, 2011. 〈hal-00680688〉
Accès au bibtex
BibTex
ref_biblio
Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, David Hely. SystemC Modeling of RFID Systems for Robustness Analysis. 19th International Conference on Software, Telecommunications and Computer Networks IEEE SoftCOM, Sep 2011, Hvar (Split), Croatia. pp.ISBN : 978-953-290-027-9. ⟨hal-00628789⟩
Accès au bibtex
BibTex
ref_biblio
Gilles Fritz, Boutheina Maaloul, Vincent Beroulle, Oum-El-Kheir Aktouf, David Hely. Read rate profile monitoring for defect detection in RFID Systems. IEEE International Conference on RFID-Technologies and Applications (RFID-TA 2011), Sep 2011, Sitges (Barcelona), Spain. pp. 89-94. ⟨hal-00628783⟩
Accès au bibtex
BibTex
ref_biblio
Laya Madani, Ioannis Parissis. Automatically testing interactive multimodal systems using task trees and fusion models. 6th international workshop on Automation of software test (AST '11), May 2011, United States. pp.43-49, ⟨10.1145/1982595.1982605⟩. ⟨hal-00616638⟩
Accès au bibtex
BibTex
ref_biblio
Imad Belkacem, Oum-El-Kheir Aktouf, Safia Nait Bahloul. Vers la tolérance aux fautes dans les systèmes RFID. International Conference on Systems and Processing Information (ICSPI 2011), May 2011, Guelma, Algérie. pp.1. ⟨hal-00580365⟩
Accès au bibtex
BibTex
ref_biblio
Imad Belkacem, Oum-El-Kheir Aktouf, Safia Nait Bahloul. Analyse des données d'un système RFID en vue de sa sûreté de fonctionnement. 1st International Conference on Information Systems and Technologies (ICIST 2011), Apr 2011, Tébessa, Algérie. pp.1. ⟨hal-00580364⟩
Accès au bibtex
BibTex
ref_biblio
Anthony Gelibert, Walter Rudametkin, Didier Donsez, Sébastien Jean. Clustering OSGi Applications using Distributed Shared Memory. NOTERE 2011 - International Conference on New Technologies of Distributed Systems, May 2011, Paris, France. pp.1-8, ⟨10.1109/NOTERE.2011.5957981⟩. ⟨hal-00591066⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00591066/file/PID1088226.pdf BibTex
ref_biblio
David Hely, Vincent Beroulle, Feng Lu, Jose Ramon Garcia Oya. Towards an unified IP verification and robustness analysis platform. 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2011, Apr 2011, France. ⟨hal-00593524⟩
Accès au bibtex
BibTex
ref_biblio
Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. Home Automation Systems Testing : A Coverage Measure for Hybrid Automata. ICTSS 2011 - 23rd IFIP International Conference on Testing Software and Systems, Nov 2011, Paris, France. pp.5-12. ⟨hal-00860799⟩
Accès au bibtex
BibTex
ref_biblio
Minh Duc Nguyen, Gilles Fritz, Oum-El-Kheir Aktouf, Vincent Beroulle, David Hély. Towards middleware-based fault-tolerance in RFID systems. 13th European Workshop on Dependable Computing (EWDC 2011), May 2011, Pise, Italy. pp.49-52. ⟨hal-00593732⟩
Accès au bibtex
BibTex

2010

ref_biblio
Zeashan Hameed Khan, Denis Genon-Catalot, Jean-Marc Thiriet. A Co-design Approach for Bilateral Teleoperation over Hybrid Network. 18th Mediterranean Conference on Control and Automation (MED'10), Jun 2010, Marrakech, Morocco. pp.286-291, ⟨10.1109/MED.2010.5547682⟩. ⟨hal-00506089v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00506089/file/WeB4-04.pdf BibTex
ref_biblio
Ioannis Parissis, Laya Madani, Virginia Papailiopoulou. Towards a testing methodology for reactive systems: a case study of a landing gear controller. 3th International Conference on Software Testing and Verification (ICST 2010), Apr 2010, Paris, France. pp.489 - 497, 2010. 〈hal-00549886〉
Accès au bibtex
BibTex
ref_biblio
Gilles Fritz, Vincent Beroulle, Nguyen Minh Duc, Oum-El-Kheir Aktouf, Ioannis Parissis. Read-Error-Rate evaluation for RFID system on-line testing. 2010 IEEE 16th International Mixed-Signals, Sensors and Systems Test Workshop (IMS3TW), Jun 2010, La Grande Motte, France. pp.1. ⟨hal-00491923⟩
Accès au bibtex
BibTex
ref_biblio
Cedric Chauvenet, Bernard Tourancheau, Denis Genon-Catalot, Pierre-Emmanuel Goudet, Mathieu Pouillot. A communication stack over PLC for multi physical layer IPv6 Networking. SmartGridCom, 2010, Washington, United States. ⟨inria-00563226⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00563226/file/SmartGridComm_paper.pdf BibTex
ref_biblio
Cedric Chauvenet, Bernard Tourancheau, Denis Genon-Catalot. 802.15.4, a MAC layer solution for PLC. The ACS/IEEE Workshop Future Trends on Ad-hoc and Sensor Networks (FT-ASN 2010), May 2010, hammamet, Tunisia. 11 p. ⟨inria-00493435⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00493435/file/hal.pdf BibTex

2009

ref_biblio
Oum-El-Kheir Aktouf, Christophe Deleuze, Martine Wahl. Dependability of Embedded Networks - A Case Study with System Diagnosis of CAN Protocol. 9th International Conference on Intelligent Transport Systems (ITS) Telecommunication, Oct 2009, Lille, France. pp.5. ⟨hal-00580362⟩
Accès au bibtex
BibTex
ref_biblio
Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Revisiting the Steam-Boiler Case Study with LUTESS : Modeling for Automatic Test Generation. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p. ⟨hal-00381548⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00381548/file/Testing_1.pdf BibTex
ref_biblio
Lilia Zaourar, Yann Kieffer, Chouki Aktouf. A Practical Scan OptimizationAlgorithm at the Register Transfer Level. Design Automation and Test in Europe., 2009, Nice, France. pp.22. ⟨hal-00413080⟩
Accès au bibtex
BibTex
ref_biblio
Lilia Zaourar, Yann Kieffer, Nadia Brauner, Chouki Aktouf. Une méthode pour insérer le scan au niveau RTL en une seule passe. Colloque national du Groupe de recherche System on Chip, System on Package, Jun 2009, Paris, France. ⟨hal-00412974⟩
Accès au bibtex
BibTex
ref_biblio
Thi-Quynh Bui, Oum-El-Kheir Aktouf, Michel Dang, Levent Gürgen, Claudia Roncancio. Diagnosis service for software components and its application to a Heterogeneous sensor data management system. 2nd International Conference on Dependability, Depend 2009, 2009, Athènes, Greece. pp.6. ⟨hal-00378209⟩
Accès au bibtex
BibTex
ref_biblio
Zeashan Hameed Khan, Jean-Marc Thiriet, Denis Genon-Catalot. Wireless Network architecture for Diagnosis and Monitoring Applications. Consumer Communications and Networking Conference, 2009, CCNC 2009, Jan 2009, Las Vegas, United States. pp.1-2. ⟨hal-00371167⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00371167/file/CCNC_1569159901.pdf BibTex
ref_biblio
Oum-El-Kheir Aktouf, Christophe Deleuze, Martine Wahl. Dependability of embedded networks - A case study with system diagnosis of CAN protocol. The 9th International Conference on ITS Telecommunication, Oct 2009, Lille, France. pp.5. ⟨hal-00418724⟩
Accès au bibtex
BibTex
ref_biblio
Zeashan Hameed Khan, Denis Genon-Catalot, Jean-Marc Thiriet. Hierarchical Wireless Network Architecture for Distributed Applications. The Fifth International Conference on Wireless and Mobile Communications, ICWMC 2009, Aug 2009, Cannes, La Bocca, France. pp.70-75. ⟨hal-00395499⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00395499/file/ICWMC_Cannes.pdf BibTex
ref_biblio
Zeashan Hameed Khan, Denis Genon-Catalot, Jean-Marc Thiriet. Wireless Network Architecture for Long range teleoperation of Autonomous Systems. SensorNets 2009: The First International School on Cyber-Physical and Sensor Networks, Dec 2009, Monastir, Tunisia. pp.15-18. ⟨hal-00438103⟩
Accès au bibtex
BibTex
ref_biblio
Laya Madani, Ahmed M'Hiri, Sophie Dupuy-Chessa, Ioannis Parissis. Vers la formalisation de propriétés ergonomiques de systèmes interactifs. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), 2009, Unknown. ⟨hal-00953600⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00953600/file/AFADL-09-final.pdf BibTex
ref_biblio
Sébastien Jean, Kiev Gama, Didier Donsez, André Lagreze. Towards a Monitoring System for High Altitude Objects. 6th International Conference on Mobile Technology, Application & Systems, Sep 2009, Nice, France. (electronic proceedings), ⟨10.1145/1710035.1710046⟩. ⟨hal-00420692⟩
Accès au bibtex
BibTex
ref_biblio
Zeashan Hameed Khan, Denis Genon-Catalot, Jean-Marc Thiriet. Co-design in Heterogeneous Wireless Networked Control Systems. International Multiconference on Computer Science and Information Technology (IMCSIT \'09), Oct 2009, Mragowo, Poland. pp.85-90. ⟨hal-00423910⟩
Accès au bibtex
BibTex
ref_biblio
Thi-Quynh Bui, Oum-El-Kheir Aktouf, Laurent d'Orazio, Michel Dang. Service de diagnostic pour composants logiciels. Qualita 2009, 2009, Besançon, France. pp.5. ⟨hal-00376183⟩
Accès au bibtex
BibTex
ref_biblio
Sebastien Jean, Kiev Gama, Didier Donsez, André Lagreze. Towards a monitoring system for High Altitude Objects. International Conference On Mobile Technology, Applications, And Systems, 2009, Nice, France. 8p, ⟨10.1145/1710035.1710046⟩. ⟨hal-00485147⟩
Accès au bibtex
BibTex

2008

ref_biblio
Xuan-Tu Tran, Yvain Thonnart, Jean Durupt, Vincent Beroulle, Chantal Robach. A Design-for-Test Implementation of an Asynchronous Network-on-Chip Architecture and its Associated Test Pattern Generation and Application. The 2nd ACM/IEEE International Symposium on Networks-on-Chip, Apr 2008, Newcastle, United Kingdom. pp. 149-158. ⟨hal-00331239⟩
Accès au bibtex
BibTex
ref_biblio
Thi-Quynh Bui, Oum-El-Kheir Aktouf, Michel Dang. Software Component Diagnosis Service: Architecture Description. The Third International Symposium on Industrial Embedded Systems, 2008, La Grande Motte, France. pp.158-164. ⟨hal-00376182⟩
Accès au bibtex
BibTex

2007

ref_biblio
Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonero. Qualification of Behavioral Level Design Validation for AMS&RF SoCs. VLSI SOC'07, Oct 2007, Atlanta, United States. pp.100 - 106. ⟨hal-00250426⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00250426/file/Qualification_of_Behavioral_Level_Design_Validation.pdf BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonero. Choice of a high level fault model for the Optimization of Validation Test Set reused for Manufacturing Test. IMSTW'07, Jun 2007, Porto, Portugal. pp.66 - 71, ⟨10.1155⟩. ⟨hal-00250422⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00250422/file/IMSTW_JOANNON.pdf BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonero. Using of Behavioral level AMS & RF Simulation for Validation Test Set Optimization. WTW'07, May 2007, Berkeley, United States. pp.62-67. ⟨hal-00250420⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00250420/file/Using_of_Behavioral_level_AMS_RF_Simulation_JOANNON.pdf BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonero. Génération de vecteurs de test pour les systèmes analogiques mixtes et RF. Ecole d'hiver Francophone sur les Technologies de Conception des systèmes embarqués Hétérogènes (FETCH 2007), Jan 2007, Villard-de-Lans, France. pp.1. ⟨hal-00250410⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00250410/file/Article_FETCH_final.pdf BibTex
ref_biblio
Xuan-Tu Tran, Jean Durupt, Yvain Thonnard, François Bertrand, Chantal Robach, et al.. Implementation of a Design-for-Test Architecture for Asynchronous Networks-on-Chip. The 1st ACM/IEEE International Symposium on Networks-on-Chip (NOCS 2007), May 2007, Princeton, New Jersey, United States. pp.100. ⟨hal-00187291⟩
Accès au bibtex
BibTex
ref_biblio
Youssef Serrestou, Vincent Beroulle, Chantal Robach. Functional Verification of RTL Designs driven by Mutation Testing metrics. 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools, 2007. DSD 2007., Aug 2007, Lubeck, Germany. pp.222-227, ⟨10.1109/DSD.2007.4341472⟩. ⟨hal-00254470⟩
Accès au bibtex
BibTex
ref_biblio
Xuan Tu Tran, Jean Durupt, François Bertrand, Vincent Beroulle, Chantal Robach. How to Implement an Asynchronous Test Wrapper for Network-on-Chip Nodes. The 12th IEEE European Test Symposium (ETS 2007), May 2007, Freiburg, Germany. pp.Tran07HTI. ⟨hal-00166373⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00166373/file/ETS2007_Tran_Howto_Implement_an_Asynchronous_Test_Wrapper.pdf BibTex
ref_biblio
R. Khouri, V. Beroulle, T.P. Vuong, S. Tedjini. Modélisation en VHDL-AMS du lien RF pour la simulation de systèmes RFID. "Ecole d'hiver Francophone sur les Technologies de Conception des systèmes embarqués Hétérogènes", Jan 2007, France. ⟨hal-00261817⟩
Accès au bibtex
BibTex
ref_biblio
Y. Joannon, V. Beroulle, Chantal Robach, S. Tedjini, J.L. Carbonero. Génération de vecteurs de test pour les systèmes analogiques mixtes et RF. "Ecole d'hiver Francophone sur les Technologies de Conception des systèmes embarqués Hétérogènes", Jan 2007, France. ⟨hal-00261818⟩
Accès au bibtex
BibTex
ref_biblio
Youssef Serrestou, Vincent Beroulle, Chantal Robach. Impact of Hardware Emulation on the verification quality improvement. Very Large Scale Integration, 2007. VLSI - SoC 2007. IFIP International Conference on, Oct 2007, Atlanta, United States. pp.218-223, ISBN: 978-1-4244-1710-0. ⟨hal-00218169⟩
Accès au bibtex
BibTex
ref_biblio
Rami Khouri, Yvan Duroc, Vincent Beroulle, Smail Tedjini, O.F. Oliveira Gomes. VHDL-AMS modeling of an UWB link radio including antennas. IEEE International Conference on Electronics, Circuits and Systems (ICECS2007), Dec 2007, Morocco. pp. 570-573. ⟨hal-00377834⟩
Accès au bibtex
BibTex
ref_biblio
Huy Vu Do, Chantal Robach, Michel Delaunay. Integrating testability into the development process of reactive systems. The IASTED International Conference on Software Engineering SE 2007, Feb 2007, Innsbruck, Austria. pp.Track 552-155. ⟨hal-00275887⟩
Accès au bibtex
BibTex
ref_biblio
Thi-Quynh Bui, Oum-El-Kheir Aktouf. Inter-component testing for system-level diagnosis of embedded component-based applications. Congrès Qualita, 2007, Tanger, Morocco. pp.246-254. ⟨hal-00194651⟩
Accès au bibtex
BibTex
ref_biblio
Thi-Quynh Bui, Oum-El-Kheir Aktouf. On-line Testing of Software Components for Diagnosis of Embedded Systems. The 4th International Conference on Embedded and Real-Time Computing Systems, 2007, Prague,, Czech Republic. pp.360-336. ⟨hal-00376180⟩
Accès au bibtex
BibTex
ref_biblio
Thi-Quynh Bui, Oum-El-Kheir Aktouf. Diagnosis Service for Embedded Software Component based Systems. The 2nd International Workshop on Engineering Fault Tolerant Systems, 2007, Dubrovnik, Croatia. pp.14-19. ⟨hal-00376181⟩
Accès au bibtex
BibTex
ref_biblio
Y. Duroc, R. Khouri, V. Beroulle, T.P. Vuong, S. Tedjini. Considerations on the characterization and the modelization of ultra-wideband antennas. IEEE International Conference on Ultra-Wideband, Sep 2007, Singapore. pp. 491-496. ⟨hal-00329486⟩
Accès au bibtex
BibTex

2006

ref_biblio
Yves Joannon, Vincent Beroulle, Rami Khouri, Chantal Robach, Smail Tedjini, et al.. Behavioral modeling of W-CDMA transceiver with VHDL-AMS language. DDECS'06, Apr 2006, Prague, Czech Republic. pp.113 - 118. ⟨hal-00250397⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00250397/file/DDECS_2006_JOANNON.pdf BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Rami Khouri, Smail Tedjini, Chantal Robach, et al.. Modélisation comportementale d'un émetteur récepteur W-CDMA en VHDL-AMS. JNRDM'06, May 2006, Rennes, France. pp.1. ⟨hal-00250399⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00250399/file/5_JOANNON_20_01_JNRDM.pdf BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonero. Qualification et génération de vecteurs pour la validation et le test de production de systèmes analogiques, mixtes et RF. GdR SoC-SiP, 2006, ¨Paris, France. pp.1. ⟨hal-00250407⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00250407/file/GdR_SoC_SiP_2007.pdf BibTex
ref_biblio
Youssef Serrestou, Vincent Beroulle, Chantal Robach. IP Validation using Genetic Algorithms guided by Mutation Testing. Conference on Design of Circuit and Integrated Systems, Nov 2006, Barcelone, Spain. pp.CD. ⟨hal-00254467⟩
Accès au bibtex
BibTex
ref_biblio
Youssef Serrestou, Chantal Robach, Vincent Beroulle. How to Improve a set of design validation data by using mutation-based test. 2006 IEEE Design and Diagnostics of Electronic Circuits and systems, Apr 2006, Prague, Czech Republic. pp.75-76. ⟨hal-00254378⟩
Accès au bibtex
BibTex
ref_biblio
A. Ghiotto, D. Bechevet, T.P. Vuong, V. Beroulle, R. Khouri, et al.. RFID- Radiofrequency Identification. Colloque de l'Agence Rhône-Alpes pour la Maîtrise des Technologies de Mesure, Nov 2006, Grenoble, France. ⟨hal-00261812⟩
Accès au bibtex
BibTex
ref_biblio
Y. Joannon, V. Beroulle, R. Khouri, Chantal Robach, S. Tedjini, et al.. Behavorial modeling of WCDMA transceiver with VHDL-AMS language. IEEE Workshop on Design and Diangostics of Electronic Circuits and Systems, 2006, Pragues, Czech Republic. pp.113-118. ⟨hal-00261825⟩
Accès au bibtex
BibTex
ref_biblio
Y. Joannon, V. Beroulle, R. Khouri, Chantal Robach, S. Tedjini, et al.. Modélisation comportementale d'un émetteur récepteur WCDMA en VHDL-AMS. 9e Journées Nationales du Réseau Doctoral en Microélectronique, May 2006, Rennes, France. pp.000. ⟨hal-00261811⟩
Accès au bibtex
BibTex
ref_biblio
V. Beroulle, Y. Joannon, J.L. Carbonero, S. Tedjini, Chantal Robach. Qualification au niveau comportemental de stimuli pour la validation de conception de SoCs AMS&RF. Groupe de Recherche Test des SoC-SiP, Dec 2006, France. ⟨hal-00261815⟩
Accès au bibtex
BibTex
ref_biblio
Xuan Tu Tran, Vincent Beroulle, Jean Durupt, Chantal Robach, François Bertrand. Design-for-Test of Asynchronous Networks-on-Chip. IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems, Apr 2006, Prague, Czech Republic. pp. 163-167. ⟨hal-00218149⟩
Accès au bibtex
BibTex
ref_biblio
Xuan Tu Tran, Jean Durupt, François Bertrand, Vincent Beroulle, Chantal Robach. A DfT Architecture for Asynchronous Networks-on-Chip. The 11th IEEE European Test Symposium, May 2006, Southampton, United Kingdom. pp.219-224, ⟨10.1109/ETS.2006.3⟩. ⟨hal-00142999⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00142999/file/Tran06ADA.pdf BibTex
ref_biblio
Huy Vu Do, Michel Delaunay, Chantal Robach, Jean-Sébastien Cruz. Testability Analysis for Graphically Described Algorithms of Reactive Systems. The 3rd European Congress: Embedded Real-Time Software, Jan 2006, Toulouse, France. pp.R-2006-01-7B1. ⟨hal-00271960⟩
Accès au bibtex
BibTex
ref_biblio
Christophe Deleuze. Some points affecting web performance. WEBIST 2006 -- Second International Conference on Web Information Systems and Technologies, 2006, Setùbal, Portugal. pp.1. ⟨hal-00380293⟩
Accès au bibtex
BibTex
ref_biblio
Christophe Deleuze. Adapting Web Content to Handle Overload. Sixth IEEE International Symposium and School on Advanced Distributed Systems (ISSADS), Jan 2006, Guadalajara, Jalisco, Mexico. pp.1. ⟨hal-00380290⟩
Accès au bibtex
BibTex

2005

ref_biblio
R. Khouri, V. Beroulle, T.P. Vuong, S. Tedjini. Modélisation comportementale en VHDL-AMS de systèmes sans-fil intégrés : application aux systèmes d'identification par radio fréquences. XIV Journées Nationales Micro-Ondes, May 2005, Nantes, France. pp.999. ⟨hal-00261806⟩
Accès au bibtex
BibTex
ref_biblio
S. Tedjini, T.P. Vuong, V. Beroulle. Antennas for RFID tags. SOC-EUSAI, Oct 2005, Grenoble, France. ⟨hal-00261810⟩
Accès au bibtex
BibTex
ref_biblio
R. Khouri, V. Beroulle, T.P. Vuong, S. Tedjini. Modélisation comportementale en VHDL-AMS de systèmes sans-fil intégrés : modèle d'antenne et application aux systèmes d'identification par radio fréquences. JNM'05, 2005, France. pp.0. ⟨hal-00261759⟩
Accès au bibtex
BibTex
ref_biblio
Mathieu Scholivé, Vincent Beroulle, Chantal Robach, Marie-Lise Flottes, Bruno Rouzeyre. Mutation sampling technique for the generation of structural test data. 6th IEEE Latin American Test Workshop, Mar 2005, Salvador, Bahia, Brazil. ⟨hal-00378490⟩
Accès au bibtex
BibTex
ref_biblio
Mathieu Scholivé, Vincent Beroulle, Chantal Robach, Marie-Lise Flottes, Bruno Rouzeyre. Mutation Sampling Technique for the Generation of Structural Test Data. DATE: Design, Automation and Test in Europe, Mar 2005, Munich, Germany. pp.1022-1023. ⟨hal-00181680⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00181680/file/228821022.pdf BibTex
ref_biblio
David Hely, Frédéric Bancel, Marie-Lise Flottes, Bruno Rouzeyre. Test Control for Secure Scan Designs. ETS: European Test Symposium, May 2005, Tallinn, Estonia. pp.190-195. ⟨lirmm-00106011⟩
Accès au bibtex
BibTex
ref_biblio
Mathieu Scholivé, Vincent Beroulle, Chantal Robach, Marie-Lise Flottes, Bruno Rouzeyre. Mutation Sampling Technique for the Generation of Structural Test Data. DATE: Design, Automation and Test in Europe, 2005, Munich, Germany. pp.1022. ⟨lirmm-00105978⟩
Accès au bibtex
BibTex
ref_biblio
Oussama Laouamri, Chouki Aktouf. Hardware-based Network Management Framework for Monotoring and Testing of System-On-Chips. IEEE 8th International Conference on Communication (ConTel'05), 2005, Zagreb, Croatia. pp.141-146. ⟨hal-00194656⟩
Accès au bibtex
BibTex
ref_biblio
Oum-El-Kheir Aktouf, Thi-Quynh Bui, Michel Dang. Inter-component testing for system-level diagnosis of CORBA-based applications. EURNEX Pole 5 « Intelligent Mobility » Scientific Workshop, 2005, Lille, France. ⟨hal-00194641⟩
Accès au bibtex
BibTex

2004

ref_biblio
Oum-El-Kheir Aktouf, Martine Wahl, Michel Dang. Introducing fault-diagnosis into embedded CORBA-based systems. IEEE International Conference on Information and Communication Technologies: from Theory to Applications ( ICTTA), 2004, Syria. pp.avril 2004. ⟨hal-00193393⟩
Accès au bibtex
BibTex
ref_biblio
Rami Khouri, Vincent Beroulle, Tan Phu Vuong, Smail Tedjini. Wireless System Validation using VHDL-AMS Behavioral Antenna Models : Radio-Frequency Identification case study. European Conference on Wireless Technology 2004, Amsterdam, Oct 2004, Amsterdam, France. pp.185-188. ⟨hal-00259990⟩
Accès au bibtex
BibTex
ref_biblio
R. Khouri, V. Beroulle, T.P. Vuong, S. Tedjini. VHDL-AMS system-level simulation: behavioral antenna models and Radio-Frequency Identification case study. IEEE Mediterranean Microwave Symposium, Jun 2004, Marseille, France. pp.00-01. ⟨hal-00261735⟩
Accès au bibtex
BibTex
ref_biblio
R. Khouri, V. Beroulle, T.P. Vuong, S. Tedjini. Wireless system validation using VHDL-AMS behavioral antenna models: Radio-Frequency Identification case study. European Conference on Wireless Technology and European Microwave Week, Oct 2004, Amsterdam, Netherlands. pp.00-001. ⟨hal-00261738⟩
Accès au bibtex
BibTex
ref_biblio
S. Tedjini, T.P. Vuong, V. Beroulle, P. Marcel. Radio-frequency identification systems from antenna characterization to system validation. Asia-Pacific Microwave Conference, Dec 2004, New Delhi, India. ⟨hal-00261743⟩
Accès au bibtex
BibTex
ref_biblio
Oussama Laouamri, Chouki Aktouf. Enhancing Testability of System on Chips Using Network Management Protocols. IEEE Design Automation and Test in Europe (DATE'04), 2004, Paris, France. pp.1370-1371. ⟨hal-00194659⟩
Accès au bibtex
BibTex
ref_biblio
Oussama Laouamri, Chouki Aktouf. Towards a More Precise Network Management Through Electronic Design. IEEE 3rd International Conference on Networking (ICN'04), 2004, Guadeloupe, France. pp.45-49. ⟨hal-00194661⟩
Accès au bibtex
BibTex
ref_biblio
Huy Vu Do, Chantal Robach, Michel Delaunay, Jean-Sébastien Cruz. A Testability Analysis for Data-Flow Designs of Reactive Real-Time Systems. The Eighth IASTED International Conference on Software Engineering and Applications, Nov 2004, Cambridge, United States. pp.318-323. ⟨hal-00274970⟩
Accès au bibtex
BibTex
ref_biblio
Huy Vu Do, Chantal Robach, Michel Delaunay, Jean-Sébastien Cruz. Automatic Testability Analysis for Data-Flow Designs of Reactive Systems. The IEEE 1st International Workshop on Testability Assessment, Nov 2004, Rennes, France. page 52-61. ⟨hal-00275648⟩
Accès au bibtex
BibTex

2003

ref_biblio
Oum-El-Kheir Aktouf, Abdelaziz Gacemi. Component Diagnosis for Distributed Applications. Congrès Qualita, 2003, Nancy, France. pp.129-136. ⟨hal-00193413⟩
Accès au bibtex
BibTex
ref_biblio
V. Beroulle, R. Khouri, T.P. Vuong, S. Tedjini. VHDL-AMS antenna modeling, Wireless Microsystems. International Meeting on Micro and Nanotechnologies, Sep 2003, Grenoble, France. pp.000-001. ⟨hal-00261728⟩
Accès au bibtex
BibTex
ref_biblio
R. Khouri, V. Beroulle, T.P. Vuong, S. Tedjini. Modélisation d'antennes en VHDL-AMS pour systèmes RFID intégrés. 4th European Conference on Numerical Methods in Electromagnetism, Oct 2003, Toulouse, France. pp.00-001. ⟨hal-00261730⟩
Accès au bibtex
BibTex
ref_biblio
V. Beroulle, R. Khouri, T.P. Vuong, S. Tedjini. Behavioral Modeling and Simulation of Antennas: Radio-Frequency Identification case study. IEEE International Behavioral Modeling and Simulation Conference, Jan 2003, San Jose CA, United States. pp.00-001. ⟨hal-00261729⟩
Accès au bibtex
BibTex
ref_biblio
V. Beroulle, R. Khouri, T.P. Vuong, S. Tedjini. Modélisation d'antennes en VHDL-AMS applications aux systèmes RFID intégrés. ARATEM, Telecom research, 2003, France. ⟨hal-00261753⟩
Accès au bibtex
BibTex
ref_biblio
Mathieu Scholivé, Vincent Beroulle, Chantal Robach, Marie-Lise Flottes. Software-based testing of sequential vhdl descriptions. IEEE European Test Workshop, May 2003, Maastrich, France. pp.199-200. ⟨hal-00193680⟩
Accès au bibtex
BibTex
ref_biblio
Rami Khouri, Vincent Beroulle, Tan-Phu Vuong, Smail Tedjini. Optimisation de la télé-alimentation des systèmes RFID UHF grâce à la modélisation comportementale du lien RF. 6ème journées d'études Faible Tension Faible Consommation, May 2003, Paris, France. ⟨hal-00378617⟩
Accès au bibtex
BibTex
ref_biblio
H. Chemali, A. Latoui, Chouki Aktouf. An Optical Boundary Scan Cell for On Line Testing of Embedded Systems. The 2003 International Conference on Embedded Systems and Applications (ESA'03), 2003, Las Vegas, Nevada, United States. pp.155-160. ⟨hal-00194665⟩
Accès au bibtex
BibTex

2002

ref_biblio
M.A. Naal, M. Rakotoar, Emmanuel Simeu, C. Aktouf. Using concurrent and semi-concurrent on-line testing during HLS: an adaptable approach. Proceedings-of-the-Eighth-IEEE-International-On-Line-Testing-Workshop-IOLTW-2002, 2002, Isle of Bendor, France. pp.184, ⟨10.1109/OLT.2002.1030208⟩. ⟨hal-00015843⟩
Accès au bibtex
BibTex
ref_biblio
C. Aktouf, B. Pannetier, P. Lemaitre-Auger, S. Tedjini. On-line Testing of Embedded Systems Using Optical Probes:system modeling and probing technology. 8th IEEE International On-Line Testing Workshop, Jul 2002, Isle of Bendor, France. pp.191-200. ⟨hal-00261719⟩
Accès au bibtex
BibTex
ref_biblio
T. Niculiu, Chouki Aktouf, S. D. Cotofana. High-level intelligence-oriented simulation. CAS 2002, 2002, Romania. pp.381-385. ⟨hal-00194671⟩
Accès au bibtex
BibTex
ref_biblio
Oum-El-Kheir Aktouf, Abdelaziz Gacemi. A Diagnosis Service for CORBA-Based Applications. 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002, Annapolis, Maryland, United States. pp.185-186. ⟨hal-00194637⟩
Accès au bibtex
BibTex
ref_biblio
C. Aktouf, B. Pannetier, P. Lemaitre-Auger, S. Tedjini. On-line Testing of Embedded Systems Using Optical Probes:system modeling and probing technology. Eighth 8th IEEE International On-Line Testing Workshop, 2002, Ile de Bendor, France. pp.191-200. ⟨hal-00194675⟩
Accès au bibtex
BibTex

Book sections

2015

ref_biblio
Yann Kieffer, Lilia Zaourar. "Applying Operations Research to Design for Test Insertion Problems. Computational Intelligence in Digital and Network Designs and Applications, 2015, ⟨10.1007/978-3-319-20071-2_6⟩. ⟨hal-01532043⟩
Accès au bibtex
BibTex

2013

ref_biblio
Aurélien Faravelon, Stéphanie Chollet. Access Control in Service Compositions: Challenges and Solution Architecture. Service-Driven Approaches to Architecture and Enterprise Integration, IGI Global, pp.165-187, 2013. ⟨hal-00839106⟩
Accès au bibtex
BibTex

2011

ref_biblio
Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Automatic Test of Lustre/SCADE Programs. Model-Based Testing for Embedded Systems, CRC Press, pp.171-194, 2011, 978-1-43-981845-9. 〈hal-00680696〉
Accès au bibtex
BibTex

2002

ref_biblio
Vincent Beroulle, Yves Bertrand, Laurent Latorre, Pascal Nouet. Noise optimisation of a piezoresistive CMOS MEMS Magnetic Field Sensor. SOC DESIGN METHODOLOGIES, 90, Kluwer Academic Publishers, pp.496, 2002, Series: IFIP Advances in Information and Communication Technology, 1-4020-7148-5. ⟨hal-01105261⟩
Accès au bibtex
BibTex

Habilitation à diriger des recherches

2014

ref_biblio
Oum-El-Kheir Aktouf. Test et diagnostic en ligne dans les systèmes embarqués. Informatique [cs]. Grenoble 1 UGA - Université Grenoble Alpe, 2014. ⟨tel-01731434⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01731434/file/Final.pdf BibTex

2007

ref_biblio
Ioannis Parissis. Méthodes et outils pour le test logiciel. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2007. ⟨tel-00377293⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00377293/file/HDRIoannisParissis.pdf BibTex

Other publications

2010

ref_biblio
Lilia Zaourar, Yann Kieffer, Nadia Brauner, Chouki Aktouf, Vincent Juliard. Toward an Optimal Scan Insertion at the Register Transfer Level. 2010. ⟨hal-00516590⟩
Accès au bibtex
BibTex
ref_biblio
Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, Minh Duc Nguyen. Sûreté de fonctionnement des systèmes RFID – Evaluation et simulation des dysfonctionnements. 2010. ⟨hal-00509521⟩
Accès au bibtex
BibTex

2006

ref_biblio
Xuan Tu Tran, Jean Durupt, François Bertrand, Vincent Beroulle, Chantal Robach. Conception en vue du test pour l'architecture d'un réseau sur puce asynchrone. 2006. ⟨hal-00218157⟩
Accès au bibtex
BibTex
ref_biblio
Xuan Tu Tran, Jean Durupt, François Bertrand, Vincent Beroulle, Chantal Robach. Conception en vue de Test pour l'Architecture d'un Réseau sur Puce Asynchrone. 2006. ⟨hal-00381555⟩
Accès au bibtex
BibTex
ref_biblio
Youssef Serrestou, Vincent Beroulle, Chantal Robach. Amélioration des Jeux de Test pour la Validation de Conception. 2006. ⟨hal-00381553⟩
Accès au bibtex
BibTex
ref_biblio
Yvan Duroc, Tan-Phu Vuong, Rami Khouri, Vincent Beroulle, Smail Tedjini. Modélisation des antennes ULB et co-design. 2006. ⟨hal-00377836⟩
Accès au bibtex
BibTex

Books

2009

ref_biblio
Groupe Ciame, Isabelle Augé-Blum, Mireille Bayart, Martine Wahl, Guy Benoit, et al.. Réseaux de terrain - critères de sûreté de fonctionnement. Hermes-Lavoisier. Hermes-Lavoisier, pp.243, 2009, Traités IC2 (Information - Commande - Communication), série systèmes automatisés. ⟨hal-00371590⟩
Accès au bibtex
BibTex

Poster communications

2012

ref_biblio
Mira Sarkis, Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis. Perceptron: Détection Des Fautes De Données Dans Les RCSF. Anne 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. ⟨hal-00786188⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00786188/file/majecstic2012_submission_30_1_.pdf BibTex

Documents associated with scientific events

2013

ref_biblio
Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis. Synchronous Programs Testing Language (SPTL). MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. ⟨hal-00876654⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00876654/file/TKA.pdf BibTex

Reports

2015

ref_biblio
Thanh Hung Pham, Ionela Prodan, Denis Genon-Catalot, Laurent Lefèvre. Port-Hamiltonian model and load balancing for DC-microgrid lift systems. [Research Report] LCIS, Grenoble-INP. 2015. ⟨hal-01158254⟩
Accès au texte intégral et bibtex
http://hal.univ-grenoble-alpes.fr/hal-01158254/file/Hung_%282015%29%20Port-Hamiltonian%20model%20and%20load%20balancing%20for%20DC-microgrid%20lift%20system.pdf BibTex

Preprints, Working Papers, ...

2010

ref_biblio
Christophe Deleuze. Light weight concurrency in OCaml: continuations, monads, events, and friends. 2010. ⟨hal-00493213⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00493213/file/lwc.pdf BibTex