2025

Journal articles

Pierre Ayoub, Aurélien Hernandez, Romain Cayre, Aurélien Francillon, Clémentine Maurice. PhaseSCA: Exploiting Phase-Modulated Emanations in Side Channels. IACR Transactions on Cryptographic Hardware and Embedded Systems, In press. ⟨hal-04726109⟩

Book sections

Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, David Canu, et al.. On Operational Diagnosis for Ground Stations: A Model-Based Approach. Space Operations: Invest in space to serve Earth and Beyond, , pp.235-251, 2025, 9783031604072. ⟨10.1007/978-3-031-60408-9_11⟩. ⟨hal-04797145⟩

2024

Journal articles

Rui Xue, Keyu Li, Huizheng Liu, Claude Baron. Exploring the impact of industrial environment uncertainty on export sophistication. Journal of the Asia Pacific Economy, 2024, pp.1-24. ⟨10.1080/13547860.2024.2417497⟩. ⟨hal-04797168⟩

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Confidence assessment in safety argument structure - Quantitative vs. qualitative approaches. International Journal of Approximate Reasoning, 2024, 165, pp.109100. ⟨10.1016/j.ijar.2023.109100⟩. ⟨hal-04342922⟩

Augustin Bricout, Philippe Leleux, Pascal Acco, Christophe Escriba, Jean-Yves Fourniols, et al.. Bee together: Joining bee audio datasets for hive extrapolation in AI-based monitoring. Sensors, 2024, 24 (18), pp.6067. ⟨10.3390/s24186067⟩. ⟨hal-04800976⟩

Binqi Sun, Tomasz Kloda, Sergio Arribas Garcia, Giovani Gracioli, Marco Caccamo. Minimizing cache usage with fixed-priority and earliest deadline first scheduling. Real-Time Systems, 2024, 60, pp.625-664. ⟨10.1007/s11241-024-09423-7⟩. ⟨hal-04803808⟩

Yann Argotti, Yasmine Kenfaoui, Claude Baron, Alain Abran, Philippe Esteban. An Operational Quality Model of Embedded Software Aligned with ISO 25000. ACM Transactions on Embedded Computing Systems (TECS), 2024, 24 (1), pp.1-41. ⟨10.1145/3691642⟩. ⟨hal-04797166⟩

Qiao Zhao, Wu Xiao-Xue, Rui Xue, Claude Baron, Shen Huang-Nan, et al.. Simulation of the Cascading Effect of Anti-dumping Embedded in Global Production Network. Journal of Management Sciences in China, 2024, 27 (8). ⟨hal-04797184⟩

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. On the Complexity of Proving Polyhedral Reductions. Fundamenta Informaticae, 2024, 192 (3-4), pp.363-394. ⟨10.3233/FI-242197⟩. ⟨hal-04712076⟩

Rui Xue, Claude Baron, Rob Vingerhoeds, Philippe Esteban. Fostering the progressive deployment and standardisation of engineering processes – proposal of a dedicated framework for manufacturing SMEs. Journal of Engineering Design, 2024, 35 (5), pp.570-596. ⟨10.1080/09544828.2024.2327914⟩. ⟨hal-04797163⟩

Vivek Jadhav, Roberto Pasqua, Christophe Zanon, Matthieu Roy, Gilles Trédan, et al.. Collective responses of flocking sheep (Ovis aries) to a herding dog (border collie). Communications Biology, 2024, 7 (1), pp.1543. ⟨10.1038/s42003-024-07245-8⟩. ⟨hal-04794402v2⟩

Vincent Louis, Claude Baron. Adopter une démarche DevOps pour développer des logiciels embarqués critiques dans le domaine avionique. Technologies logicielles Architectures des systèmes, 2024, ⟨10.51257/a-v1-h8061⟩. ⟨hal-04797169⟩

Cyrius Nugier, Vincent Migliore. Acceleration of Classic McEliece Post-Quantum Cryptosystem with Cache Processing. IEEE Micro, 2024, 44 (1), pp.59 - 68. ⟨10.1109/MM.2023.3304425⟩. ⟨hal-04232870⟩

Books

Vincent Mahout, Thierry Rocacher, Guillaume Auriol. Programmation des systèmes embarqués. ISTE Group, 312 p., 2024, 9781836120049. ⟨hal-04717102⟩

Book sections

Erwan Le Merrer, Camilla Penzo, Gilles Tredan, Lucas Verney. Challenges in archiving the personalized web. Firenze University Press. Exploring the Archived Web during Transformative Age, , pp.1-16, 2024, 979-12-215-0412-5. ⟨10.36253/fup_best_practice⟩. ⟨hal-04881990⟩

Conference papers

Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa. Modélisation et simulation de systèmes à structure dynamique basés sur des équations différentielles avec DEVS statique. Journées Francophones de la Modélisation et de la Simulation, Nov 2024, Cargese (Corse), France. ⟨hal-04769752⟩

Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa. Approche intégrée pour la modélisation et la simulation des systèmes à structure dynamique. Colloque National du GDR SoC2, Jun 2024, Toulouse, France. ⟨hal-04645089⟩

Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre. An experimental approach for evaluating cache allocation policies in multicore for real-time mixed-criticality systems. 2024 19th European Dependable Computing Conference (EDCC), KU leuven, Apr 2024, Leuven (BE), Belgium. ⟨10.1109/EDCC61798.2024.00033⟩. ⟨hal-04627006⟩

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. Verification, Model Checking, and Abstract Interpretation. VMCAI 2024, Jan 2024, London, United Kingdom. pp.101-123, ⟨10.1007/978-3-031-50524-9_5⟩. ⟨hal-04375443⟩

Van-Tien Nguyen, Renzo Efrain Navas, Guillaume Doyen. Lightweight Security for IoT Systems leveraging Moving Target Defense and Intrusion Detection. NOMS 2024-2024 IEEE/IFIP Network Operations and Management Symposium, IEEE, May 2024, Seoul, South Korea. ⟨10.1109/NOMS59830.2024.10575913⟩. ⟨hal-04537696⟩

Pierre Ayoub, Romain Cayre, Aurélien Francillon, Clémentine Maurice. BlueScream: Screaming Channels on Bluetooth Low Energy. 40th Annual Computer Security Applications Conference (ACSAC '24), Dec 2024, Waikiki, Honolulu, Hawaii, United States. ⟨hal-04725668v2⟩

Van-Tien Nguyen, Guillaume Doyen, Van-Tien Nguyen, Renzo E Navas, Eric Alata, et al.. Toward Context-aware Security for Individual Information Systems. Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI), May 2024, Eppe-Sauvage, France. ⟨hal-04602354⟩

Binqi Sun, Tomasz Kloda, Marco Caccamo. Strict Partitioning for Sporadic Rigid Gang Tasks. IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS 2024), May 2024, Hong Kong, China. pp.252-264, ⟨10.1109/RTAS61025.2024.00028⟩. ⟨hal-04803805⟩

Binqi Sun, Tomasz Kloda, Marco Caccamo. Response Time Analysis for Fixed-Priority Preemptive Uniform Multiprocessor Systems. Euromicro Conference on Real-Time Systems (ECRTS 2024), Jul 2024, Lille, France. ⟨10.4230/LIPIcs.ECRTS.2024.17⟩. ⟨hal-04803812⟩

S Mokraoui, Mariem Besbes, Zolghadri Marc, Claude Baron. Obsolescence Management: Criteria related to its Context and its Mitigation Techniques. 18th IFAC Symposium on Information Control Problems in Manufacturing (INCOM),, Aug 2024, Vienne, Austria. ⟨hal-04797215⟩

Sahar Karaani, Mariem Besbes, Zolghadri Marc, Claude Baron, Manel Barkallah. Do Obsolescence and Shortages have an impact on Reliability, Maintainability and Availability ?. 6th IFAC Workshop on Advanced Maintenance Engineering, Services and Technologies (AMEST 2024), Jun 2024, Cagliari, Italy. ⟨hal-04797207⟩

Augustin Godinot, Erwan Le Merrer, Gilles Trédan, Camilla Penzo, François Taïani. Under manipulations, are some AI models harder to audit?. 2nd IEEE Conference on Secure and Trustworthy Machine Learning (SaTML 2024), Apr 2024, Toronto ( CA ), Canada. pp.1-21. ⟨hal-04800332⟩

Mamadou Lamine Ndao, Claude Baron. An adaptation of the ISO/IEC/IEEE 29110 system engineering process for CubeSats development. 34th Annual INCOSE International Symposium, INCOSE, Jul 2024, Dublin, Ireland. ⟨hal-04798057⟩

Taki Djidjekh, Gaël Loubet, Lamoussa Sanogo, Alassane Sidibé, Guillaume Delai, et al.. Backscattering Rectifier for Security and Identification in the context of Simultaneous Wireless Information and Power Transfer. 2024 54th European Microwave Conference (EuMC), Sep 2024, Paris, France. pp.300-303, ⟨10.23919/EuMC61614.2024.10732847⟩. ⟨hal-04763660⟩

