Articles matching “Jacobs”

  1. Bart Jacobs, Justus Fasse, An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model, pp. 1:1-13, DOI. Volume 25, no. 1 ( 2026)
  2. Bart Jacobs, VeriFast's separation logic: a logic without laters for modular verification of fine-grained concurrent programs, pp. 1:1-10, DOI. Volume 25, no. 1 ( 2026)
  3. Frank Piessens, Bart Jacobs, Gary T. Leavens, Special Section on Formal Techniques for Java-like Programs, HTML, DOI. Volume 10, (2011)
  4. Ivar Jacobson, Pan Wei Ng, Ian Spence, Enough of Processes - Lets do Practices, pp. 41-66, PDF, HTML, DOI. Volume 6, no. 6 (July 2007)
  5. Bart Jacobs, Frank Piessens, Inspector Methods for State Abstraction, pp. 55-75, PDF, HTML, DOI. Volume 6, no. 5 (June 2007)
  6. 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)
  7. 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)
  8. Renaud Pawlak, Houman Younessi, On Getting Use Cases and Aspects to Work Together, pp. 15-26, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
  9. Ivar Jacobson, Use Cases and Aspects—Working Seamlessly Together, pp. 7-28, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)