Frdric Vogels
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2011
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | FORTE | Annotation Inference for Separation Logic Based Verifiers. | Frdric Vogels, Bart Jacobs, Frank Piessens, Jan Smans |
| 2010 | SAC | A machine-checked soundness proof for an efficient verification condition generator. | Frdric Vogels, Bart Jacobs, Frank Piessens |
| 2009 | SOFSEM | A Machine Checked Soundness Proof for an Intermediate Verification Language. | Frdric Vogels, Bart Jacobs, Frank Piessens |