Publications HAL du labo/EPI CTSYS

2019

Conference papers

titre
A strategy for multimodal canopy images registration
auteur
Clément Douarre, Carlos Crispim-Junior, Anthony Gelibert, Laure Tougne, David Rousseau
article
7th International Workshop on Image Analysis Methods in the Plant Sciences, Jul 2019, Lyon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02183837/file/camera_ready_compressed.pdf BibTex

2018

Journal articles

titre
ESCALATION: Leveraging Logic Masking to Facilitate Path-Delay-Based Hardware Trojan Detection Methods
auteur
Arash Nejat, David Hely, Vincent Beroulle
article
Journal Hardware and Systems Security, Springer, In press, ⟨10.1007/s41635-018-0033-6⟩
Accès au bibtex
BibTex
titre
Stack Redundancy to Thwart Return Oriented Programming in Embedded Systems
auteur
David Hely, Cyril Bresch, Athanasios Papadimitriou, Adrien Michelet-Gignoux, Laurent Amato, Thomas Meyer
article
IEEE Embedded Systems Letters, Institute of Electrical and Electronics Engineers, 2018, pp.1 - 1. ⟨10.1109/LES.2018.2819983⟩
Accès au bibtex
BibTex
titre
Hardware Trojan Detection Using an Advised Genetic Algorithm Based Logic Testing
auteur
David Hely, M. Nourian, M. Fazeli, D. Hély
article
Journal of Electronic Testing, Springer Verlag, 2018, 34 (4), pp.461 - 470. ⟨10.1007/s10836-018-5739-4⟩
Accès au bibtex
BibTex

Conference papers

titre
Secure IoT for a Pervasive Platform
auteur
Stéphanie Chollet, Laurent Pion, Nicolas Barbot
article
2018 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2018, Mar 2018, Athènes, Greece
Accès au bibtex
BibTex
titre
Towards an Inherently Secure Run-Time Environment for Medical Devices.
auteur
Cyril Bresch, Stéphanie Chollet, David Hely
article
2018 IEEE International Congress on Internet of Things, ICIOT 2018, Jul 2018, San Francisco, United States
Accès au bibtex
BibTex

2017

Journal articles

titre
Autonomic Mediation Middleware for Smart Manufacturing
auteur
Philippe Lalanda, Denis Morand, Stéphanie Chollet
article
IEEE Internet Computing, Institute of Electrical and Electronics Engineers, 2017
Accès au bibtex
BibTex
titre
Radiated Electromagnetic Emission for Integrated Circuit Authentication
auteur
Mosabbah Mushir Ahmed, David Hely, Nicolas Barbot, Romain Siragusa, Etienne Perret, Maxime Bernier, Frédéric Garet
article
IEEE Microwave and Wireless Components Letters, Institute of Electrical and Electronics Engineers, 2017, 27 (11), pp.1028 - 1030. ⟨10.1109/LMWC.2017.2750078⟩
Accès au bibtex
BibTex

Conference papers

titre
A self-aware approach to context management in pervasive platforms
auteur
Gerbert-Gaillard Eva, Philippe Lalanda, Stéphanie Chollet, Demarchez Jérémie
article
PerCom Workshops 2017, Mar 2017, Kona, Big Island, HI, United States. ⟨10.1109/PERCOMW.2017.7917568⟩
Accès au bibtex
BibTex
titre
A comprehensive hardware/software infrastructure for IP cores design protection
auteur
Brice Colombier, Ugo Mureddu, Lilian Bossuet, David Hely
article
IEEE International Conference on Field-Programmable Technology, ICFPT 2017, Dec 2017, Melbourne, Australia
Accès au bibtex
BibTex
titre
IoT Components LifeCycle Based Security Analysis
auteur
Johan Marconot, David Hely, Florian Pebay-Peyroula
article
2017 Euromicro Conference on Digital System Design (DSD), Aug 2017, Vienna, France. ⟨10.1109/DSD.2017.44⟩
Accès au bibtex
BibTex
titre
A red team blue team approach towards a secure processor design with hardware shadow stack
auteur
Cyril Bresch, David Hely, Adrien Michelet, Laurent Amato, Thomas Meyer
article
2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, France. ⟨10.1109/IVSW.2017.8031545⟩
Accès au bibtex
BibTex
titre
Self-Aware Context in Smart Home Pervasive Platforms
auteur
Philippe Lalanda, Gerbert-Gaillard Eva, Stéphanie Chollet
article
14th IEEE International Conference on Autonomic Computing (ICAC 2017), Jul 2017, Columbus, OH, United States
Accès au bibtex
BibTex
titre
Context-based conflict management in pervasive platforms
auteur
Rania Ben Hadj, Catherine Hamon, Stéphanie Chollet, German Eduardo Vega Baez, Philippe Lalanda
article
2017 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2017, Mar 2017, Kona, Big Island, HI, United States
Accès au bibtex
BibTex