Martijn de Vos, Akash Dhasade, Jade Garcia Bourrée, Anne-Marie Kermarrec, Erwan Le Merrer, et al.. Fairness Auditing with Multi-Agent Collaboration. 27th European Conference on Artificial Intelligence (ECAI 2024), Oct 2024, Santiago de Compostela, Spain. pp.1-14, ⟨10.3233/FAIA240604⟩. ⟨hal-04800328⟩

Lamoussa Sanogo, Eric Alata, Gaël Loubet, Taki E Djidjekh, Alexandru Takacs, et al.. Circular Polarization Shift Keying for IoT Communications Security: A Proof of Concept. IEEE 31st International Conference on Electronics Circuits and Systems (ICECS 2024), IEEE, Nov 2024, Nancy, France. ⟨hal-04798844⟩

Paul-Antoine Le Tolguenec, Emmanuel Rachelson, Yann Besse, Florent Teichteil-Koenigsbuch, Nicolas Schneider, et al.. Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper). ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Sep 2024, Vienne, Austria. pp.920-931, ⟨10.1145/3650212.3680331⟩. ⟨hal-04774965⟩

Florent Galtier, Guillaume Auriol, Vincent Nicomette, Paul L R Olivier, Romain Cayre, et al.. Wireless Modulation Identification: filling the gap in IoT networks security audit. 21st Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '24), Jul 2024, Lausanne, Switzerland. ⟨hal-04675669⟩

Lamoussa Sanogo, Eric Alata, Gaël Loubet, Taki E Djidjekh, Alexandru Takacs, et al.. A Hardware Add-On for IoT Secure Communications: Polarization Shift Keying Smart Antenna System. IEEE 10th World Forum on Internet of Things (WF-IoT 2024), IEEE, Nov 2024, Ottawa, Canada. pp.811-816. ⟨hal-04787064⟩

Mamadou Lamine Ndao, Claude Baron, Einar Knudsen, Kelson Joao. Towards a systems engineering framework for CubeSats development. Annual International Systems Conference (SysCON 2024), IEEE, Apr 2024, Montréal, Canada. pp.1-8, ⟨10.1109/SysCon61195.2024.10553549⟩. ⟨hal-04573108⟩

Grégor Quétel, Eric Alata, Pierre-François Gimenez, Laurent Pautet, Thomas Robert. A Parser-Based Data Collector for Intrusion Detection. RESSI 2024 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2024, Eppe-Sauvage, France. pp.1-2. ⟨hal-04871463⟩

Romain Cayre, Vincent Nicomette, Guillaume Auriol, Mohamed Kaâniche, Aurélien Francillon. OASIS: An Intrusion Detection System Embedded in Bluetooth Low Energy Controllers. 2024 ACM Asia conference on Computer and Communications Security (ASIACCS)., Jul 2024, Singapore, Singapore. ⟨hal-04488826⟩

Khoi Tran Dang, Kevin Delmas, Jérémie Guiochet, Joris Guérin. Can we Defend Against the Unknown? An Empirical Study About Threshold Selection for Neural Network Monitoring. Uncertainty in Artificial Intelligence (UAI), PMLR, Jul 2024, Barcelona, Spain. ⟨hal-04579393⟩

Bohua Zou, Binqi Sun, Yigong Hu, Tomasz Kloda, Marco Caccamo, et al.. A Performance Prediction-based DNN Partitioner for Edge TPU Pipelining. MILCOM 2024 - 2024 IEEE Military Communications Conference (MILCOM), Oct 2024, Washington, United States. pp.1-6, ⟨10.1109/MILCOM61039.2024.10773756⟩. ⟨hal-04844549⟩

Lamoussa Sanogo, Eric Alata, Taki E Djidjekh, Gael Loubet, Alexandru Takacs, et al.. Polarization Shift Keying for Device Authentication in Wireless Sensor Network. 2024 54th European Microwave Conference (EuMC), Sep 2024, Paris, France. pp.296-299, ⟨10.23919/EuMC61614.2024.10732078⟩. ⟨hal-04742060⟩

Binqi Sun, Tomasz Kloda, Chu-Ge Wu, Marco Caccamo. Partitioned Scheduling and Parallelism Assignment for Real-Time DNN Inference Tasks on Multi-TPU. 61st ACM/IEEE Design Automation Conference (DAC), Jul 2024, San Francisco, United States. pp.1 - 6, ⟨10.1145/3649329.3655979⟩. ⟨hal-04803800⟩

G Loubet, Alassane Sidibé, Taki Eddine Djidjekh, Lamoussa Sanogo, Alexandre Rumeau, et al.. Réseau de capteurs Bluetooth Low Energy, sans fil et sans batterie, télé-alimentés par transfert de puissance électromagnétique rayonnée. XXIIIèmes Journées Nationales Microondes, Jun 2024, Antibes Juan-Les-Pins, France. pp.503-506. ⟨hal-04740194⟩

Other documents

Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa. Approche intégrée pour la modélisation et la simulation de systèmes à structure dynamique. Colloque National du GDR SoC2, Jun 2024, Toulouse, France. 2024. ⟨hal-04645069⟩

Florent Galtier, Paul L R Olivier, Guillaume Auriol, Vincent Nicomette, Romain Cayre. Experimentation platform for repeatable security analysis in IoT heterogeneous environments. 17th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec 2024), May 2024, Seoul, South Korea. 2024, ⟨10.1145/xxxxxxx.⟩. ⟨hal-04725617⟩

Proceedings

Mohamed Kaâniche, Philippe Cuenot, Kevin Delmas, Jean Marc Gabriel, Adrien Gauffriau, et al.. ERTS 2024 - 12th European Congress on Embedded Real Time Software and Systems. 12th European Congress on Embedded Real Time Software and Systems (ERTS 2024), pp.1--489, 2024. ⟨hal-04643654⟩

Preprints, Working Papers, ...

Raul Sena Ferreira, Joris Guérin, Kevin Delmas, Jérémie Guiochet, Hélène Waeselynck. Safety Monitoring of Machine Learning Perception Functions: a Survey. 2024. ⟨hal-04830599⟩

Gurvan Richardeau, Erwan Le Merrer, Camilla Penzo, Gilles Trédan. THE 20 QUESTIONS GAME TO DISTINGUISH LARGE LANGUAGE MODELS. 2024. ⟨hal-04699271⟩

2023

Journal articles

Erwan Le Merrer, Ronan Pons, Gilles Trédan. Algorithmic audits of algorithms, and the law. AI and Ethics, 2023, pp.1-21. ⟨10.1007/s43681-023-00343-z⟩. ⟨hal-03583919v2⟩

Nikolena Christofi, Claude Baron, Xavier Pucel, Marc Pantel, David Canu, et al.. How to early integrate operational diagnosis objectives in model‐driven engineering processes: A methodological proposal based on fault and behavior trees. Systems Engineering, 2023, 27 (3), pp.585--597. ⟨10.1002/sys.21740⟩. ⟨hal-04397558⟩

Xiaoyong Qiao, Xingyao Li, Xin Ling, Rui Xue, Claude Baron, et al.. Value-Added Trade, Trade Barriers, and International Technology Spillover—Evidence from China’s Manufacturing Industry. Advances in Management and Applied Economics, 2023, 13 (2), pp.111-137. ⟨10.47260/amae/1326⟩. ⟨hal-04014489⟩

Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, Sebastien Guilmeau, et al.. Toward an Operations-Dedicated Model for Space Systems. Journal of Aerospace Information Systems, 2023, 20 (4), pp.168-180. ⟨10.2514/1.I011093⟩. ⟨hal-04027880⟩

Jiyang Chen, Tomasz Kloda, Rohan Tabish, Ayoosh Bansal, Chien-Ying Chen, et al.. SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors. ACM Transactions on Cyber-Physical Systems, 2023, 7 (1), pp.1-25. ⟨10.1145/3565974⟩. ⟨hal-04235349⟩

Antonio Orgiu, Claude Baron, Marc Zolghadri, Jean Alinei. Obsolescence et perte des connaissances dans les organisations. Les Techniques de l'Ingenieur, 2023, g7022, ⟨10.51257/a-v1-g7022⟩. ⟨hal-04215242⟩

Tomasz Kloda, Giovani Gracioli, Rohan Tabish, Reza Mirosanlou, Renato Mancuso, et al.. Lazy Load Scheduling for Mixed-criticality Applications in Heterogeneous MPSoCs. ACM Transactions on Embedded Computing Systems (TECS), 2023, 22 (3), pp.1-26. ⟨10.1145/3587694⟩. ⟨hal-04803508⟩

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. Leveraging polyhedral reductions for solving Petri net reachability problems. International Journal on Software Tools for Technology Transfer, 2023, 25, pp.95-114. ⟨10.1007/s10009-022-00694-8⟩. ⟨hal-03973463⟩

