Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

76 Résultats
Structure : Identifiant HAL de la structure : 497668

Menhir: Generic High-Speed FPGA Model-Checker

Émilien Fournier , Ciprian Teodorov , Loïc Lagadec
2020 23rd Euromicro Conference on Digital System Design (DSD), Aug 2020, Kranj, Slovenia. pp.65-72, ⟨10.1109/DSD51259.2020.00022⟩
Communication dans un congrès hal-03028409v1

Advances in Smalltalk technologies

Loïc Lagadec , Anne Etien , Jannik Laval
Science of Computer Programming, 2020, 199, pp.102518. ⟨10.1016/j.scico.2020.102518⟩
Article dans une revue hal-02960557v1
Image document

A new dominating tree routing algorithm for efficient leader election in IoT networks

Ahcène Bounceur , Madani Bezoui , Massinissa Lounis , Reinhardt Euler , Ciprian Teodorov
15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩
Communication dans un congrès hal-01804280v1
Image document

DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks

Ahcène Bounceur , Madani Bezoui , Loïc Lagadec , Reinhardt Euler , Abdelkader Laouid , et al.
4th International Conference on Mobile, Secure and Programmable Networking (MSPN 2018), Jun 2018, Paris, France. pp.42-53
Communication dans un congrès hal-01829251v1
Image document

DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks

Ahcène Bounceur , Madani Bezoui , Loïc Lagadec , Reinhardt Euler , Abdelkader Laouid , et al.
Renault É., Boumerdassi S., Bouzefrane S. (eds). Mobile, Secure, and Programmable Networking. MSPN 2018, 11005, Springer, Cham, pp.42-53, 2019, Lecture Notes in Computer Science, 978-3-030-03100-8. ⟨10.1007/978-3-030-03101-5_5⟩
Chapitre d'ouvrage hal-02501870v1
Image document

Ingénierie des projets Savanturiers de l'ingénierie

Vincent Ribaud , Chabha Hireche , Arwa Khannoussi , Vincent Leilde , Cécile Plaud , et al.
Colloque Education par la recherche, Jul 2018, Paris, France
Communication dans un congrès hal-01839091v1

Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis

Ciprian Teodorov , Luka Le Roux , Zoé Drey , Philippe Dhaussy
Journal of Software Testing, Verification and Reliability, 2016, ⟨10.1002/stvr.1611⟩
Article dans une revue istex hal-01373287v1
Image document

PAnTHErS: User Guide

Cyrielle Feron
[Technical Report] ENSTA Bretagne; Lab-STICC. 2018
Rapport hal-01867913v1

A Cost-effective Approach for Efficient Time-sharing of Reconfigurable Architectures

Mohamad Najem , Théotime Bollengier , Jean-Christophe Le Lann , Loïc Lagadec
FPGA4GPC'2017, May 2017, Hambourg, Germany. ⟨10.1109/FPGA4GPC.2017.8008959⟩
Communication dans un congrès hal-01656613v1
Image document

Extended overlay architectures for heterogeneous FPGA cluster management

Mohamad Najem , Théotime Bollengier , Jean-Christophe Le Lann , Loïc Lagadec
Journal of Systems Architecture, 2017, 78, pp.1-14. ⟨10.1016/j.sysarc.2017.06.001⟩
Article dans une revue hal-01643297v1
Image document

Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach

Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
Communication dans un congrès hal-02433749v1

A Dominating Tree Based Leader Election Algorithm for Smart Cities IoT Infrastructure

Nabil Kadjouh , Ahcène Bounceur , Madani Bezoui , Mohamed Essaid Khanouche , Reinhardt Euler , et al.
Mobile Networks and Applications, 2020, ⟨10.1007/s11036-020-01599-z⟩
Article dans une revue hal-02924057v1

Using Parallel and Distributed Reachability in Model Checking

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov
Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩
Chapitre d'ouvrage hal-02515020v1
Image document

LiteX: an open-source SoC builder and library based on Migen Python DSL

Florent Kermarrec , Sébastien Bourdeauducq , Hannah Badier , Jean-Christophe Le Lann
OSDA 2019, colocated with DATE 2019 Design Automation and Test in Europe, Mar 2019, Florence, Italy
Communication dans un congrès hal-02088044v1

RITA secure communication protocol : application to SCADA

Fadi Obeid , Philippe Dhaussy
8th International Conference on Network and Communications Security - NCS 2016, Dec 2016, Sydney, Australia. ⟨10.5121/csit.2016.61518⟩
Communication dans un congrès hal-02515709v1
Image document

Towards a Meta-Language for the Concurrency Concern in DSLs

Julien Deantoni , Papa Issa Diallo , Ciprian Teodorov , Joël Champeau , Benoit Combemale
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Communication dans un congrès hal-01087442v1