Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-STR  pour  2023

Nombre de publications retournées : 22

Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
COMM_NAT
THESE
AUTRES
712111

Revues internationales avec comité de lecture (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.
      https://laas.hal.science/hal-03683044v2
    • [2] M. Chetto, R. El Osta. Earliest Deadline First Scheduling for Real-Time Computing in Sustainable Sensors. In Sustainability ; éd. MDPI, 2023, vol. 15, num. 5.
      https://hal.science/hal-04431134
    • [3] 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
    • [4] 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
    • [5] 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
    • [6] M. Foughali, P. Hladik, A. Zuepke. Compositional Verification of Embedded Real-Time Systems. In Journal of Systems Architecture ; éd. Elsevier, 2023, vol. 142.
      https://hal.science/hal-04125520v3
    • [7] Ã. André, E. Lefaucheux, D. Lime, D. Marinho, J. Sun. Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. In Electronic Proceedings in Theoretical Computer Science ; éd. EPTCS, 2023, vol. 392.
      https://hal.science/hal-04312156

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

    • [8] A. Bernabeu, H. Reymond. Towards Sustainable IoT Nodes. In GreenDays 2023 - Efficacité énergétique, impacts environnementaux du numérique, sobriété et frugalité numérique : une vision décloisonnée !, mars 2023, Lyon, France.
      https://hal.science/hal-04385269
    • [9] 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
    • [10] 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
    • [11] M. Chetto, R. El Osta. Vers la neutralité énergétique des objets connectés. In CNRIUT'23 (Congrès National de la Recherche des IUT 2023), juin 2023, Saint Pierre - Ile de la Réunion, France.
      https://hal.science/hal-04110709
    • [12] 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
    • [13] 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
    • [14] M. Chetto, R. El Osta. How to provide fault-tolerance capabilities to energy-autonomous sensor systems with real-time constraints?. In IFAC World Congress 2023, juillet 2023, Yokohama, Japon.
      https://hal.science/hal-04047185
    • [15] 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
    • [16] 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
    • [17] V. Le Cam, L. Lemarchand, A. Bouché, D. Pallier, F. Illien. An original smart data sampling for wireless sensor. Application to bridge cable monitoring. In IWSHM 2023 - 14th International Workshop on Structural Health Monitoring, septembre 2023, Stanford, états-Unis.
      https://inria.hal.science/hal-04303240
    • [18] 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
    • [19] M. Chetto. FP-H: A Real-Time Energy Aware Scheduler with Fixed Priority Assignment for Sustainable Wireless Devices. In 15th International Conference on Ubiquitous Computing and Ambient Intelligence, novembre 2023, Riviera Maya, Mexique.
      https://hal.science/hal-04431200

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [20] A. Bernabeu, J. Béchennec, M. Briday, S. Faucou, O. Roux. MORTEM: a new runtime for intermittent computing. In Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS), juillet 2023, Annecy, France.
      https://hal.science/hal-04354069

Theses et HDR (THESE)

Autres publications (AUTRES)

Copyright : LS2N 2017 - Mentions Légales - 
 -