Rui Xue, Jiaqi Zhang, Huizheng Liu, Keyu Li, Claude Baron. How does outward foreign direct investment influence manufacturing industry sustainable growth in China?. Applied Economics, 2023, 56 (23), pp.2752-2768. ⟨10.1080/00036846.2023.2200233⟩. ⟨hal-04259490⟩

Claude Baron, Vincent Louis. Framework and tooling proposals for Agile certification of safety-critical embedded software in avionic systems. Computers in Industry, 2023, 148, pp.103887. ⟨10.1016/j.compind.2023.103887⟩. ⟨hal-04043572⟩

Nicolas Amat, Pierre Bouvier, Hubert Garavel. A Toolchain to Compute Concurrent Places of Petri Nets. LNCS Transactions on Petri Nets and Other Models of Concurrency, 2023, Lecture Notes in Computer Science, 14150, pp.1-26. ⟨10.1007/978-3-662-68191-6_1⟩. ⟨hal-04392784⟩

Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet. A formal toolchain for offline and run-time verification of robotic systems. Robotics and Autonomous Systems, 2023, 159, pp.104301. ⟨10.1016/j.robot.2022.104301⟩. ⟨hal-03683044v2⟩

Lucas Matheus dos Santos, Giovani Gracioli, Tomasz Kloda, Marco Caccamo. Supporting single and multi-core resource access protocols on object-oriented RTOSes. Design Automation for Embedded Systems, 2023, 27 (1-2), pp.31-50. ⟨10.1007/s10617-023-09268-6⟩. ⟨hal-04803541⟩

Antonio Orgiu, Claude Baron, Marc Zolghadri, Jean Alinei. Obsolescence et perte des connaissances dans les organisations. Les Techniques de l'Ingenieur, 2023, pp.Réf : G7022 v1. ⟨10.51257/a-v1-g7022⟩. ⟨hal-04556289⟩

Claude Baron, Lorenzo Grenier, Vitalina Ostapenko, Rui Xue. Using the ARCADIA/Capella Systems Engineering Method and Tool to Design Manufacturing Systems—Case Study and Industrial Feedback. Systems, 2023, 11 (8), pp.429. ⟨10.3390/systems11080429⟩. ⟨hal-04528267⟩

Gaël Loubet, Eric Alata, Alexandru Takacs, Daniela Dragomirescu. A Survey on the Security Challenges of Low-Power Wireless Communication Protocols for Communicating Concrete in Civil Engineerings. Sensors, 2023, 23 (4), pp.1849. ⟨10.3390/s23041849⟩. ⟨hal-04154993⟩

Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, et al.. Synchronous t-resilient consensus in arbitrary graphs. Information and Computation, 2023, 292, pp.105035. ⟨10.1016/j.ic.2023.105035⟩. ⟨hal-04287975⟩

Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy. Tasks in modular proofs of concurrent algorithms. Information and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩. ⟨hal-04086420⟩

Erwan Le Merrer, Gilles Trédan, Ali Yesilkanat. Modeling Rabbit-Holes on YouTube. Social Network Analysis and Mining, 2023, 13 (1), pp.100. ⟨10.1007/s13278-023-01105-9⟩. ⟨hal-03620039v2⟩

Lamoussa Sanogo, Eric Alata, Alexandru Takacs, Daniela Dragomirescu. Intrusion Detection System for IoT: Analysis of PSD Robustness. Sensors, 2023, 23 (4), pp.2353. ⟨10.3390/s23042353⟩. ⟨hal-04154781⟩

Books

Erwan Le Merrer, Gilles Trédan. What is a black box algorithm?. 2023. ⟨hal-03940259⟩

Conference papers

Luca Vittorio Sartori, Hélène Waeselynck, Jérémie Guiochet. Pairwise Testing Revisited for Structured Data With Constraints. IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Apr 2023, Dublin, Ireland. ⟨10.1109/ICST57152.2023.00027⟩. ⟨hal-03938378v2⟩

Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, David Canu, et al.. Introducing Operational Diagnosis Models for Ground Station Architectures using Behaviour Trees. 17th International Conference on Space Operations (SpaceOps 2023), Mohammed Bin Rashid Space Centre (MBRSC), Mar 2023, Dubai, United Arab Emirates. pp.1--8. ⟨hal-04302310⟩

Raul Sena Ferreira, Joris Guerin, Jeremie Guiochet, Hélène Waeselynck. SENA: Similarity-based Error-checking of Neural Activations. 27th European Conference on Artificial Intelligence - ECAI 2023, Sep 2023, Krakow, Poland. ⟨hal-04212952⟩

Augustin Godinot, Erwan Le Merrer, Gilles Trédan, Camilla Penzo, François Taïani. Change-Relaxed Active Fairness Auditing. RJCIA 2023 - 21e Rencontres des Jeunes Chercheurs en Intelligence Artificiel, Association Française pour l'Intelligence Artificielle, Jul 2023, Strasbourg, France. pp.91-96. ⟨hal-04395914⟩

Joris Guérin, Kevin Delmas, Raul Ferreira, Jérémie Guiochet. Out-Of-Distribution Detection Is Not All You Need. The 37th AAAI conference on artificial intelligence (2023), Feb 2023, Washington DC, United States. pp.14829-14837, ⟨10.1609/aaai.v37i12.26732⟩. ⟨hal-03870531v2⟩

Binqi Sun, Debayan Roy, Tomasz Kloda, Andrea Bastoni, Rodolfo Pellizzoni, et al.. Co-Optimizing Cache Partitioning and Multi-Core Task Scheduling: Exploit Cache Sensitivity or Not?. IEEE Real-Time Systems Symposium (RTSS 2023), Dec 2023, Taipei, Taiwan. pp.224-236, ⟨10.1109/RTSS59052.2023.00028⟩. ⟨hal-04803790⟩

Binqi Sun, Tomasz Kloda, Jiyang Chen, Cen Lu, Marco Caccamo. Schedulability Analysis of Non-preemptive Sporadic Gang Tasks on Hardware Accelerators. IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS 2023), May 2023, San Antonio, United States. pp.147-160, ⟨10.1109/RTAS58335.2023.00019⟩. ⟨hal-04803556⟩

Florent Moriconi, Axel Ilmari Neergaard, Lucas Georget, Samuel Aubertin, Aurélien Francillon. Reflections on Trusting Docker: Invisible Malware in Continuous Integration Systems. 17th IEEE Workshop on Offensive Technologies (WOOT 2023), IEEE, May 2023, San Francisco (CA, USA), United States. ⟨10.1109/SPW59333.2023.00025⟩. ⟨hal-04087018⟩

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. Automated Polyhedral Abstraction Proving. 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Jun 2023, Lisbon, Portugal. pp.324-345, ⟨10.1007/978-3-031-33620-1_18⟩. ⟨hal-04115006⟩

Nicolas Amat, Silvano Dal Zilio. SMPT: A Testbed for Reachability Methods in Generalized Petri Nets. 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.445-453, ⟨10.1007/978-3-031-27481-7_25⟩. ⟨hal-04007410⟩

Jean Alinei, Guillaume Arthaud, Luiz Fernando Lavado Villa, Antonio Orgiu, Sahar Karaani, et al.. Improving the repairability of technical systems, a methodological proposal based on collaborative documentation -Example/case of an open source power converter. SGE - Symposium de Génie Electrique 2023, Jul 2023, Lille, France. ⟨hal-04490872⟩

Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, et al.. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (invited). 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Jul 2023, Vienne, Austria. pp.19:1--19:18, ⟨10.4230/LIPIcs.ECRTS.2023.19⟩. ⟨hal-04654624⟩

Alassane Sidibe, Gael Loubet, Alexandru Takacs, Lamoussa Sanogo, Daniela Dragomirescu. Battery-free Bluetooth Low Energy Wireless Sensor Powered by Radiative Wireless Power Transfer. NewCAS 2023, IEEE, Jun 2023, Edinburg,, United Kingdom. ⟨10.1109/NEWCAS57931.2023.10198088⟩. ⟨hal-04157047⟩

Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa. Benchmarking formalisms for dynamic structure system Modeling and Simulation. Modélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France. ⟨hal-04397152v2⟩

Maria Laura Brzezinski Meyer, Hélène Waeselynck, Fernand Cuesta. A Case Study on the "Jungle" Search for Industry-Relevant Regression Testing. 23rd IEEE International Conference on Software Quality, Reliability & Security (QRS 2023), Oct 2023, Chiang Mai, Thailand. ⟨10.1109/QRS60937.2023.00045⟩. ⟨hal-04294958⟩

Binqi Sun, Tomasz Kloda, Sergio Arribas Garcia, Giovani Gracioli, Marco Caccamo. Minimizing Cache Usage for Real-time Systems. 31st International Conference on Real-Time Networks and Systems, Jul 2023, Dortmund, Germany. pp.200 - 211, ⟨10.1145/3575757.3593651⟩. ⟨hal-04803571⟩

