3
Publications
50
Citations
3
H-Index
2005
Active since
Affiliations
Université Libre de Bruxelles(Current)
Cédric Meuter is an author at Université Libre de Bruxelles specializing in formal verification, engineering, and automated reasoning.
Top concepts
ComplexityEngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputational Complexity
Publications per year
2005–2007
3
3
Symbolic Data Structure for Sets of k-uples of Integers
Pierre Ganty, Cédric Meuter, Laurent Van Begin et al. · 2007 · 12 citations
The formal design of distributed controllers with <sub>d</sub> SL and Spin
Bram De Wachter, Alexandre Genon, Thierry Massart et al. · Formal Aspects of Computing · 2005 · 11 citations · Full text
Rows per page
1–3 of 3