Book sections

titre
Leveraging Design and Runtime Architecture Models to Support Self-awareness
auteur
Philippe Lalanda, Stéphanie Chollet, Catherine Hamon
article
Self-Aware Computing Systems, 2017
Accès au bibtex
BibTex

2016

Journal articles

titre
Analysis of laser-induced errors: RTL fault models versus layout locality characteristics
auteur
Athanasios Papadimitriou, David Hely, Vincent Beroulle, Paolo Maistri, Regis Leveugle
article
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2016, ⟨10.1016/j.micpro.2016.01.018⟩
Accès au bibtex
BibTex
titre
From Secured Logic to IP Protection
auteur
Brice Colombier, Lilian Bossuet, David Hely
article
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2016, 47 (Part A), pp.44-54. ⟨http://www.sciencedirect.com/science/article/pii/S0141933116000417⟩. ⟨10.1016/j.micpro.2016.02.010⟩
Accès au bibtex
BibTex
titre
ECDSA Passive Attacks, Leakage Sources, and Common Design Mistakes
auteur
Dubeuf Jérémy, David Hely, Vincent Beroulle
article
ACM Transactions on Design Automation of Electronic Systems, Association for Computing Machinery, 2016, ⟨10.1145/2820611⟩
Accès au bibtex
BibTex

Conference papers

titre
Automated test generation for synchronous controllers
auteur
Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis, Jackie Launay, Jean-Baptiste Gning
article
11th International Workshop on Automation of Software (AST) , May 2016, Austin, TX, United States
Accès au bibtex
BibTex
titre
Testing Multimodal Interactive Applications by Means of the TTT Language
auteur
Long Le Thanh, Binh Nguyen Thanh, Ioannis Parissis
article
International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO), Feb 2016, Rome, Italy
Accès au bibtex
BibTex
titre
Autonomic Service-Oriented Context for Pervasive Applications
auteur
Colin Aygalinc, Gerbert-Gaillard Eva, German Vega, Philippe Lalanda, Stéphanie Chollet
article
13th IEEE International Conference on Services Computing, Jun 2016, San Fransisco, CA, United States. ⟨10.1109/SCC.2016.70⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01370442/file/SCC-2016-context-final.pdf BibTex
titre
A model-based approach to context management in pervasive platforms
auteur
Colin Aygalinc, Eva Gerbert-Gaillard, German Vega, Philippe Lalanda, Stéphanie Chollet
article
2016 IEEE International Conference on Pervasive Computing and Communication Workshops (PerCom 2016), Mar 2016, Sydney, Australia. pp.258-264, ⟨10.1109/PERCOMW.2016.7457109⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01370467/file/2016_CoMoRea_v1.1.pdf BibTex
titre
High output hamming-distance achievement by a greedy logic masking approach
auteur
Seyyed Mohammad Saleh Samimi, Ehsan Aerabi, Arash Nejat, Mahdi Fazeli, David Hely, Vincent Beroulle
article
2016 IEEE East-West Design & Test Symposium (EWDTS), Oct 2016, Yerevan, France. ⟨10.1109/EWDTS.2016.7807657⟩
Accès au bibtex
BibTex
titre
Model-driven approach for self-aware pervasive systems
auteur
Gerbert-Gaillard Eva, Stéphanie Chollet, Philippe Lalanda
article
15th IEEE/ICIS International Conference on Computer and Information Science (ICIS 2016), Jun 2016, Okayama, Japan
Accès au bibtex
BibTex
titre
Architectural Models to Simplify Administration of Service-Oriented Applications
auteur
Philippe Lalanda, Stéphanie Chollet, Catherine Hamon, Vincent Lestideau
article
IEEE International Conference on Services Computing, SCC 2016, Jun 2016, San Francisco, United States
Accès au bibtex
BibTex
titre
Sharing Devices between Applications with Autonomic Conflict Management
auteur
Rania Ben Hadj, Stéphanie Chollet, Philippe Lalanda, Catherine Hamon
article
2016 IEEE International Conference on Autonomic Computing (ICAC 2016), Jul 2016, Wuerzburg, Germany
Accès au bibtex
BibTex

