BibSonomy :: author  ::

bookmarks

publications

(60)

• The Parallel Performance of Standard Parabolic Marching Schemes.
  S. Vandewalle and Rafael van Driessche and R. Piessens International Journal of High Speed Computing 3 1-29 (1991)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Preface.
  Fabio Massacci and Frank Piessens Electr. Notes Theor. Comput. Sci. 197 1-2 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language.
  Dries Vanoverberghe and Frank Piessens FMOODS 240-258 (2008)
  to dblp by dblp on 2008-06-05 00:00:00
  | URL | BibTeX  
• VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language.
  Jan Smans and Bart Jacobs and Frank Piessens FMOODS 220-239 (2008)
  to dblp by dblp on 2008-06-05 00:00:00
  | URL | BibTeX  
• Provable Protection against Web Application Vulnerabilities Related to Session Data Dependencies.
  Lieven Desmet and Pierre Verbaeten and Wouter Joosen and Frank Piessens IEEE Trans. Software Eng. 34 50-64 (2008)
  to dblp by dblp on 2008-06-05 00:00:00
  | URL | BibTeX  
• Requirements traceability to support evolution of access control.
  Tine Verhanneman and Frank Piessens and Bart De Win and Wouter Joosen ACM SIGSOFT Software Engineering Notes 30 1-7 (2005)
  to dblp by dblp on 2008-05-08 00:00:00
  | URL | BibTeX  
• Towards a unifying view on security contracts.
  Bart De Win and Frank Piessens and Jan Smans and Wouter Joosen ACM SIGSOFT Software Engineering Notes 30 1-7 (2005)
  to dblp by dblp on 2008-05-08 00:00:00
  | URL | BibTeX  
• An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.
  Jan Smans and Bart Jacobs and Frank Piessens and Wolfram Schulte FASE 261-275 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• An object-oriented approach to datatype-generic programming.
  Adriaan Moors and Frank Piessens and Wouter Joosen ICFP-WGP 96-106 (2006)
  to dblp by dblp on 2008-04-18 00:00:00
  | URL | BibTeX  
• A flexible security architecture to support third-party applications on mobile devices.
  Lieven Desmet and Wouter Joosen and Fabio Massacci and Katsiaryna Naliuka and Pieter Philippaerts and Frank Piessens and Dries Vanoverberghe CSAW 19-28 (2007)
  to dblp by dblp on 2008-04-10 00:00:00
  | URL | BibTeX