Statistics
Publications
3
Citations
80
H-Index
3
Active since
2013
Affiliations
University of British Columbia(Current)
Celina G. Val is an author at University of British Columbia specializing in computer science, computing, and hardware model checking.
Publications per year
2013–2016
3
3
Formal co-validation of low-level hardware/software interfaces
Alex Horn, Michael Tautschnig, Celina G. Val et al. · 2013 · 37 citations
Efficient modular SAT solving for IC3
Sam Bayless, Celina G. Val, Thomas Ball et al. · 2013 · 22 citations
Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond
Celina G. Val, Michael A. Enescu, Sam Bayless et al. · 2016 · 21 citations
1–3 of 3