Articles matching “Piessens”

  1. Frank Piessens, Bart Jacobs, Gary T. Leavens, Special Section on Formal Techniques for Java-like Programs, HTML, DOI. Volume 10, (2011)
  2. Bart Jacobs, Frank Piessens, Inspector Methods for State Abstraction, pp. 55-75, PDF, HTML, DOI. Volume 6, no. 5 (June 2007)
  3. Jan Smans, Bart Jacobs, Frank Piessens, Static Verification of Code Access Security Policy Compliance of .NET Applications, pp. 35-58, PDF, HTML, DOI. Volume 5, no. 3 (April 2006)
  4. Frank Piessens, Bart Jacobs, Eddy Truyen, Wouter Joosen, Support for Metadata-driven Selection of Run-time Services in .NET is Promising but Immature, pp. 27-35, PDF, HTML, DOI. Volume 3, no. 2 (February 2004)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact