Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
"own"
Testing-Based Compiler Validation for Synchronous Languages
A Polynomial Template Abstract Domain based on Bernstein Polynomials
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses
Formal methods in project P - SP5.L2
From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems
Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers
Integrating Policy Iterations in Abstract Interpreters
Projet CAFEIN - Rapport avancement RA 1/21071
Verification of aircraft controller: from process-based certification to product-based certification
«
»
Cite
×