Publication de la collection HAL LS2N-STR pour 2023
| ART_INT | COMM_INT | THESE | AUTRES | |
|---|---|---|---|---|
| 2 | 5 | 7 | 1 | 1 |
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
- [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
- [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
- [8] 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
- [9] 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
- [10] 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
- [11] 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
- [12] 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
- [13] 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
- [14] V. Le Cam, L. Lemarchand, A. Bouche, 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
- [15] M. Mohamed Abdulla. Real-time and energy constrained cobotic systems. Thèses : Nantes Université. https://theses.hal.science/tel-04277048
- [16] P. Bakowski, B. Parrein. Very Low Power IoT Architectures. In Journées LPWAN, juillet 2023, Grenoble, France.https://hal.science/hal-04191013
