Articles matching “Piessens”
- Frank Piessens, Bart Jacobs, Gary T. Leavens, Special Section on Formal Techniques for Java-like Programs, HTML, DOI. Volume 10, (2011)
- Bart Jacobs, Frank Piessens, Inspector Methods for State Abstraction, pp. 55-75, PDF, HTML, DOI. Volume 6, no. 5 (June 2007)
- 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)
- 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)