2015

Journal articles

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

Conference papers

titre
Test Model and Coverage Analysis for Location based Mobile Services
auteur
Tao Zhang, Jerry Gao, Oum-El-Kheir Aktouf, Tadahiro Uehara
article
The 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015), Jul 2015, Pittsburg, United States
Accès au bibtex
BibTex
titre
Testing location-based function services for mobile applications
auteur
Oum-El-Kheir Aktouf, Tao Zhang, Jerry Gao, Tadahiro Uehara
article
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
Accès au bibtex
BibTex
titre
Développement d'un réseau de capteurs sans fils permettant une solution embarquée de géolocalisation -Application aux glissements de terrain
auteur
Hiba Mediouni, Ayoub Soury, Denis Genon-Catalot
article
Journées Nationales des Communications Terrestres 2015, LCIS-Valence, Jun 2015, Valence, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01237979/file/G%C3%A9olocalisation_LoRa_JNCT2015.pdf BibTex
titre
Mise en place d’un réseau EtherCAT pour un système de contrôle d’ascenseur
auteur
Zeyd Rjeb, Ayoub Soury, Denis Genon-Catalot
article
Journées Nationales des Communications Terrestres 2015, LCIS-Valence, Jun 2015, Valence, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01238003/file/JNCT.pdf BibTex
titre
Reversible Denial-of-Service by Locking Gates Insertion for IP Cores Design Protection
auteur
Brice Colombier, Lilian Bossuet, David Hely
article
Computer Society Annual Symposium on VLSI, CNRS-LIRMM, France, Jul 2015, Montpellier, France
Accès au texte intégral et bibtex
https://hal-ujm.archives-ouvertes.fr/ujm-01180564/file/2015_ISVLSI_colombier.pdf BibTex
titre
A secure design-for-test infrastructure for lifetime security of SoCs
auteur
Backer Jerry, Ali Subidh, Kurt Rosenfeld, David Hely, Karri Ramesh, Sinanoglu Ozgur
article
Circuits and Systems (ISCAS), 2015 IEEE International Symposium on, IEEE, May 2015, Lisbonna, Portugal. ⟨10.1109/ISCAS.2015.7168564⟩
Accès au bibtex
BibTex
titre
Maintien de la cohérence entre les architectures pour une gestion autonomique de systèmes pervasifs
auteur
Stéphanie Chollet, Philippe Lalanda, Catherine Hamon
article
Actes du 33ème Congrès INFORSID, May 2015, Biarritz, France
Accès au bibtex
BibTex
titre
Self-Adaptation of Service Bindings based on Formal Concept Analysis
auteur
Stéphanie Chollet
article
Proceedings of the 12th IEEE International Conference on Autonomic Computing (ICAC), IEEE Computer Society, Jul 2015, Grenoble, France
Accès au bibtex
BibTex
titre
Extension of Service-Oriented Component Models for Dynamic Environment
auteur
Stéphanie Chollet, Philippe Lalanda, Clement Escoffier
article
Proceedings of the 12th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, Jun 2015, New-York, United States
Accès au bibtex
BibTex
titre
Testium: outil de génération automatique de données de test pour les systèmes synchrones
auteur
Tka Mouna, Christophe Deleuze, Ioannis Parissis
article
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France
Accès au bibtex
BibTex
titre
New lift safety architecture to meet PESSRAL requirements
auteur
Ayoub Soury, Denis Genon-Catalot, Jean-Marc Thiriet
article
2nd World Symposium on Web Applications and Networking (WSWAN 2015), Mar 2015, Sousse, Tunisia. 5 p., ⟨10.1109/WSWAN.2015.7210314⟩
Accès au texte intégral et bibtex
http://hal.univ-grenoble-alpes.fr/hal-01233766/file/WSWAN2015.pdf BibTex
titre
Performance analysis of Ethernet Powerlink protocol: Application to a new lift system generation
auteur
Ayoub Soury, Melek Charfi, Denis Genon-Catalot, Jean-Marc Thiriet
article
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), IEEE, Sep 2015, Luxembourg, Luxembourg. 6 p., ⟨10.1109/ETFA.2015.7301492⟩
Accès au texte intégral et bibtex
http://hal.univ-grenoble-alpes.fr/hal-01233841/file/ETFA2015.pdf BibTex

2014

Journal articles

