Searching for authors named "Frank Piessens" – sorted by Relevance.
-
A Decision Procedure for Semantical Equivalence of Thin FM Specifications
- A decision procedure for semantical equivalence of thin FM specifications Abstract Frank Piessens
- Add To MetaCart
-
A π-Calculus Semantics of Java: The Full Definition
- A π-Calculus Semantics of Java: The Full Definition Bart Jacobs and Frank Piessens {bart.jacobs,frank
- Cited by 2 (1 self) – Add To MetaCart
-
Proving Semantical Equivalence of Data Specifications
- Proving Semantical Equivalence of Data Specifications Frank Piessens ∗ and Eric Steegmans April 22
- Cited by 1 (0 self) – Add To MetaCart
-
The Full Definition
- A ss-Calculus Semantics of Java: The Full Definition Bart Jacobs Frank Piessens Report CW 355
- Add To MetaCart
-
Celestijnenlaan 200A – B-3001 Heverlee (Belgium) PAM.NET: A.NET Framework For Pluggable Authentication Modules
- PAM.NET: A .NET Framework For Pluggable Authentication Modules Bert Lagaisse Frank Piessens Report
- Add To MetaCart
-
Celestijnenlaan 200A – B-3001 Heverlee (Belgium) Subsystems: Provably Safe Exception Handling (Status Report)
- Subsystems: Provably Safe Exception Handling (Status Report) Bart Jacobs Frank Piessens Report CW
- Add To MetaCart
-
program verifier. Verifying Programs Using Inspector Methods for State Abstraction
- Verifying Programs Using Inspector Methods for State Abstraction Bart Jacobs Frank Piessens Report
- Add To MetaCart
-
unknown title
- The VeriFast Program Verifier Bart Jacobs Frank Piessens Report CW 520, August 2008 n Katholieke
- Add To MetaCart
-
Celestijnenlaan 200A – B-3001 Heverlee (Belgium) Practical experience with the.NET cryptographic API
- Practical experience with the .NET cryptographic API Cédric Boon Pieter Philippaerts Frank
- Add To MetaCart
-
Verification of programs with inspector methods
- Verification of Programs with Inspector Methods Bart Jacobs and Frank Piessens Department
- Cited by 5 (1 self) – Add To MetaCart