Sergio Arribas García, Giovani Gracioli, Denis Hoornaert, Tomasz Kloda, Marco Caccamo. Improving the Execution Time of Industrial Applications through Planned Cache Eviction Policy Selection. IEEE 32nd International Symposium on Industrial Electronics (ISIE 2023), Jun 2023, Helsinki, Finland. pp.1-6, ⟨10.1109/ISIE51358.2023.10228033⟩. ⟨hal-04803562⟩

Jean Alinei, Guillaume Arthaud, Luiz Fernando Lavado Villa, Antonio Orgiu, Claude Baron. Améliorer la réparabilité des systèmes techniques, une proposition méthodologique basée sur la documentation collaborative - Exemple/cas d’un convertisseur de puissance open source. Symposium de Génie Electrique, Jul 2023, Lille, France. ⟨hal-04798159⟩

Other documents

Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan. Polyhedral Reductions for Petri nets. Modélisation des Systèmes Réactifs (MSR'23), Nov 2023, Toulouse, France. , 2023. ⟨hal-04355257⟩

Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, et al.. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). 2023, ⟨10.4230/DARTS.9.1.4⟩. ⟨hal-04254710⟩

Claude Baron. Caractérisation et gestion de l’obsolescence. pp.réf. Internet 42713, 2023, rubrique Environnement. ⟨hal-04797142⟩

Claude Baron. C'est quoi une dashcam ? A quoi ça sert ?. 2023, pp.8. ⟨hal-04014494⟩

Mamadou Lamine Ndao, Claude Baron, Einar Knudsen, Kelson Joao. Towards a Systems Engineering Framework Adapted to the NewSpace Industry. ESA CubeSat Industry Day, Sep 2023, Leiden (Netherlands), Netherlands. 2023. ⟨hal-04573088⟩

Proceedings

Claude Baron. Building a sustainable & resilient world thanks to a collaborative eco-system with virtual playgrounds. 13th International Conference on Complex Systems Design & Management (CSD&M 2022), 2023. ⟨hal-04797140⟩

Preprints, Working Papers, ...

Philippe Leleux, Christina Schwarz, Martin Joachim Kühn, Carola Kruse, Ulrich Rüde. Complexity analysis and scalability of a matrix-free extrapolated geometric multigrid solver for curvilinear coordinates representations from fusion plasma applications. 2023. ⟨hal-04356523⟩

2022

Journal articles

Klaus-Tycho Foerster, Andrzej Kamisinski, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan. Improved Fast Rerouting Using Postprocessing. IEEE Transactions on Dependable and Secure Computing, 2022, 19 (1), pp.537-550. ⟨10.1109/TDSC.2020.2998019⟩. ⟨hal-03048830⟩

Sophia Salas Cordero, Marc Zolghadri, Rob Vingerhoeds, Claude Baron. Identification and Assessment of Obsolescence in the Early Stages of System Design. Journal of Integrated Design and Process Science, 2022, 24 (3-4), pp.15-33. ⟨10.3233/JID-210018⟩. ⟨hal-03837386⟩

Alexandre Albore, David Doose, Christophe Grand, Jérémie Guiochet, Charles Lesire, et al.. Skill-based design of dependable robotic architectures. Robotics and Autonomous Systems, 2022, 160, pp.104318. ⟨10.1016/j.robot.2022.104318⟩. ⟨hal-03927289⟩

Rui Xue, Huizheng Liu, Claude Baron, Xinyue Miao, Muhammad Afaq Haider Jafri. Insight of the Chinese enterprises’ investment performance along ‘one belt one road’. Journal of the Asia Pacific Economy, 2022, 34 (2), pp.1-24. ⟨10.1080/13547860.2022.2035094⟩. ⟨hal-04397551⟩

Antoine Boche, Clément Foucher, Luiz Fernando Lavado Villa. Understanding Microgrid Sustainability: A Systemic and Comprehensive Review. Energies, 2022, 15 (8), pp.2906. ⟨10.3390/en15082906⟩. ⟨hal-03642707⟩

Rémi Adelin, Cyrius Nugier, Éric Alata, Vincent Nicomette, Vincent Migliore, et al.. Facing Emerging Challenges in Connected Vehicles: A Formally Proven, Legislation Compliant, and Post-Quantum Ready Security Protocol. Journal of Computer Virology and Hacking Techniques, 2022, ⟨10.1007/s11416-022-00426-1⟩. ⟨hal-03756650⟩

Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio. A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking. Fundamenta Informaticae, 2022, 187 (2-4), pp.103-138. ⟨10.3233/FI-222134⟩. ⟨hal-03455697v2⟩

Rui Xue, Claude Baron, Rob A. Vingerhoeds, Philippe Esteban. Enhancing engineering project management through process alignment. Engineering Management Journal, 2022, 34 (2), pp.230-248. ⟨10.1080/10429247.2020.1865002⟩. ⟨hal-03147353⟩

Yuxiao Mao, Vincent Migliore, Vincent Nicomette. MATANA: A Reconfigurable Framework for Runtime Attack Detection Based on the Analysis of Microarchitectural Signals. Applied Sciences, 2022, 12 (3), pp.1452. ⟨10.3390/app12031452⟩. ⟨hal-03571995⟩

Claude Baron, Yann Argotti, Zolghadri Marc, Sid-Ali Addouche, Mariem Besbes, et al.. Obsolescence des systèmes informatiques et du logiciel. Les Techniques de l'Ingenieur, 2022, pp.Réf : H7002 v2. ⟨10.51257/a-v2-h7002⟩. ⟨hal-04397581⟩

Yandika Sirgabsou, Claude Baron, Laurent Pahun, Philippe Esteban. Model-driven engineering to ensure automotive embedded software safety. Methodological proposal and case study. Computers in Industry, 2022, 2022-02, 138, pp.103636. ⟨10.1016/j.compind.2022.103636⟩. ⟨hal-03590899⟩

Book sections

Igor Gadelha Pereira, Andouglas Gonçalves da Silva Junior, Dunfrey Pires Aragão, Emerson Vilar de Oliveira, Arthur Andrade Bezerra, et al.. Epidemiology Forecasting of COVID-19 Using AI—A Survey. Computational Intelligence for COVID-19 and Future Pandemics, Springer Singapore, pp.89-120, 2022, Disruptive Technologies and Digital Transformations for Society 5.0, 978-981-16-3782-7. ⟨10.1007/978-981-16-3783-4_5⟩. ⟨hal-04826834⟩

Mohamed Kaâniche, Karama Kanoun. System dependability assessment -Interplay between research and practice. System Dependability and Analytics. Approaching System Dependability from Data, System and Analytics Perspectives, Springer, pp.393-404, 2022, Springer Series in Reliability Engineering, 978-3-031-02062-9. ⟨10.1007/978-3-031-02063-6_23⟩. ⟨hal-03739141⟩

Sophia Salas Cordero, Rob Vingerhoeds, Claude Baron, Marc Zolghadri. Addressing Obsolescence from Day One in the Conceptual Phase of Complex Systems as a Design Constraint. Product Lifecycle Management Enabling Smart X, 640, Springer International Publishing, pp.40-54, 2022, IFIP Advances in Information and Communication Technology, ⟨10.1007/978-3-030-94399-8_4⟩. ⟨hal-04797154⟩

Conference papers

Nicolas Amat, Louis Chauvet. Kong: a Tool to Squash Concurrent Places. 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Jun 2022, Bergen, Norway. ⟨10.1007/978-3-031-06653-5_6⟩. ⟨hal-03614426⟩

Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, Sébastien Guilmeau, et al.. Towards an agile, model-based multidisciplinary process to improve operational diagnosis in complex systems. 11th European Congress on Embedded real time systems (ERTS 2022), https://www.erts2022.org/, Jun 2022, Toulouse, France. ⟨hal-03699979⟩

Yann Argotti, Claude Baron, Philippe Esteban. Polymorphism in Quality Modeling for Embedded Systems and Software: A Built-in Mechanism for Product Evolution and Variants. European Congress of Embedded Real Time Systems (ERTS), 3AF; SEE, Jun 2022, Toulouse, France. ⟨hal-04797200⟩

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. A qualitative counterpart of belief functions with application to uncertainty propagation in safety cases. 7th International Conference on Belief Functions (BELIEF 2022), Oct 2022, Paris, France. ⟨10.1007/978-3-031-17801-6_22⟩. ⟨hal-03709837⟩

Mohamed El Mostadi, Hélène Waeselynck, Jean-Marc Gabriel. Virtual Test Scenarios for ADAS: Distance to Real Scenarios Matters!. 33nd IEEE Intelligent Vehicles Symposium (IV 2022), Jun 2022, Aachen, Germany. ⟨10.1109/IV51971.2022.9827170⟩. ⟨hal-03770653⟩