titre
Data analysis of an RFID system for its Dependability
auteur
Imed Belkacem, Nait Bahloul Safia, Oum-El-Kheir Aktouf
article
International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol. 5, N° 3, IGI Global, 2014
Accès au bibtex
BibTex
titre
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
auteur
Stéphanie Chollet, Vincent Lestideau, Denis Morand, Yoann Maurel, Philippe Lalanda
article
TSI Informatique autonomique, 2014, 33 (1-2), pp.7-30
Accès au bibtex
BibTex
titre
A fault fuzzy-ontology for large scale fault-tolerant wireless sensor networks
auteur
Yazid Benazzouz, Oum-El-Kheir Aktouf, Ioannis Parissis
article
Procedia Computer Science, Elsevier, 2014, 35, pp.203-212
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01063798/file/1-s2.0-S1877050914010655-main.pdf BibTex

Conference papers

titre
Towards unified tooling for easing the qualification of medical normed environments
auteur
Anthony Gelibert, Sébastien Jean, Denis Genon-Catalot, Gérard Santailler, Ioannis Parissis
article
eTELEMED 2014, Mar 2014, Barcelona, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00951929/file/etelemed.pdf BibTex
titre
Towards a flexible and secure runtime for embedded devices
auteur
Albert Royo Manjon, Eric Simon, Sébastien Jean
article
PECCS 2014, Jan 2014, Lisbon, Portugal
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00951904/file/PECCS_2014_-_Albert_Royo_-_Camera_Ready.pdf BibTex
titre
Synchronous Programs Testing Language (SPTL)
auteur
Tka Mouna, Christophe Deleuze, Ioannis Parissis
article
International Conference on Computational Science and Its Applications (ICCSA 2014), 2014, Guimarae, Portugal. 13 p
Accès au texte intégral et bibtex
http://hal.univ-grenoble-alpes.fr/hal-01023037/file/sptl.pdf BibTex
titre
On error models for RTL security evaluations
auteur
Pierre Vanhauwaert, P. Maistri, R. Leveugle, Athanasios Papadimitriou, David Hely, Vincent Beroulle
article
9th Conference on Design and Technology of Integrated Systems in Nanoscale Era (DTIS) 2014, May 2014, Santorini, Greece. pp.1-6
Accès au bibtex
BibTex
titre
Voltage Glitch Attacks on Mixed Signal Systems
auteur
Noémie Boher, Kamil Gomina, David Hely, Vincent Beroulle, Jean-Baptiste Rigaud, Assia Tria, Joël Damiens, Philippe Candelier, P. Gendrier
article
17th Euromicro Conference on Digital Systems Design, Aug 2014, Verone, Italy. pp.1-6
Accès au bibtex
BibTex
titre
Fault Tolerance Evaluation of RFID Tags
auteur
Omar Abdelmalek, David Hely, Vincent Beroulle
article
15th IEEE Latin America Test Workshop, Mar 2014, Fortaleza, Brazil. pp.1-6
Accès au bibtex
BibTex
titre
Emulation Based Fault Injection on UHF RFID Transponder
auteur
Omar Abdelmalek, David Hely, Vincent Beroulle
article
17th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, Apr 2014, Varsaw, Poland. pp.1-4
Accès au bibtex
BibTex
titre
A multiple fault injection methodology based on cone partitioning towards RTL modeling of laser attacks
auteur
Athanasios Papadimitriou, David Hely, Vincent Beroulle, P. Maistri, R. Leveugle
article
Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014, Mar 2014, Germany. pp.1-4, ⟨10.7873/DATE2014.219⟩
Accès au bibtex
BibTex
titre
Dynamic Collection of Data in Complex, Physical Environment
auteur
Philippe Lalanda, Stéphanie Chollet, Clement Escoffier, Denis Morand
article
19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA), Sep 2014, Barcelona, Spain
Accès au bibtex
BibTex
titre
Maintaining Traceability Links between Design and Runtime Architectures to support Autonomic Management
auteur
Philippe Lalanda, Stéphanie Chollet, Etienne Gandrille, Catherine Hamon
article
8th International Workshop on Service Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE), Sep 2014, Barcelona, Spain. pp.19-24
Accès au bibtex
BibTex
titre
Lessons Learned in Building Pervasive Platforms
auteur
Clement Escoffier, Stéphanie Chollet, Philippe Lalanda
article
The 11th Annual IEEE Consumer Communications and Networking Conference, Jan 2014, Las Vegas, CA, United States. pp.203-208
Accès au bibtex
BibTex
titre
La sécurité des ascenseurs avec des communications Ethernet-Based Real-Time
auteur
Ayoub Soury, Denis Genon-Catalot, Jean-Marc Thiriet
article
Journées Nationales des Communications Terrestres (JNCR 2014), IRIT-Toulouse, May 2014, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01237745/file/Ayoub_SOURY_Article_JNCT2014.pdf BibTex

Habilitation à diriger des recherches

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

2013

Journal articles

titre
SafeRFID-MW: a RFID Middleware with runtime fault diagnosis
auteur
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis
article
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
Accès au bibtex
BibTex

Conference papers

titre
Assertion based on-line fault detection applied on UHF RFID tag
auteur
Ibrahim Mezzah, Omar Kermia, Hamimi Chemali, Omar Abdelmalek, David Hely, Vincent Beroulle
article
8th IEEE International Design & Test Symposium 2013, Dec 2013, Marrakesh, Morocco. pp.1-5, ⟨10.1109/IDT.2013.6727091⟩
Accès au bibtex
BibTex
titre
EPC Class 1 GEN 2 UHF RFID tag emulator for robustness evaluation and improvement
auteur
Omar Abdelmalek, David Hely, Vincent Beroulle
article
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⟩
Accès au bibtex
BibTex
titre
A new test modeling language for interactive applications based on task trees
auteur
Than Long Le, Thanh Binh Nguyen, Ioannis Parissis, Ioannis Parissis
article
4th International Symposium on Information and Communication Technology, SoICT '13, Danang, Viet Nam - December 05 - 06, 2013, Dec 2013, Vietnam. pp.285-293
Accès au bibtex
BibTex
titre
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information
auteur
Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis
article
6th International Conference on Software Testing and Verification (ICST 2013), Mar 2013, Luxembourg, Luxembourg. pp.104-113
Accès au bibtex
BibTex
titre
Triggering Hardware Trojans in EPC C1G2 RFID Tags
auteur
David Hely, Vincent Beroulle, Abdelmalek Omar
article
Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, TRUDEVICE 2013, May 2013, Avignon, France
Accès au bibtex
BibTex
titre
Increasing the security level of analog IPs by using a dedicated vulnerability analysis methodology.
auteur
Noémie Boher, David Hely, Vincent Beroulle, Joël Damiens, Philippe Candelier
article
Quality Electronic Design (ISQED), 2013 14th International Symposium on, Mar 2013, United States. pp.531-537, ⟨10.1109/ISQED.2013.6523662⟩
Accès au bibtex
BibTex
titre
Run-time detection of hardware Trojans: The processor protection unit
auteur
David Hely, Dubeuf Jérémy, Karri Ramesh
article
18th IEEE European Test Symposium, May 2013, Avignon, France. pp.1-6
Accès au bibtex
BibTex
titre
Evaluating and Enhancing the Security of Analog and Mixed IPs in Complex System On Chip
auteur
Noémie Boher, David Hely, Vincent Beroulle, Kamil Gomina, Joël Damiens, Philippe Candelier
article
Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, TRUDEVICE 2013, May 2013, Avignon, France
Accès au bibtex
BibTex
titre
Monitoring of RFID Failures Resulting from LLRP Misconfigurations
auteur
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis, Sanaa Boughazi
article
21st IEEE International Conference on Software, Telecommunications and Computer Networks (SOFTCOM 2013), Sep 2013, Split, Croatia. pp.1-6
Accès au bibtex
BibTex
titre
Experiences in side channel and testing based Hardware Trojan detection
auteur
David Hely, Simon Piroux Mounier, Rivière Elie, Triana Gerson, Martin Julien, Sahuc Thibault, Jérémy Savonet, Laura Soundararadjou
article
IEEE VLSI Test Symposium 2013, Apr 2013, United States. pp.1-4
Accès au bibtex
BibTex
titre
An UHF RFID Emulation Platform with Fault Injection and real time Monitoring capabilities
auteur
Omar Abdelmalek, David Hely, Vincent Beroulle
article
8th IEEE International Design & Test Symposium 2013, Dec 2013, Marrakesh, Morocco. pp.1-2, ⟨10.1109/IDT.2013.6727143⟩
Accès au bibtex
BibTex

Book sections

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

2012

Conference papers

