Home » Team publications


Publications  for  the  collection  HAL LS2N-STR  for  2023

Total of the publications found : 28

Overview of LS2N-STR publications by types
ART_INT
ART_NAT
COMM_INT
COMM_NAT
THESE
AUTRES
9114121

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.
      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-04431134v1
    • [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-03952467v1
    • [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-03952519v1
    • [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-04304216v1
    • [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] I. Haur, J. Béchennec, O. Roux. Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches. In Cybernetics and Systems ; éd. Taylor & Francis, 2023.
      https://hal.science/hal-04685315v1
    • [8] B. Confais, B. Parrein, J. Lacan, F. Marques. Characterization of the IPFS Public Network from DHT Requests. In Transactions on Large-Scale Data- and Knowledge-Centered Systems ; éd. Springer Berlin / Heidelberg, 2023, vol. 14280.
      https://hal.science/hal-04225517v1
    • [9] Ã. 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-04312156v1

National journals with reviewing committee (ART_NAT)

    • [10] E. Chanthery, P. Hladik, C. Joffre, G. Le Corre, J. Lesauvage, L. Liard, J. Poirier. JePeIA : de la création à la mise en oeuvre d’un escape game à visée pédagogique sur l’Intelligence Artificielle. In Journal sur l'enseignement des sciences et technologies de l'information et des systèmes ; éd. EDP Sciences, 2023, vol. 22.
      https://laas.hal.science/hal-04273184v1

International conferences with reviewing committee (COMM_INT)

    • [11] 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-04385269v1
    • [12] S. Pillement, M. Mendez Real, J. Pottier, T. Nieddu, B. Le Gal, 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 2023 Design, Automation and Test in Europe Conference (DATE 2023), avril 2023, Antwerp, Belgique.
      https://hal.science/hal-03906564v1
    • [13] N. Amat, E. Amparore, B. Berthomieu, P. Bouvier, S. Zilio, F. Hulin-Hubard, P. Jensen, L. Jezequel, F. Kordon, S. Li, E. Paviot-Adet, L. Petrucci, J. Srba, Y. Thierry-Mieg, K. Wolf. Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. In TOOLympics Challenge 2023, avril 2023, Paris, France.
      https://hal.science/hal-04764190v1
    • [14] 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-04190985v1
    • [15] 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-04110709v1
    • [16] 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-04312254v1
    • [17] 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-04192220v1
    • [18] 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-04047185v1
    • [19] 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-04047213v1
    • [20] 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-04192238v1
    • [21] 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-04303240v1
    • [22] 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-04312271v1
    • [23] R. Souadih, F. Semchedine. An Efficient Emergency Messages Dissemination for Hybrid Sensor and Vehicular Networks. In 2023 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), septembre 2023, Split, Croatie.
      https://hal.science/hal-04604785v1
    • [24] 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-04431200v1

National conferences with reviewing committee (COMM_NAT)

    • [25] 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-04354069v1

PhD Thesis (THESE)

Other publications (AUTRES)

Copyright : LS2N 2017 - Legal notices - 
 -