9
Publications
498
Citations
9
H-Index
1982
Active since
Carlos Noguera is an author at Vrije Universiteit Brussel specializing in formal methods, program analysis, and software engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware TestingSoftware DesignFormal VerificationSource Code Analysis
Publications per year
1982–2015
9
9
The SOUL tool suite for querying programs in symbiosis with Eclipse
Coen De Roover, Carlos Noguera, Andy Kellens et al. · 2011 · 53 citations
Rows per page
1–5 of 9