Gabriela Medina, Jérémie Guiochet, Charles Lesire, Augustin Manecy. A skill fault model for autonomous systems. 4th International Workshop on Robotics Software Engineering (RoSE’22), Co-located with ICSE 2022, May 2022, Pittsburg (virtual), United States. ⟨10.1145/3526071.3527513⟩. ⟨hal-03609377v2⟩

Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre. Experimenting with Dynamic Cache Allocation to Improve Linux Real-Time Behaviour. 11th European Congress of Embedded Real Time Software and Systems, Jun 2022, Toulouse, France. ⟨hal-04044944⟩

Sophia Salas-Cordero, Rob Vingerhoeds, Claude Baron, Zolghadri Marc. Can Proactive Obsolescence Management and Innovation go hand in hand during the Conceptual Design Phase of Complex Systems?. 18th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2021, Curitiba, Brazil. pp.40-54, ⟨10.1007/978-3-030-94399-8_4⟩. ⟨hal-03344919⟩

Luca Vittorio Sartori, Jérémie Guiochet, Hélène Waeselynck, Aizar Antonio Berlanga Galvan, Simon Hébert-Vernhes, et al.. Integration of Test Generation Into Simulation-Based Platforms: An Experience Report. 3rd ACM/IEEE International Conference on Automation of Software Test, May 2022, Pittsburgh, United States. ⟨10.1145/3524481.3527236⟩. ⟨hal-03623613⟩

Eric Razafimahazo, Pierre De Saqui-Sannes, Rob A. Vingerhoeds, Julien Soula, Romain Mège, et al.. Towards a Customizable Architecture for Indoor Multi-Usages Drones. 33rd Congress of the International Council of the Aeronautical Sciences (ICAS), Sep 2022, Stockholm (Suède), Sweden. ⟨hal-04493777⟩

Frédéric Lerasle, Joris Guérin, Kimberley Gaume. Optimisation conjointe du contenu sémantique et du temps d'exécution pour une tâche robotisée de saisie d'objet. Reconnaissance des Formes, Images, Apprentissage et Perception (RFIAP), Jul 2022, Vannes (Bretagne), France. ⟨hal-04490461⟩

Yandika Sirgabsou, Claude Baron, Laurent Pahun, Philippe Esteban. Software fault propagation patterns for model-based safety assessment in autonomous cars. 11th European Congress on Embedded Real Time Systems (ERTS), Jun 2022, Toulouse, France. ⟨hal-03699226⟩

Nicolas Amat, Silvano Dal Zilio, Thomas Hujsa. Property Directed Reachability for Generalized Petri Nets. Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022, Apr 2022, Munich, Germany. ⟨10.1007/978-3-030-99524-9_28⟩. ⟨hal-03545594⟩

Aléxis Génèrès, Michaël Lauer. Experimental Platform for Testing Cache Allocation Policies to Improve Linux Real-Time Behaviour. Workshop CARS 2022 - Critical Automotive applications : Robustness & Safety, Sep 2022, Zaragoza, Spain. ⟨hal-03782727v2⟩

Esteban Perrotin, Matthieu Roy, Ariane Herbulot, Michel Devy, Fabrice Bousquet. Détection des lignes aéroportuaires par méthode hybride de filtrage particulaire et de réseaux de neurones. Congrès Reconnaissance des Formes, Image, Apprentissage et Perception (RFIAP 2022), Jul 2022, Vannes, France. ⟨hal-03788203⟩

Joris Guérin, Raul Sena Ferreira, Kevin Delmas, Jérémie Guiochet. Unifying Evaluation of Machine Learning Safety Monitors. 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022), Oct 2022, Charlotte, United States. ⟨10.1109/ISSRE55969.2022.00047⟩. ⟨hal-03765273⟩

Romain Cayre, Clement Chaine, Guillaume Auriol, Vincent Nicomette, Geraldine Marconato. OASIS: un framework pour la détection d'intrusion embarquée dans les contrôleurs Bluetooth Low Energy. Symposium sur la sécurité des technologies de l'information et des communications (SSTIC 2022), Jun 2022, Rennes, France. ⟨hal-03898224⟩

Santiago Pantano-Calderón, Claude Baron, Jean-Charles Chaudemar, Elise Vareilles, Rob A. Vingerhoeds. Regarding the COVID-19 crisis from a systems engineering perspective. 19th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2022), ISCRAM, May 2022, Tarbes, France. pp.0. ⟨hal-04096456⟩

Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck. SiMOOD: Evolutionary Testing Simulation with Out-Of-Distribution Images. 27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2022), Nov 2022, Beijing, China. ⟨10.1109/PRDC55274.2022.00021⟩. ⟨hal-03779723⟩

Carlos Aguilar-Melchor, Jean-Christophe Deneuville, Arnaud Dion, James Howe, Romain Malmain, et al.. Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC. International Workshop on Code-Based Cryptography, CBCrypto 2022, May 2022, Trondheim, Norway. pp.0. ⟨hal-04116827⟩

Antoine Boche, Clément Foucher, Luiz Fernando Lavado Villa. A Systemic and Multi-disciplinary Diagnosis Model for Microgrids Sustainability Studies. International Conference on Innovations in Energy Engineering & Cleaner Production (IEE CP 2022), IEECP, Jul 2022, Oxford, United Kingdom. ⟨hal-03778769⟩

K. Boissie, S.-A. Addouche, C. Baron, Zolghadri Marc. Obsolescence management practices overview in Automotive Industry. 11th IFAC Symposium on Intelligent Autonomous Vehicles, IAV 2022, Jun 2022, Prague, Czech Republic. pp.52-58, ⟨10.1016/j.ifacol.2022.07.582⟩. ⟨hal-03994417⟩

Joris Guerin, Kevin Delmas, Jérémie Guiochet. Evaluation of Runtime Monitoring for UAV Emergency Landing. International Conference on Robotics and Automation (ICRA), May 2022, Philadelphia, United States. ⟨hal-03600856⟩

Nikolena Christofi, Xavier Pucel. A Novel Methodology to Construct Digital Twin Models for Spacecraft Operations Using Fault and Behaviour Trees. 2nd International Workshop on Model-Driven Engineering of Digital Twins (ModDiT 2022), Oct 2022, Montréal, Canada. ⟨10.1145/3550356.3561550⟩. ⟨hal-03834006⟩

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases. 41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022), Sep 2022, Munich, Germany. pp.1-14, ⟨10.1007/978-3-031-14835-4_8⟩. ⟨hal-03704505⟩

Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Tredan. On the Price of Locality in Static Fast Rerouting. 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun 2022, Baltimore, United States. pp.215-226, ⟨10.1109/dsn53405.2022.00032⟩. ⟨hal-03859648⟩

Esteban Perrotin, Matthieu Roy, Ariane Herbulot, Michel Devy, Fabrice Bousquet. Towards the certification of vision based systems: modular architecture for airport line detection. 11th European Congress on Embedded Real-Time Systems, Jun 2022, Toulouse, France. ⟨hal-03717993⟩

Proceedings

Philippe Cuenot, Marie de Roquemaurel, Kevin Delmas, Jean-Marc Gabriel, Adrien Gauffriau, et al.. ERTS 2022 proceedings. 2022. ⟨hal-03704287⟩

Reports

Yassir Idmessaoud, Jérémie Guiochet, Didier Dubois. Questionnaire for estimating uncertainties in assurance cases. 2022. ⟨hal-03649068⟩

Erwan Le Merrer, Gilles Trédan, Ali Yesilkanat. YouTube Recommendations Do Predict Polls: A note on the 2022 French presidential election. [Research Report] Rapport LAAS n° 22136, Inria. 2022. ⟨hal-03655608⟩

Preprints, Working Papers, ...

Erwan Le Merrer, Gilles Trédan. Qu’est ce qu’un algorithme en boîte noire ? Tractatus des décisions algorithmiques. 2022. ⟨hal-03851597⟩

2021

Journal articles

Imen Trabelsi, Marc Zolghadri, Besma Zeddini, Maher Barkallah, Mohamed Haddar. Prediction of obsolescence degree as a function of time: A mathematical formulation. Computers in Industry, 2021, 129, pp.103470. ⟨10.1016/j.compind.2021.103470⟩. ⟨hal-03209905⟩

Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal Zilio, Reyyan Tekin. Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems. Journal of Systems and Software, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩. ⟨hal-03017661v4⟩

Amel Souifi, Zohra Cherfi-Boulanger, Zolghadri Marc, Maher Barkallah, Mohamed Haddar. From Big Data to Smart Data: Application to performance management. IFAC-PapersOnLine, 2021, 54 (1), pp.857-862. ⟨10.1016/j.ifacol.2021.08.100⟩. ⟨hal-03837160⟩

Pierre-François Gimenez, Jonathan Roux, Eric Alata, Guillaume Auriol, Mohamed Kaâniche, et al.. RIDS: Radio intrusion detection and diagnosis system for wireless communications in smart environment. ACM Transactions on Cyber-Physical Systems, 2021, 5 (3), pp.Article No.: 24. ⟨10.1145/3441458⟩. ⟨hal-03123925⟩

