Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-STR  pour  2023

Nombre de publications retournées : 12


Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
AUTRES
2361

Chiffres en cours de consolidation

    • [1] A. Spriet, D. Lime, O. Roux. Timed Non-interference Under Partial Observability and Bounded Memory. In 21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2023), septembre 2023, Antwerp, Belgique.
      https://hal.science/hal-04312271
    • [2] I. Haur, J. Béchennec, O. H. Roux. Formal verification process of the compliance of a multicore AUTOSAR OS. In Software Quality Journal ; éd. Springer Verlag, 2023, vol. 31, num. 2.
      https://hal.science/hal-04304216

Revues internationales avec comité de lecture (ART_INT)

    • [3] 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.
      https://laas.hal.science/hal-03683044v2
    • [4] A. Bernabeu, M. Briday, S. Faucou, J. Béchennec, O. Roux. Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2023, vol. 33.
      https://hal.science/hal-03952467
    • [5] R. Parrot, M. Briday, O. Roux. Design and verification of pipelined circuits with Timed Petri Nets. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2023, vol. 33.
      https://hal.science/hal-03952519

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [6] 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.
      https://hal.science/hal-03906564
    • [7] B. Parrein, F. Khelifi, F. Babin, T. Grousset, J. Rousset, L. Helloco. Underwater acoustic sensor network to monitor floating offshore wind: SEM-REV sea trials. In IEEE OCEANS, juin 2023, Limerick, Irlande.
      https://hal.science/hal-04190985
    • [8] L. Leclercq, D. Lime, O. Roux. A State Class Based Controller Synthesis Approach for Time Petri Nets. In 44th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2023), juin 2023, Caparica, Lisbon, Portugal.
      https://hal.science/hal-04312254
    • [9] N. Morozs, B. Parrein, L. Shen, B. Henson, P. Mitchell. NETWORK PROTOCOLS FOR SIMULTANEOUS UNDERWATER ACOUSTIC COMMUNICATION AND TARGET DETECTION. In UK Acoustics network (UACE), juin 2023, Kalamata, Grèce.
      https://hal.science/hal-04192220
    • [10] M. Mohamed Abdulla, M. Chetto, A. Queudet. Real-time Scheduling and Resource Management for Energy Autonomous Sensors. In IFAC World Congress 2023, juillet 2023, Yokohama, Japon.
      https://hal.science/hal-04047213
    • [11] B. Parrein, N. Morozs, L. Toutain. An internet protocol adaptation layer for underwater acoustic networks. In Forum Acusticum 2023, septembre 2023, Turin, Italie.
      https://hal.science/hal-04192238

Autres publications (AUTRES)

Copyright : LS2N 2017 - Mentions Légales - 
 -