Fabien Siron
Fabien Siron
Home
Curriculum
Research
Teaching
Projects
Contact
Light
Dark
Automatic
Recent Talks
2025
Modular Extraction of Lustre Models from C Code
Nov 25, 2025 4:15 PM
Aussois, France
2023
Formal verification for real-time safety critical applications based on logical time
Nov 30, 2023 4:15 PM
Kiel, Germany
2021
Synchronous LET: towards formal verification
Nov 24, 2021 11:00 AM
La Rochette, France
Cite
×
