Searching for authors named "Frank Piessens" – sorted by Relevance.
60 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
