Expériences de parallélisme en Prolog III. - Eric Vétillard (JFPL, 1992)

Constraint Logic Programs with Declarations: Theory and Implementation. - Eric Vétillard (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

Utilisation de Déclarations en Programmation Logique avec Contraintes. - Eric Vétillard (JFPLC, 1994)

Vérification de déclarations en programmation logique avec contraintes. - Eric Vétillard (JFPLC, 1995)

Applications de la programmation logique avec contraintes aux problèmes de transport. - Eric Vétillard (JFPLC, 1996)

Developing Smart Card-Based Applications Using Java Card. - Jean-Jacques Vandewalle; Eric Vétillard (CARDIS, 1998)

MOBIUS: Mobility, Ubiquity, Security. - Gilles Barthe; Lennart Beringer; Pierre Crégut; Benjamin Grégoire; Martin Hofmann 001; Peter Müller 001; Erik Poll; Germán Puebla; Ian Stark; Eric Vétillard (TGC, 2006)

A Security-by-Contract Architecture for Pervasive Services. - Nicola Dragoni; Fabio Massacci; Christian Schaefer; Thomas Walter 001; Eric Vétillard (SECPerU, 2007)

Combined Attacks and Countermeasures. - Eric Vétillard; Anthony Ferrari (CARDIS, 2010)

Security Certification: Is It Box Ticking? - Eric Vétillard (IEEE Secur. Priv., 2021)