Zolghadri Marc, Sid-Ali Addouche, Claude Baron, Amel Soltan, Kevin Boissie. Obsolescence, rarefaction and their propagation. Research in Engineering Design, 2021, 32, pp.451-468. ⟨10.1007/s00163-021-00372-x⟩. ⟨hal-03344113⟩

Omer Salih Dawood Omer, Abd-El-Kader Sahraoui, Mukhtar Mahmoud, Abd-El-Aziz Babiker. Requirements and Design Consistency: A Bi-directional Traceability and Natural Language Processing Assisted Approach. European Journal of Engineering and Technology Research, 2021, 6 (3), pp.55-64. ⟨10.24018/ejers.2021.6.3.2373⟩. ⟨hal-03235764⟩

Claude Baron, Vincent Louis. Towards a continuous certification of safety-critical avionics software. Computers in Industry, 2021, 125, pp.103382. ⟨10.1016/j.compind.2020.103382⟩. ⟨hal-03093923⟩

Abd-El-Kader Sahraoui, Nafisa Osman. Modeling and Verification of ERP Functional Requirements based on Colored Petri Net. International Journal of Software Engineering & Applications, 2021, 12 (3), pp.27-43. ⟨10.5121/ijsea.2021.12303⟩. ⟨hal-03261076⟩

Amel Soltane, Sid-Ali Addouche, Zolghadri Marc, Maher Barkallah, Mohamed Haddar. A methodology to determine the resilience of a system to obsolescence during the design phase. Research in Engineering Design, 2021, 32 (4), pp.523-543. ⟨10.1007/s00163-021-00373-w⟩. ⟨hal-03837101⟩

Claude Baron, Zolghadri Marc, Sid-Ali Addouche, Yann Argotti, Kevin Boissie. Obsolescence : un phénomène de société ? - Sources et risques industriels, économiques et sociétaux, remédiations possibles. Les Techniques de l'Ingenieur, 2021, pp.Réf : H7000 v2. ⟨10.51257/a-v2-h7000⟩. ⟨hal-04397567⟩

Claude Baron, Zolghadri Marc, Sid-Ali Addouche, Kevin Boissie, Yann Argotti. L’obsolescence : un phénomène de société ?. Les Techniques de l'Ingenieur, 2021. ⟨hal-03344122⟩

Raymond Devillers, Evgeny Erofeev, Thomas Hujsa. Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond. LNCS Transactions on Petri Nets and Other Models of Concurrency, 2021, Lecture Notes in Computer Science, 12530, pp.75-100. ⟨10.1007/978-3-662-63079-2_4⟩. ⟨hal-02348494⟩

Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan. On the Implications of Routing Models on Network Optimization. IEEE Transactions on Network and Service Management, 2021, 18 (4), pp.4756 - 4769. ⟨10.1109/TNSM.2021.3090312⟩. ⟨hal-03278920⟩

Erwan Le Merrer, Gilles Trédan. Le problème du videur : la crédibilité des explications de l’IA en question. Interstices, 2021. ⟨hal-03310970⟩

Ning Ge, Silvano Dal Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang. RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus. Science of Computer Programming, 2021, 206, pp.102624. ⟨10.1016/j.scico.2021.102624⟩. ⟨hal-03187896⟩

Conference papers

Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio. On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets. 42rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2021), Jun 2021, Paris (virtual), France. ⟨10.1007/978-3-030-76983-3_9⟩. ⟨hal-03202111⟩

Mariem Besbes, Zolghadri Marc, Roberta Costa Affonso. A method to solve 2D Facility Layout Problem with equipment inputs/outputs constraints using meta-heuristics algorithms. CIRP CMS, Sep 2021, Grece, France. pp.1698-1703, ⟨https://doi.org/10.1016/j.procir.2021.11.286⟩. ⟨hal-03799021⟩

Cyrius Nugier, Diane Leblanc-Albarel, Agathe Blaise, Simon Masson, Paul Huynh, et al.. An Upcycling Tokenization Method for Credit Card Numbers. SECRYPT 2021 - 18th International Conference on Security and Cryptography, Jul 2021, Online, France. ⟨hal-03220739⟩

Amel Souifi, Zohra Cherfi, Zolghadri Marc, Maher Barkallah, Mohamed Haddar. Le jumeau numérique dans le pilotage de performance. 17ème colloque national S-mart AIP-PRIMECA, Université Polytechnique Hauts-de-France [UPHF], Mar 2021, LAVAL VIRTUAL WORLD, France. ⟨hal-03296127⟩

Maria Laura Brzezinski Meyer. TSAI - Test Selection using Artificial Intelligence for the Support of Continuous Integration. 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2021, Wuhan, China. pp.306-309, ⟨10.1109/ISSREW53611.2021.00092⟩. ⟨hal-03583925⟩

Igor Garcia Ballhausen Sampaio, Luigy Machaca, Jose Viterbo, Joris Guérin. A Novel Method for Object Detection using Deep Learning and CAD Models.. 23rd International Conference on Enterprise Information Systems (ICEIS2021), Apr 2021, Online, Portugal. ⟨hal-03213496⟩

Clément Robert, Jérémie Guiochet, Hélène Waeselynck, Luca Vittorio Sartori. TAF: a tool for diverse and constrained test case generation. 21st IEEE International Conference on Software Quality, Reliability and Security (QRS), Dec 2021, Hanan Island, China. ⟨10.1109/QRS54544.2021.00042⟩. ⟨hal-03435959⟩

Erwan Le Merrer, Benoît Morgan, Gilles Trédan. Setting the Record Straighter on Shadow Banning. INFOCOM 2021 - IEEE International Conference on Computer Communications, IEEE, May 2021, Virtual, Canada. pp.1-10, ⟨10.1109/INFOCOM42981.2021.9488792⟩. ⟨hal-03234771⟩

Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck. Benchmarking Safety Monitors for Image Classifiers with Machine Learning. 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), IEEE, Dec 2021, Perth, Australia. ⟨10.1109/PRDC53464.2021.00012⟩. ⟨hal-03362684⟩

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. Accelerating the Computation of Dead and Concurrent Places using Reductions. 27th International SPIN Symposium on Model Checking of Software, Jul 2021, Aarhus, Denmark. ⟨10.1007/978-3-030-84629-9_3⟩. ⟨hal-03268388⟩

Eric Razafimahazo, Pierre De Saqui-Sannes, Rob A. Vingerhoeds, Claude Baron, Julien Soula, et al.. Mastering Complexity for Indoor Inspection Drone Development. 7th IEEE International Symposium on Systems Engineering, Sep 2021, Virtual, Austria. ⟨hal-03357754v2⟩

Romain Cayre, Florent Galtier. Attaques inter-protocolaires par détournement du contrôleur Bluetooth d'un téléphone mobile. GT Sécurité des Systèmes, Logiciels et Réseaux, May 2021, En ligne, France. ⟨hal-03221148⟩

Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, et al.. InjectaBLE : injection de trafic malveillant dans une connexion Bluetooth Low Energy. Symposium sur la sécurité des technologies de l'information et des communications (SSTIC 2021), Jun 2021, Rennes (en ligne), France. ⟨hal-03221143⟩

Yandika Sirgabsou, Claude Baron, Lorenzo Grenier, Laurent Pahun, Philippe Esteban. L’ingénierie dirigée par les modèles pour assurer la sécurité des logiciels embarqués en automobile. 14ème Conférence Internationale Génie Industriel CIGI-QUALITA, May 2021, Grenoble, France. ⟨hal-03232108⟩

Esteban Perrotin, Claire Meymandi-Nejad, Ariane Herbulot, Michel Devy, Fabrice Bousquet. Détection des lignes aéroportuaires par méthode de filtrage particulaire: Évaluation de fonctions d'observations. ORASIS 2021, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France. ⟨hal-03339641⟩

Romain Cayre, Géraldine Marconato, Florent Galtier, Mohamed Kaâniche, Vincent Nicomette, et al.. Cross-protocol attacks: weaponizing a smartphone by diverting its Bluetooth controller. 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2021, Abu Dhabi, United Arab Emirates. ⟨10.1145/3448300.3468258⟩. ⟨hal-03355664⟩

Daniel Loche, Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre. Run-time Monitoring and Control for Temporal Fault Prevention in Mixed-criticality Systems. European Dependable Computing Conference (EDCC 2021), Intel; Fraunhofer IKS; LAAS, Sep 2021, Munich (virtual), Germany. pp.53-60, ⟨10.1109/EDCC53658.2021.00015⟩. ⟨hal-03275605⟩

Claire Meymandi-Nejad, Esteban Perrotin, Ariane Herbulot, Michel Devy. Colorimetric Space Study: Application for Line Detection on Airport Areas. 7th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2021), Apr 2021, En ligne, France. pp.546-553, ⟨10.5220/0010456605460553⟩. ⟨hal-03650600⟩

Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Didier Crestani. A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect Missions. ICRA 2021 - 38th IEEE International Conference on Robotics and Automation, May 2021, Xi’an, China. pp.2127-2133, ⟨10.1109/ICRA48506.2021.9561735⟩. ⟨lirmm-03228297⟩