titre
Online data fault detection in wireless sensor networks
auteur
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi
article
IEEE Second International Conference on Advances in Computational Tools for Engineering Applications, Dec 2012, Zouk Mosbeh, Lebanon. pp.61-65
Accès au bibtex
BibTex
titre
Évaluation de la qualité de jeux de tests hybrides en domotique
auteur
Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis
article
AFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.104-119, 2012
Accès au bibtex
BibTex
titre
fANFARE: Autonomic Framework for Service-based Pervasive Environment
auteur
Yoann Maurel, Stéphanie Chollet, Vincent Lestideau, Jonathan Bardin, Philippe Lalanda, André Bottaro
article
SCC 2012 - International Conference on Service Computing, Jun 2012, Honolulu, HI, United States. IEEE, pp.65-72, 2012, 〈10.1109/SCC.2012.7〉
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
titre
Malicious Key Emission via Hardware Trojan Against Encryption System
auteur
David Hely, Augagneur Maurin, Clauzel Yves, Dubeuf Jérémy
article
ICCD, Oct 2012, France. pp.100-104
Accès au bibtex
BibTex
titre
A Physical Unclonable Function Based on Setup Time Violation
auteur
David Hely, Dubeuf Jérémy, Augagneur Maurin, Clauzel Yves
article
ICCD 2012, Oct 2012, Montréal, Canada
Accès au bibtex
BibTex
titre
SMART Service for Fault-Diagnosis in Wireless Sensor Networks
auteur
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Abbas Hijazi, Mira Sarkis, Bachar El Hassan
article
IEEE 6th International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST 2012), Sep 2012, Paris, France. pp.211 - 216
Accès au bibtex
BibTex
titre
A Self monitoring, Adaptative and Resource Efficient Approach for Improving QoS in Wireless Sensor Networks
auteur
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi, B. Moslem
article
IEEE International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (Cyber'C 2012), Oct 2012, Sanya, China. pp.393-400
Accès au bibtex
BibTex
titre
Configuring Private Data Management as Access Restrictions: From Design to Enforcement
auteur
Aurélien Faravelon, Stéphanie Chollet, Christine Verdier, Agnès Front
article
ICSOC 2012 - International Conference on Service-Oriented Computing, Nov 2012, Shanghai, China. pp.344-358, ⟨10.1007/978-3-642-34321-6_23⟩
Accès au bibtex
BibTex
titre
Integrated Fault Tolerance Framework for Wireless Sensor Networks
auteur
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi
article
19th International Conference on Telecommunications, Apr 2012, Jounieh, Lebanon. pp.6, 2012
Accès au bibtex
BibTex
titre
Online Data Fault Detection For Wireless Sensor Networks - Case Study
auteur
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi
article
IEEE. The Third International Conference on Wireless Communications in Unusual and Confined Areas, Aug 2012, Clermont-Ferrand, France. pp.6, 2012
Accès au bibtex
BibTex
titre
Plateforme Ouverte de Supervision et de Traçabilité pour les Environnements Confinés
auteur
Anthony Gelibert, Sébastien Jean, Denis Genon-Catalot
article
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
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00733036/file/MajecSTIC2012_gelibert.pdf BibTex
titre
Practical Use of Formal Concept Analysis in Service-Oriented Computing
auteur
Stéphanie Chollet, Vincent Lestideau, Yoann Maurel, Etienne Gandrille, Philippe Lalanda, Olivier Raynaud
article
ICFCA 2012 - International Conference on Formal Concept Analysis, May 2012, Leuven, Belgium. pp.61-76, ⟨10.1007/978-3-642-29892-9_11⟩
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

2011

Conference papers

titre
Security challenges during VLSI test
auteur
David Hely, Kurt Rosenfeld, Ramesh Karri
article
New Circuits and Systems Conference (NEWCAS), 2011 IEEE 9th International, Jun 2011, Bordeaux, France. pp 486 - 489, ⟨10.1109/NEWCAS.2011.5981325⟩
Accès au bibtex
BibTex
titre
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs
auteur
Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis
article
Workshop on Formal Methods for Industrial Critical Systems (FMICS), Aug 2011, Trento, Italy. pp.85-101, 2011
Accès au bibtex
BibTex
titre
Towards an unified IP verification and robustness analysis platform
auteur
David Hely, Vincent Beroulle, Feng Lu, Jose Ramon Garcia Oya
article
14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2011, Apr 2011, France
Accès au bibtex
BibTex

Book sections

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

2009

Journal articles

titre
Structural Coverage Criteria for Lustre/SCADE Programs
auteur
Abdesselam Lakehal, Ioannis Parissis
article
Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2009, 19 (2), pp.133-154
Accès au bibtex
BibTex