Loading...
Last submissions
-
Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho. strategFTO: Untimed control for timed opacity. 8th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022), Cyrille Artho; Peter Ölveczky, Dec 2022, Auckland, New Zealand. pp.27-33, ⟨10.1145/3563822.3568013⟩. ⟨hal-03874435⟩
-
Chahan Vidal-Gorène, Nadi Tomeh, Victoria Khurshudyan. Cross-Dialectal Transfer and Zero-Shot Learning for Armenian Varieties: A Comparative Analysis of RNNs, Transformers and LLMs. 4th International Conference on Natural Language Processing for Digital Humanities, EMNLP 2024, Nov 2024, Miami, United States. ⟨hal-04722313⟩
-
Christophe Cerin, Mamadou Sow, Muhammad Sanaullah Kayani. Online Machine Learning for Embedded Systems (ESP32) Introduction with the Slides. Compas 2024 Conférence francophone d'informatique en Parallélisme, Architecture et Système, IETR (Institut d’Electronique et des Technologies du numéRique) et le LS2N (Laboratoire des Sciences du Numérique de Nantes) - Nantes Université, Jul 2024, Nantes, France. ⟨hal-04680048v2⟩
-
Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, et al.. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Jul 2023, Vienne, Austria. ⟨10.4230/LIPIcs.ECRTS.2023.19⟩. ⟨hal-04654624⟩
-
Thomas Ehrhard, Christine Tasson, Michele Pagani. Probabilistic coherence spaces are fully abstract for probabilistic PCF. The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '14), Jan 2014, San Diego, CA, United States. pp.309-320, ⟨10.1145/2535838.2535865⟩. ⟨hal-04670288⟩