2007 |
10 | EE | Gilles Barthe,
Pierre Crégut,
Benjamin Grégoire,
Thomas P. Jensen,
David Pichardie:
The MOBIUS Proof Carrying Code Infrastructure.
FMCO 2007: 1-24 |
9 | EE | Pierre Crégut:
Extracting Control from Data: User Interfaces of MIDP Applications.
TGC 2007: 41-56 |
8 | EE | Pierre Crégut:
Strongly reducing variants of the Krivine abstract machine.
Higher-Order and Symbolic Computation 20(3): 209-230 (2007) |
2006 |
7 | EE | Gilles Barthe,
Lennart Beringer,
Pierre Crégut,
Benjamin Grégoire,
Martin Hofmann,
Peter Müller,
Erik Poll,
Germán Puebla,
Ian Stark,
Eric Vétillard:
MOBIUS: Mobility, Ubiquity, Security.
TGC 2006: 10-29 |
2005 |
6 | EE | Pierre Crégut,
Cuihtlauac Alvarado:
Improving the Security of Downloadable Java Applications With Static Analysis.
Electr. Notes Theor. Comput. Sci. 141(1): 129-144 (2005) |
1999 |
5 | EE | Pierre Crégut,
Barbara Heyd:
Progress Properties for Empty UNITY Programs.
Inf. Process. Lett. 69(3): 107-109 (1999) |
1996 |
4 | EE | Pierre Crégut,
Fabrice Guillemin,
Barbara Heyd:
A Protocol for Supporting the ABT/DT Capability.
ICNP 1996: 218-225 |
3 | | Barbara Heyd,
Pierre Crégut:
A Modular Coding of UNITY in COQ.
TPHOLs 1996: 251-266 |
1991 |
2 | | Pierre Crégut:
Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels.
JTASPEFT/WSA 1991: 37-43 |
1990 |
1 | EE | Pierre Crégut:
An Abstract Machine for Lambda-Terms Normalization.
LISP and Functional Programming 1990: 333-340 |