Searching for authors named "Marieke Huisman" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
The Calculation of a Polytypic Parser
- …-19 Marieke Huisman July 17, 1996 Abstract In this paper it is shown how inverses can be used to calculate a…
- Cited by 5 (0 self) – Add To MetaCart
-
Verification of Java's AbstractCollection class: a case study
- …Verication of Java's AbstractCollection class: a case study Marieke Huisman INRIA Sophia…
- Cited by 6 (0 self) – Add To MetaCart
-
Factorising Temporal Specifications
- …), Breunesse, Cataño, Huisman & Jacobs (2003) and Robby, Rodríguez, Dwyer & Hatcliff (2004). However, when…
- Add To MetaCart
-
Formal specification and static checking of Gemplus' electronic purse using ESC/Java
- …~no and Marieke Huisman INRIA Sophia-Antipolis, France e-mail: fNestor.Catano, Marieke…
- Cited by 2 (0 self) – Add To MetaCart
-
A Comparison of PVS and Isabelle/HOL
- …A Comparison of PVS and Isabelle/HOL David Griffioen 1;2? Marieke Huisman 2 1 CWI, Amsterdam…
- Cited by 9 (3 self) – Add To MetaCart
-
Inheritance in Higher Order Logic: Modeling and Reasoning
- …Inheritance in Higher Order Logic: Modeling and Reasoning ? Marieke Huisman, Bart Jacobs…
- Cited by 13 (9 self) – Add To MetaCart
-
Extending JML Specifications with Temporal Logic
- …Extending JML Specications with Temporal Logic Kerry Trentelman 1? and Marieke Huisman 2 1…
- Cited by 8 (1 self) – Add To MetaCart
-
Chase: a Static Checker for JML's Assignable Clause
- …Chase: a Static Checker for JML's Assignable Clause Nestor Cata~no and Marieke Huisman f…
- Cited by 12 (3 self) – Add To MetaCart
-
Java Program Verification via a Hoare Logic with Abrupt Termination
- …Java Program Verication via a Hoare Logic with Abrupt Termination ? Marieke Huisman, Bart Jacobs…
- Cited by 55 (6 self) – Add To MetaCart
-
Compositional Verification for Secure Loading of Smart Card Applets
- … Institute of Technology Kista, Sweden dilian@(email omitted); Marieke Huisman INRIA Sophia Antipolis Sophia…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
