Home » Team publications

Publications  for  the  collection  HAL LS2N-STR  for  2023

Total of the publications found : 2

Overview of LS2N-STR publications by types

Chiffres en cours de consolidation

International journals with reviewing committee (ART_INT)

    • [1] S. Dal Zilio, P. Hladik, F. Ingrand, A. Mallet. A formal toolchain for offline and run-time verification of robotic systems. In Robotics and Autonomous Systems ; éd. Elsevier, 2023, vol. 159.

International conferences with reviewing committee (COMM_INT)

    • [2] S. Pillement, M. Mendez Real, P. Juliette, N. T., S. Faucou, J. Béchennec, M. Briday, S. Girbal, J. Le Rhun, O. Gilles, D. Gracia Pérez, A. Sintzoff, J. Coulon. Securing a RISC-V architecture: A dynamic approach. In DATE Conference 2023, avril 2023, Antwerp, Belgique.
Copyright : LS2N 2017 - Legal notices -