Klaus-Tycho Foerster, Andrzej Kamisinski, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan. Grafting Arborescences for Extra Resilience of Fast Rerouting Schemes. Infocom 2021, May 2021, Virtual, France. ⟨hal-03048997⟩

Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan. On the Feasibility of Perfect Resilience with Local Fast Failover. 2nd Symposium on Algorithmic Principles of Computer Systems (APOCS 2021), Jan 2021, Alexandria (Virtual), United States. ⟨hal-03049009⟩

Chadi Azoury, Arz Wehbe, Claude Baron, Rob Vingerhoeds. Managing and controlling COVID-19 in Lebanon using IoT and Artificial Intelligence. Virtual Conference on Fintech, Business Ecosystem & Economic Development, Jun 2021, virtual, France. ⟨hal-03344419⟩

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Quantifying confidence of safety cases with belief functions. 6th International Conference on Belief Functions (BELIEF 2021), Oct 2021, Shanghai, China. ⟨10.1007/978-3-030-88601-1_27⟩. ⟨hal-03366274⟩

Guillaume Brau, Mohammed Foughali. Contract-Based Verification of Model Transformations: A Formally Founded Approach. 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021), Mar 2021, Gwangju (virtual), South Korea. ⟨hal-03059942⟩

Ahmed Aboukora, Guillaume Bonnet, Florent Galtier, Romain Cayre, Vincent Nicomette, et al.. A defensive man-in-middle approach to filter BLE packets. 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2021, Abou Dhabi (virtual), United Arab Emirates. ⟨10.1145/3448300.3468259⟩. ⟨hal-03560107⟩

Joris Guérin, Kevin Delmas, Jérémie Guiochet. Certifying Emergency Landing for Safe Urban UAV. 7th International Workshop on Safety and Security of Intelligent Vehicles (SSIV 2021) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN-W52860.2021.00020⟩. ⟨hal-03213534⟩

Mohamed El Mostadi, Hélène Waeselynck, Jean Marc Gabriel. Seven Technical Issues That May Ruin Your Virtual Tests for ADAS. 32nd IEEE Intelligent Vehicles Symposium, Jul 2021, Nagoya, Japan. ⟨10.1109/IV48863.2021.9575953⟩. ⟨hal-03377931v2⟩

Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, et al.. InjectaBLE: Injecting malicious traffic into established Bluetooth Low Energy connections. IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN48987.2021.00050⟩. ⟨hal-03193297v2⟩

Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, et al.. WazaBee: attacking Zigbee networks by diverting Bluetooth Low Energy chips. IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN48987.2021.00049⟩. ⟨hal-03193299⟩

Mariem Besbes, Yassine Idel Mahjoub, Thérèse Bonte, Thierry Berger, Yves Sallez, et al.. Solving Facility Layout Problem with safety consideration of Reconfigurable Manufacturing and Assembly Systems. CIRP CMS, Sep 2021, Grece, France. pp.1942-1947, ⟨10.1016/j.procir.2021.11.328⟩. ⟨hal-03528808⟩

@softwareversion

Silvano Dal Zilio, Evan Cordell. RuDD. 2021, ⟨swh:1:dir:1bdba2e6856baf1327d9e4649aeade15983698ea;origin=https://github.com/dalzilio/rudd;visit=swh:1:snp:3b82c6b6f01b2a45604dd34d6b7bdb9062ed66ce;anchor=swh:1:rev:793901a0ab6540e401b9af68e3bf63f6688a21a9⟩. ⟨hal-04792651⟩

Reports

Yassir Idmessaoud, Jérémie Guiochet, Didier Dubois. Calculation of aggregation formulas for GSN argument types using belief functions. 2021. ⟨hal-03210201⟩

2020

Journal articles

Hélène Fargier, Pierre-François Gimenez, Jérôme Mengin. Experimental Evaluation of Three Value Recommendation Methods in Interactive Configuration. Journal of Universal Computer Science, 2020, 26 (3), pp.318-342. ⟨hal-02940706v3⟩

Bertrand Jayles, Ramon Escobedo, Roberto Pasqua, Christophe Zanon, Adrien Blanchet, et al.. Collective Information Processing in Human Phase Separation. Philosophical Transactions of the Royal Society B: Biological Sciences, 2020, 375 (1807), ⟨10.1098/rstb.2019.0801⟩. ⟨hal-02393253v2⟩

Rui Xue, Claude Baron, Philippe Esteban, Jian-Bo Yang, Li Zheng. Toward an Improved Monitoring of Engineering Projects. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2020, 50 (10), pp.3541 - 3553. ⟨10.1109/TSMC.2018.2884196⟩. ⟨hal-02267726⟩

Christophe Bertero, Jean-François Léon, Gilles Trédan, Matthieu Roy, Alexandre Armengaud. Urban-Scale NO2 Prediction with Sensors Aboard Bicycles: A Comparison of Statistical Methods Using Synthetic Observations. Atmosphere, 2020, 11 (9), pp.1014. ⟨10.3390/atmos11091014⟩. ⟨hal-02998998⟩

Mariem Besbes, Marc Zolghadri, Roberta Costa Affonso, Faouzi Masmoudi, Mohamed Haddar. A methodology for solving facility layout problem considering barriers: genetic algorithm coupled with A* search. Journal of Intelligent Manufacturing, 2020, 31 (3), pp.615-640. ⟨10.1007/s10845-019-01468-x⟩. ⟨hal-03217955⟩

Clément C. Robert, Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Simon Vernhes. The virtual lands of Oz: testing an agribot in simulation. Empirical Software Engineering, 2020, 25 (3), pp.2025-2054. ⟨10.1007/s10664-020-09800-3⟩. ⟨hal-02436216⟩

Fang Zhao, Zhang Qiang, Xiaoan Tang, Anning Wang, Claude Baron. An implicit opinion analysis model based on feature-based implicit opinion patterns. Artificial Intelligence Review, 2020, 53, pp.4547-4574. ⟨10.1007/s10462-019-09801-9⟩. ⟨hal-03001147⟩

Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio. Counting Petri net markings from reduction equations. International Journal on Software Tools for Technology Transfer, 2020, 22, pp.163-181. ⟨10.1007/s10009-019-00519-1⟩. ⟨hal-02125337⟩

Erwan Le Merrer, Gilles Trédan. Remote explainability faces the bouncer problem. Nature Machine Intelligence, 2020, 2 (9), pp.529-539. ⟨10.1038/s42256-020-0216-z⟩. ⟨hal-03048809⟩

Mohammed Foughali, Pierre-Emmanuel Hladik. Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics. Journal of Systems Architecture, 2020, 111, pp.101817. ⟨10.1016/j.sysarc.2020.101817⟩. ⟨hal-02864928v3⟩

Claude Baron, Brigitte Daniel-Allegro. About adopting a systemic approach to design connected embedded systems: A MOOC promoting systems thinking and systems engineering. Systems Engineering, 2020, 23 (3), pp.261-280. ⟨10.1002/sys.21513⟩. ⟨hal-02308315⟩

Conference papers

Yandika Sirgabsou, Claude Baron, Cyril Bonnard, Laurent Pahun, Lorenzo Grenier, et al.. Investigating the use of a model-based approach to assess automotive embedded software safety. 13th International Conference on Modeling, Optimization and Simulation (MOSIM20), Nov 2020, AGADIR, Morocco. ⟨hal-02942695⟩

Raul Sena Ferreira. Towards safety monitoring of ML-based perception tasks of autonomous systems. 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2020, Coimbra, Portugal. pp.135-138, ⟨10.1109/ISSREW51248.2020.00052⟩. ⟨hal-03252641⟩

Yannick Fourastier, Claude Baron, Philippe Esteban, Hakima Chaouchi, Carsten Thomas, et al.. Industrial field autonomous systems: AI-assisted distributed applications at Edge. International Conference on Advances in Signal Processing and Artificial Intelligence, Nov 2020, berlin, Germany. ⟨hal-03001180⟩

Bilel Cherif, Pascal Berthou, Nicolas Riviere, Yann Labit. Testbed for Multi-access Edge Computing V2X applications prototyping and evaluation ("Regular paper"). ERTS, Jan 2020, Toulouse (France), France. ⟨hal-04866548⟩

Zolghadri Marc, Rob Vingerhoeds, Claude Baron, Sophia Salas-Cordero. Analysing the impact of system obsolescence based on system architecture models. International Symposium on Tools and Methods of Competitive Engineering (TMCE), May 2020, dublin, Germany. ⟨hal-03001308⟩

Clément Foucher. Interpreting the PDEVS formalism and algorithms to enhance the state handling mechanism. European Simulation and Modelling Conference 2020, Oct 2020, Toulouse, France. ⟨hal-03099174⟩

