Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 3 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Title is Q  [Clear All Filters]
A B C D E F G H I J K L M N O P [Q] R S T U V W X Y Z   [Show ALL]
Q
Mühlberg, J. T., A Quick Tour of the VeriFast Program Verifier, , 2011.

Talk at a Departmental Seminar of the School of Computing, Newcastle University, UK.

Jacobs, B., J. Smans, and F. Piessens, "A quick tour of the VeriFast program verifier", Programming Languages and Systems (APLAS 2010): Springer-Verlag, pp. 304–311, November, 2010.
Hegedüs, A., A. Horváth, I. Ráth, M. C. Branco, and D. Varró, "Quick fix generation for DSMLs", IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011, Pittsbourgh, PA, USA, IEEE Computer Society, 09/2011. Abstract

Acceptance rate: 33%