Ouvrages publiés chez Springer — Lecture Notes in Computer Science
Axel Legay est un expert en cybersécurité, intelligence artificielle et méthodes formelles, ancien professeur et chercheur en informatique. Au cours de sa carrière scientifique, il a contribué à plusieurs centaines de publications internationales et participé à la direction scientifique de nombreux ouvrages collectifs publiés par Springer, notamment dans la collection Lecture Notes in Computer Science (LNCS).
Ces ouvrages réunissent des travaux de recherche consacrés à la vérification des logiciels, à la sûreté des systèmes informatiques, à la cybersécurité, aux systèmes temps réel et aux méthodes formelles. Ils témoignent de collaborations scientifiques internationales et de son implication dans l’organisation de conférences majeures en informatique.
Les dix volumes ci-dessous ont été identifiés dans le catalogue officiel de Springer, où Axel Legay figure comme éditeur ou coéditeur scientifique.
2019 — Model Checking Software (SPIN 2019)
Springer — Lecture Notes in Computer Science, volume 11636
Éditeurs scientifiques : Fabrizio Biondi, Thomas Given-Wilson et Axel Legay.
Cet ouvrage rassemble les travaux présentés au 26e symposium international SPIN, organisé à Pékin en juillet 2019. Il porte sur la vérification automatique des logiciels, le model checking et les méthodes permettant d’analyser la fiabilité et le comportement des systèmes informatiques.
Consulter l’ouvrage chez Springer
2018 — Risks and Security of Internet and Systems (CRiSIS 2017)
Springer — Lecture Notes in Computer Science, volume 10694
Éditeurs scientifiques : Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay et Joaquin Garcia-Alfaro.
Ce volume rassemble les travaux sélectionnés de la conférence internationale CRiSIS 2017, consacrée aux risques et à la sécurité des systèmes informatiques et d’Internet. Il aborde notamment la cryptographie, les vulnérabilités, les protocoles de sécurité, la protection des données et les mécanismes de défense contre les cyberattaques.
Consulter l’ouvrage chez Springer
2017 — Models, Algorithms, Logics and Tools
Springer — Lecture Notes in Computer Science, volume 10460
Éditeurs scientifiques : Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay et Radu Mardare.
Publié en hommage au professeur Kim Guldstrand Larsen à l’occasion de son soixantième anniversaire, cet ouvrage rassemble des contributions internationales sur les modèles de calcul, les algorithmes, les logiques formelles et les outils de vérification. Il couvre notamment les systèmes concurrents, probabilistes et temps réel.
Consulter l’ouvrage chez Springer
2017 — Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Part I
Springer — Lecture Notes in Computer Science, volume 10205
Éditeurs scientifiques : Axel Legay et Tiziana Margaria.
Premier des deux volumes des actes de TACAS 2017, organisé à Uppsala en Suède dans le cadre des conférences ETAPS. L’ouvrage rassemble des recherches consacrées aux outils et algorithmes de construction, d’analyse et de vérification des systèmes informatiques, notamment dans les domaines de la vérification formelle et de l’analyse automatisée.
Consulter l’ouvrage chez Springer
2017 — Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Part II
Springer — Lecture Notes in Computer Science, volume 10206
Éditeurs scientifiques : Axel Legay et Tiziana Margaria.
Second volume des actes de TACAS 2017, prolongeant les travaux du premier volume. Il présente des contributions sur les techniques de vérification, les automates, la synthèse, les systèmes hybrides, la logique et les méthodes d’analyse de logiciels complexes.
Consulter l’ouvrage chez Springer
2017 — Risks and Security of Internet and Systems (CRiSIS 2016)
Springer — Lecture Notes in Computer Science, volume 10158
Éditeurs scientifiques : Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet et Axel Legay.
Cet ouvrage rassemble des contributions issues de la conférence CRiSIS 2016, organisée à Roscoff en France. Les recherches présentées portent sur la cybersécurité, les protocoles cryptographiques, l’authentification, la protection des réseaux et l’analyse des risques liés aux systèmes connectés.
Consulter l’ouvrage chez Springer
2016 — Automated Technology for Verification and Analysis (ATVA 2016)
Springer — Lecture Notes in Computer Science, volume 9938
Éditeurs scientifiques : Cyrille Artho, Axel Legay et Doron Peled.
Ce volume rassemble les actes du 14e symposium international ATVA, organisé à Chiba au Japon. Il présente des recherches sur la vérification automatique, les systèmes probabilistes, les automates, l’analyse de programmes, la concurrence et les techniques permettant de garantir la correction des logiciels.
Consulter l’ouvrage chez Springer
2014 — Formal Modeling and Analysis of Timed Systems (FORMATS 2014)
Springer — Lecture Notes in Computer Science, volume 8711
Éditeurs scientifiques : Axel Legay et Marius Bozga.
Cet ouvrage rassemble les actes de la 12e conférence internationale FORMATS, organisée à Florence en Italie. Il traite de la modélisation et de l’analyse des systèmes temps réel, des automates temporisés, des systèmes hybrides et des méthodes formelles permettant d’étudier les contraintes temporelles des logiciels et systèmes embarqués.
Consulter l’ouvrage chez Springer
2014 — From Programs to Systems: The Systems Perspective in Computing
Springer — Lecture Notes in Computer Science, volume 8415
Éditeurs scientifiques : Saddek Bensalem, Yassine Lakhneck et Axel Legay.
Publié à l’occasion d’un atelier scientifique organisé en hommage au chercheur Joseph Sifakis, cet ouvrage explore les liens entre la théorie des programmes et l’ingénierie des systèmes complexes. Il aborde les méthodes formelles, la modélisation, la vérification et les approches permettant de concevoir des systèmes informatiques fiables.
Consulter l’ouvrage chez Springer
2013 — Hardware and Software: Verification and Testing (HVC 2013)
Springer — Lecture Notes in Computer Science, volume 8244
Éditeurs scientifiques : Valeria Bertacco et Axel Legay.
Ce volume rassemble les actes de la neuvième conférence internationale HVC, organisée à Haïfa en Israël. Il présente des recherches sur la vérification du matériel et des logiciels, les méthodes de test, l’analyse de programmes et les techniques de validation des systèmes informatiques.
Consulter l’ouvrage chez Springer
Un parcours scientifique international
Ces ouvrages illustrent la diversité des domaines de recherche auxquels Axel Legay a contribué : méthodes formelles, vérification automatique, systèmes temps réel, sûreté logicielle et cybersécurité.
Leur publication chez Springer, dans la collection internationale Lecture Notes in Computer Science, témoigne de son implication dans la communauté scientifique et dans la diffusion de travaux de recherche en informatique.
En complément de ces ouvrages collectifs, Axel Legay est également l’auteur de nombreuses publications scientifiques accessibles dans les principales bases bibliographiques internationales.
Retrouver ses publications scientifiques :
Note bibliographique : les ouvrages présentés sont des volumes collectifs dont Axel Legay a assuré la direction ou la codirection scientifique. Cette fonction, désignée en anglais par « editor », est distincte de celle d’auteur de l’ensemble des contributions.