( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Practical multiverse debugging through user-defined reductions: application to UML models.

, , , , , и . MoDELS, стр. 87-97. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Loïc Fejoz

Loïc Botrel

Loïc Yon

Loïc Denis

Loïc Paulevé

 

Другие публикации лиц с тем же именем

PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption Schemes., , и . SECRYPT, стр. 359-366. SciTePress, (2017)Virtual SoPC rad-hardening for satellite applications., , , , , и . ReCoSoC, том 7551 из KIT Scientific Reports, стр. 179-180. KIT Scientific Publishing, (2010)Dolmen: FPGA Swarm for Safety and Liveness Verification., , и . DATE, стр. 1425-1430. IEEE, (2022)JIT Compiler Security through Low-Cost RISC-V Extension., , и . IPDPS Workshops, стр. 125-128. IEEE, (2023)A prototyping platform for virtual reconfigurable units., , и . ReCoSoC, стр. 1-7. IEEE, (2014)Menhir: Generic High-Speed FPGA Model-Checker., , и . DSD, стр. 65-72. IEEE, (2020)Prototyping FPGA through overlays., , и . RSP, стр. 15-21. IEEE, (2021)Environmental Constraints for Intelligent Internet of Deep-Sea/Underwater Things Relying on Enterprise Architecture Approach., , , и . Sensors, 24 (8): 2433 (апреля 2024)Flexible Model-Based Simulation as a System's Design Driver., , , и . CSDM (Posters), том 1234 из CEUR Workshop Proceedings, стр. 25-35. CEUR-WS.org, (2014)DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks., , , , , и . MSPN, том 11005 из Lecture Notes in Computer Science, стр. 42-53. Springer, (2018)