2
Publications
66
Citations
2
H-Index
2004
Active since
Affiliations
Laurent Hénocque is an author at Centre National de la Recherche Scientifique specializing in formal verification, software engineering, and automated reasoning.
Top concepts
EngineeringSemantic WebData ModelingFormal MethodsSoftware DesignComputer ScienceAutomated ReasoningFormal VerificationSoftware EngineeringIndustrial Informatics
Publications per year
2004–2005
2
2
Configuration based workflow composition
Patrick Albert, Laurent Hénocque, Matthias Kleiner · 2005 · 52 citations
Parsing Languages with a Configurator.
Mathieu Estratat, Laurent Hénocque · 2004 · 14 citations · Full text
Rows per page
1–2 of 2