Filtrer vos résultats
- 39
- 37
- 54
- 15
- 3
- 1
- 1
- 1
- 1
- 1
- 68
- 11
- 2
- 1
- 1
- 1
- 14
- 19
- 22
- 13
- 4
- 1
- 1
- 1
- 70
- 4
- 2
- 76
- 8
- 6
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 25
- 21
- 13
- 10
- 9
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Menhir: Generic High-Speed FPGA Model-Checker2020 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 technologiesScience of Computer Programming, 2020, 199, pp.102518. ⟨10.1016/j.scico.2020.102518⟩
Article dans une revue
hal-02960557v1
|
|||
|
A new dominating tree routing algorithm for efficient leader election in IoT networks15th 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
|
||
|
DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks4th International Conference on Mobile, Secure and Programmable Networking (MSPN 2018), Jun 2018, Paris, France. pp.42-53
Communication dans un congrès
hal-01829251v1
|
||
|
DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT NetworksRenault É., 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
|
||
|
Ingénierie des projets Savanturiers de l'ingénierieColloque 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 analysisJournal of Software Testing, Verification and Reliability, 2016, ⟨10.1002/stvr.1611⟩
Article dans une revue
istex
hal-01373287v1
|
|||
|
PAnTHErS: User Guide[Technical Report] ENSTA Bretagne; Lab-STICC. 2018
Rapport
hal-01867913v1
|
||
A Cost-effective Approach for Efficient Time-sharing of Reconfigurable ArchitecturesFPGA4GPC'2017, May 2017, Hambourg, Germany. ⟨10.1109/FPGA4GPC.2017.8008959⟩
Communication dans un congrès
hal-01656613v1
|
|||
|
Extended overlay architectures for heterogeneous FPGA cluster managementJournal of Systems Architecture, 2017, 78, pp.1-14. ⟨10.1016/j.sysarc.2017.06.001⟩
Article dans une revue
hal-01643297v1
|
||
|
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach22nd 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 InfrastructureMobile Networks and Applications, 2020, ⟨10.1007/s11036-020-01599-z⟩
Article dans une revue
hal-02924057v1
|
|||
Using Parallel and Distributed Reachability in Model CheckingAmbient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩
Chapitre d'ouvrage
hal-02515020v1
|
|||
|
LiteX: an open-source SoC builder and library based on Migen Python DSLOSDA 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 SCADA8th 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
|
||
|
Towards a Meta-Language for the Concurrency Concern in DSLsDesign, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Communication dans un congrès
hal-01087442v1
|