News
PhD Defense: Yaëlle Vinçont
Fuzzing et exécution symbolique pour la détection de vulnérabilités à large échelle
by Yaëlle Vinçont
Thursday 14 December 2021 at 14:00
at CEA (Nano-Innov), room 33-34 of Building 862
Abstract: The automatic generation of tests is a major issue in software engineering and security. Test suites created this way can efficiently explore the code, and find potential bugs, and therefore vulnerabilities.
In this thesis, we were interested in two of the said techniques: symbolic execution and fuzz testing. Read more...
PhD Defense: Jawher Jerray
Guaranteed properties of dynamical systems under perturbations
by Jawher Jerray
Friday 10 December 2021 at 11:00
Université Sorbonne Paris Nord, LIPN, Room B107
Abstract: Dynamical systems have a major impact on human development, especially critical systems that can put human lives at risk if something goes wrong. Hence, the need of studying the behavior of these systems to guarantee their correct functioning. Nevertheless, computing such type of system has never been an easy task, as the complexity of these systems is constantly increasing, in addition to the perturbations that may arise during their operation, as well as undefined parameters that may exist. To ensure that a system always produces the expected results and does not fail in any way, a formal verification of its behavior and properties is necessary.
In this thesis, we study dynamical systems from different perspectives and using various techniques. More specifically, we focus on the formal verification of critical properties such as schedulability, synchronization, robustness and stability.
Patricia Bouyer co-chairing FoSSaCS
Patricia Bouyer is co-chairing FoSSaCS 2022 organised as part of the ETAPS 2022 conference which federates four main venues in the area of formal methods:
- ESOP 2022, the 31st European Symposium on Programming
- FASE 2022, the 25th International Conference on Fundamental Approaches to Software Engineering
- FoSSaCS 2022, the 25th International Conference on Foundations of Software Science and Computation Structures
- TACAS 2022, the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Deux postes d'enseignants-chercheurs à l'ENS Paris-Saclay
Un poste de MCF et un poste de PU à l'ENS Paris-Saclay sont ouverts dans le département d'informatique et au laboratoire LMF. Read more...
Ackermann Award for Marie Fortin
Marie Fortin received the Ackermann Award 2021. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. EACSL is the European Association for Computer Science Logic.
Marie prepared her thesis Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata at LSV under the supervision of Benedikt Bollig and Paul Gastin.
Matthias Függer et al: new article in JACM
How fast can you converge towards a consensus value?
In their recent work, Matthias Fuegger (LMF), Thomas Nowak (LISN), and Manfred Schwarz (TU Wien) study this question in distributed systems where nodes start from an initial value and seek to converge towards a common consensus value. The paper shows that deceptively simple algorithms are optimal and provides tight lower bounds.
Out now in JACM: 1145/3485242
Journées du GT Verif
Les Journées du GT Vérification du GDR IM ont lieu les 17, 18 et 19 novembre 2021 au Laboratoire Méthodes Formelles, ENS Paris-Saclay, à Gif-sur-Yvette.
Elles visent à rassembler la communauté française en vérification formelle, et en particulier les chercheurs juniors, doctorants et post-doctorants, avec pour objectif de favoriser les collaborations et l'ouverture sur des thématiques liées à la vérification. Elles ont pour ambition de couvrir tous les domaines de la vérification formelle.
PhD Defense: Mathilde Boltenhagen
Process Instance Clustering based on Conformance Checking Artefacts
by Mathilde Boltenhagen
Thursday 21 October 2021 at 10h15
Room 2Z81 ENS Paris-Saclay as well as online
Zoom link: us/j/95623460694
Passcode: FhrK69
Abstract: As event data becomes an ubiquitous source of information, data science techniques represent an unprecedented opportunity to analyze and react to the processes that generate this data. Process Mining is an emerging field that bridges the gap between traditional data analysis techniques, like Data Mining, and Business Process Management. Read more...
PhD Defense: Anirban Majumdar
Verification and Synthesis of Parameterized Concurrent Systems
by Anirban Majumdar
Thursday 30 September 2021 at 14h00
Room 1Z68 ENS Paris-Saclay as well as online
Zoom link: us/j/99606315744
Meeting ID: 996 0631 5744
Passcode: anirb1
Abstract: This thesis is at the crossroad of verification and synthesis of parameterized concurrent systems. The parameterized model checking problem asks whether a system satisfies a given specification independently of the number of its components, whereas synthesis requires an algorithmic design of protocols for its components so that the specification is satisfied.Read more...