Frédéric Vogels

According to our database, Frédéric Vogels authored at least 8 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Featherweight VeriFast.

Frédéric Vogels, Bart Jacobs, Frank Piessens

Log. Methods Comput. Sci., 2015

Idea: Towards an Inverted Cloud.

Raoul Strackx, Pieter Philippaerts, Frédéric Vogels

Proceedings of the Engineering Secure Software and Systems - 7th International Symposium, 2015

2012

Formalisation and Soundness of Static Verification Algorithms for Imperative Programs (Formalisatie en correctheid van statische verificatiealgoritmes voor imperatieve programma's).

Frédéric Vogels

PhD thesis, 2012

2011

The Belgian Electronic Identity Card: a Verification Case Study.

Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java.

Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens

Proceedings of the NASA Formal Methods, 2011

Annotation Inference for Separation Logic Based Verifiers.

Frédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

A machine-checked soundness proof for an efficient verification condition generator.

Frédéric Vogels, Bart Jacobs, Frank Piessens

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009

A Machine Checked Soundness Proof for an Intermediate Verification Language.

Frédéric Vogels, Bart Jacobs, Frank Piessens

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009