Anthony Favier, Antonin Messioux, Jérémie Guiochet, Jean-Charles Fabre, Charles Lesire. A hierarchical fault tolerant architecture for an autonomous robot. 6th Intern. Workshop on ​Safety and Security of Intelligent Vehicles (SSIV) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2020, Valence, Spain. ⟨10.1109/DSN-W50199.2020.00031⟩. ⟨hal-02558604⟩

Malcolm Bourdon, Pierre-François Gimenez, Eric Alata, Mohamed Kaâniche, Vincent Migliore, et al.. Hardware-Performance-Counters-based anomaly detection in massively deployed smart industrial devices. 19th IEEE International Symposium on Network Computing and Applications (NCA 2020), Nov 2020, Cambridge, MA, United States. ⟨10.1109/NCA51143.2020.9306726⟩. ⟨hal-03328251⟩

Aliénor Damien, Pierre-François Gimenez, Nathalie Feyt, Vincent Nicomette, Mohamed Kaâniche, et al.. On-board Diagnosis: A First Step from Detection to Prevention of Intrusions on Avionics Applications. 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE), Oct 2020, Coimbra, Portugal. pp.358-368, ⟨10.1109/ISSRE5003.2020.00041⟩. ⟨hal-03094215⟩

Silvano Dal Zilio. MCC: a Tool for Unfolding Colored Petri Nets in PNML Format. 41st International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2020, Paris, France. pp.426-435, ⟨10.1007/978-3-030-51831-8_23⟩. ⟨hal-02511881⟩

Yannick Fourastier, Claude Baron. Contextualisation of the concept of Digital Twin in digital transformation. Digital Twins Conference, Mar 2020, Grenoble, France. ⟨hal-03001165⟩

Yann Argotti, Claude Baron, Philippe Esteban, Denis Chaton. Quality Quantification Applied to Automotive Embedded Systems and Software Advances with qualimetry science. Embedded Real Time Systems (ERTS) 2020, Jan 2020, Toulouse, France. ⟨hal-02382316⟩

Nikolena Christofi, Claude Baron, X Pucel, Marc Pantel, M Machin, et al.. Adopting a model-based approach for satellite operations' diagnosis. 13ème Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM 2020), Nov 2020, Agadir, Morocco. ⟨hal-02946817⟩

Sophia Karolina Salas Cordero, Rob A. Vingerhoeds, Marc Zolghadri, Claude Baron. Addressing Obsolescence from day one in the conceptual phase of complex systems as a design constraint. IFIP 17th International Conference on Product Lifecycle Management, Jul 2020, Rapperswil-Jona, Switzerland. pp.369-383, ⟨10.1007/978-3-030-62807-9_30⟩. ⟨hal-03103055v2⟩

Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias. A New Product Construction for the Diagnosability of Patterns in Time Petri Net. 59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨10.1109/CDC42340.2020.9303826⟩. ⟨hal-02989834⟩

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Belief functions for safety arguments confidence estimation : A comparative study. 14th International Conference on Scalable Uncertainty Management (SUM 2020), Research Centre on Knowledge and Data (KRDB); Free University of Bozen-Bolzano, Sep 2020, Bolzano, Italy. pp.1-15, ⟨10.1007/978-3-030-58449-8_10⟩. ⟨hal-02900485⟩

Clément Foucher. L’état interne des composants, grand oublié des formalismes DEVS à structure dynamique ?. Journées Francophones de la Modélisation et de la Simulation 2020, Nov 2020, Cargèse, France. ⟨hal-03099176⟩

Florent Galtier, Romain Cayre, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette. A PSD-based fingerprinting approach to detect IoT device spoofing. 25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020), Dec 2020, Perth, Australia. ⟨10.1109/PRDC50213.2020.00015⟩. ⟨hal-02962655⟩

Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan. Brief Announcement: What Can(Not) Be Perfectly Rerouted Locally. 34th International Symposium on Distributed Computing (DISC 2020), Oct 2020, Virtual, France. ⟨10.4230/LIPIcs.DISC.2020.46⟩. ⟨hal-03049117⟩

Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Geraldine Marconato. WazaBee : attaque de réseaux Zigbee par détournement de puces Bluetooth Low Energy. Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC 2020), Jun 2020, Rennes, France. ⟨hal-02778262⟩

Yann Argotti, Claude Baron, Philippe Esteban, Denis Chaton. Quality Quantification Applied to Automotive Embedded Systems and Software Advances with Qualimetry Science - Presentation Material -. Embedded Real Time Systems Conference (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02510212⟩

Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan. Implications of Routing Coherence and Consistency on Network Optimization. IFIP Networking, Jun 2020, Paris, France. ⟨hal-03049022⟩

Yuxiao Mao, Vincent Migliore, Vincent Nicomette. Reconfigurable Hardware for Microarchitectural Timing Attacks Detection. Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2020), Dec 2020, online, France. ⟨hal-03138649⟩

Malcolm Bourdon, Eric Alata, Mohamed Kaâniche, Vincent Migliore, Vincent Nicomette, et al.. Anomaly detection using hardware performance counters on a large scale deployment. 10th European Congress Embedded Real Time Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-03328254⟩

Jean Ibarz, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre, Olivier Flébus. Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling Concepts. RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, virtual conference, France. pp.161-171, ⟨10.1145/3394810.3394818⟩. ⟨hal-03167058⟩

Yannick Fourastier, Claude Baron, Carsten Thomas, Philippe Esteban. Assurance levels for decision making in autonomous intelligent systems and their safety. IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT 2020), May 2020, KYIV, Ukraine. ⟨10.1109/DESSERT50317.2020.9125079⟩. ⟨hal-03001171⟩

Clément Robert, Jérémie Guiochet, Hélène Waeselynck. Testing a non-deterministic robot in simulation - How many repeated runs ?. The fourth IEEE International Conference on Robotic Computing (IRC 2020), Mar 2020, Taichung, Taiwan. 8p., ⟨10.1109/IRC.2020.00048⟩. ⟨hal-02444350⟩

Mariem Besbes, Zolghadri Marc, Roberta Costa Affonso. Comparison of evolution algorithms coupled with a* search for solving facility layout problem. Thirteenth International Tools and Methods of Competitive Engineering Symposium (TMCE 2020), Jun 2020, Delft (online), Netherlands. ⟨hal-03217982⟩

Éric Lubat, Silvano Dal Zilio. A Short Overview on Diagnosability of Patterns in Timed Petri Net. 14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020), Jun 2020, (on line), France. ⟨hal-02899522⟩

Vincent Mussot, Silvano Dal Zilio, Loic Correnson, Serge Rainjonneau, Yves Bardout, et al.. Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02462058⟩

Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Clément Robert, Thomas Claverie, et al.. Testing an Underwater Robot Executing Transect Missions in Mayotte. TAROS 2020 - 21st Annual Conference Towards Autonomous Robotic Systems, Sep 2020, Virtual, United Kingdom. pp.116-127, ⟨10.1007/978-3-030-63486-5_14⟩. ⟨lirmm-02895512⟩

Daniel Loche, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre. Safe Scheduling on Multicores: an approach leveraging multi-criticality and end-to-end deadlines. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, TOULOUSE, France. ⟨hal-02465340⟩

Yuxiao Mao, Vincent Migliore, Vincent Nicomette. REHAD: Using Low-Frequency Reconfigurable Hardware for Cache Side-Channel Attacks Detection. 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Sep 2020, Genova, Italy. ⟨10.1109/EuroS&PW51379.2020.00100⟩. ⟨hal-02949624⟩

Erwan Le Merrer, Benoît Morgan, Gilles Trédan. Bug ou ban ? Une Perspective Topologique sur le Shadow Banning. ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.1-4. ⟨hal-02875595⟩

Estèle Glize, Marie-José Huguet, Marc Lucas, Marion Sutton, Gilles Trédan. Clustering Sargassum Mats from Earth Observation Data. Machine Learning for Earth Observation - MACLEAN 2020, Sep 2020, Ghent, Belgium. ⟨hal-02938183⟩

Rémi Adelin, Eric Alata, Vincent Migliore, Vincent Nicomette. A user privacy-centric access control policy of data for intelligent transportation systems. Embedded Real Time Systems (ERTS), Jan 2020, Toulouse, France. ⟨hal-03139783⟩

Other documents

Rémi Adelin, Eric Alata, Vincent Migliore, Vincent Nicomette. A user privacy-centric access control policy of data for intelligent transportation systems. Embedded Real Time Systems (ERTS), Jan 2020, Toulouse, France. 2020. ⟨hal-03756930⟩

Reports

Yann Argotti. Activity Report: PhD 2nd Year. LAAS - CNRS; Renault Software Las. 2020. ⟨hal-02491526⟩

Preprints, Working Papers, ...

Thomas Hujsa, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan. Checking marking reachability with the state equation in Petri net subclasses. 2020. ⟨hal-02992521⟩

Thomas Hujsa, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan. On the Petri Nets with a Single Shared Place and Beyond. 2020. ⟨hal-02992541⟩