Publié le 22/02/2023
Evénement
27 janvier 2023
Ludovic Leclercq (Université Gustave Eiffel) a animé un Seminar@SystemX sur le thème "Trip-based MFD models: applications to urban traffic and mobility services management", le 27 janvier 2023 de 14h00 à 15h00. Résumé : This presentation focuses on modelling urban traffic dynamics with Network Macroscopic Fundamental Diagrams (MFD). Recent developments in MFD simulation propose two general…
Evénement
13 septembre 2023
Achim Brucker (University of Exeter, UK) a animé un Seminar@SystemX sur le thème "Verification of Stateful Security Protocols in Isabelle/HOL", le 13 septembre 2023. Résumé : Communication networks like the Internet form a large distributed system where a huge number of components run in parallel, such as security protocols and distributed web applications. For what…
Evénement
07 mai 2025
Fei Tao (Professor at the School of Automation Science and Electrical Engineering, Dean of International Institute for Interdisciplinary and Frontiers - Beihang University (China)) a animéun Seminar@SystemX sur le thème "makeTwin: From Five-dimensional Digital Twin Model to Industry Software Platform and Applications", le 7 mai 2025. Ce séminaire a été organisé dans le cadre du…