1. Recherche
8 résultats  enregistrer la recherche
...
inria-00202930v1  Communication dans un congrès
Marieke Huisman, Clément Hurlin. The stability problem for verification of concurrent object-oriented programs
Verification and Analysis of Multi-threaded Java-like Programs, Sep 2007, Lisbonne, Portugal. pp.52, 2007
...
inria-00204771v1  Communication dans un congrès
Marieke Huisman, Clément Hurlin. Permission Specifications for Common Multithreaded Programming Patterns
Book in the honor of Henk Barendregt for his 60th birthday, Dec 2007, Nimègue, Netherlands. 2007
...
inria-00070674v1  Rapport
Marieke Huisman, Kerry Trentelman. Factorising temporal specifications
RR-5326, INRIA. 2004, pp.28
...
inria-00320115v1  Communication dans un congrès
Christian Haack, Marieke Huisman, Clément Hurlin. Reasoning about Java's reentrant locks
Springer-Verlag. The Sixth ASIAN Symposium on Programming Languages and Systems (APLAS 2008), Dec 2008, Bangalore, India. 2008, Lecture Notes in Computer Science; The Sixth ASIAN Symposium on Programming Languages and Systems
...
inria-00071523v1  Rapport
Mariela Pavlova, Gilles Barthe, Marieke Huisman, Jean-Louis Lanet, Lilian Burdy. Enforcing High-Level Security Properties For Applets
[Research Report] RR-5061, INRIA. 2003
...
inria-00070670v1  Rapport
Dilian Gurov, Marieke Huisman. Abstraction over Public Interfaces
[Research Report] RR-5330, INRIA. 2004, pp.21
...
inria-00071692v1  Rapport
Christoph Sprenger, Dilian Gurov, Marieke Huisman. Simulation Logic, Applets and Compositional Verification
RR-4890, INRIA. 2003
...
inria-00071253v1  Rapport
Françoise Bellegarde, Julien Groslambert, Marieke Huisman, Jacques Julliand, Olga Kouchnarenko. Verification of Liveness Properties with JML
[Research Report] RR-5331, INRIA. 2004, pp.24

Contact


archive-ouverte@inria.fr