A Dynamic Extent Control Operator for Partial Continuations. - Christian Queinnec; Bernard P. Serpette (POPL, 1991)

Approximations d'évaluateurs fonctionnels. - Bernard P. Serpette (WSA, 1992)

Partial Evaluation and Non-interference for Object Calculi. - Gilles Barthe; Bernard P. Serpette (Fuji International Symposium on Functional and Logic Programming, 1999)

Static Reduction Analysis for Imperative Object Oriented Languages. - Gilles Barthe; Bernard P. Serpette (LPAR, 2000)

Context Inference for Static Analysis of Java Card Object Sharing. - Denis Caromel; Ludovic Henrio; Bernard P. Serpette (E-smart, 2001)

A Formal Executable Semantics of the JavaCard Platform. - Gilles Barthe; Guillaume Dufay; Line Jakubiec; Bernard P. Serpette; Simão Melo de Sousa (ESOP, 2001)

Compiling scheme to JVM bytecode: : a performance study. - Bernard P. Serpette; Manuel Serrano (ICFP, 2002)

A Parametrized Polyvariant Bytecode Verifier. - Ludovic Henrio; Bernard P. Serpette (JFLA, 2003)

Asynchronous and deterministic objects. - Denis Caromel; Ludovic Henrio; Bernard P. Serpette (POPL, 2004)

Scheme fair threads. - Manuel Serrano; Frédéric Boussinot; Bernard P. Serpette (PPDP, 2004)

Bigloo.NET: compiling Scheme to .NET CLR. - Yannis Bres; Bernard P. Serpette; Manuel Serrano (J. Object Technol., 2004)

Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves. - Laurence Rideau; Bernard P. Serpette; Xavier Leroy (J. Autom. Reason., 2008)

iRho: an imperative rewriting calculus. - Luigi Liquori; Bernard P. Serpette (Math. Struct. Comput. Sci., 2008)

Asynchronous sequential processes. - Denis Caromel; Ludovic Henrio; Bernard P. Serpette (Inf. Comput., 2009)

Qui sème la fonction, récolte le tuyau typé. - Didier Parigot; Bernard P. Serpette (Stud. Inform. Univ., 2009)

An interpreter for server-side hop. - Bernard P. Serpette; Manuel Serrano (DLS, 2011)

Relaxed Operational Semantics of Concurrent Programming Languages - Gérard Boudol; Gustavo Petri; Bernard P. Serpette (EXPRESS/SOS, 2012)

Unification des couleurs dans un λ-calcul polychrome. - Bernard P. Serpette; Pascal Manoury; Emmanuel Chailloux (JFLA, 2014)

Type Abstraction for Relaxed Noninterference. - Raimil Cruz; Tamara Rezk; Bernard P. Serpette; Éric Tanter (ECOOP, 2017)

Type Abstraction for Relaxed Noninterference (Artifact). - Raimil Cruz; Tamara Rezk; Bernard P. Serpette; Éric Tanter (Dagstuhl Artifacts Ser., 2017)

Implementing a semi-causal domain-specific language for context detection over binary sensors. - Nic Volanschi; Bernard P. Serpette; Charles Consel (GPCE, 2018)

A Language for Online State Processing of Binary Sensors, Applied to Ambient Assisted Living. - Nic Volanschi; Bernard P. Serpette; Adrien Carteron; Charles Consel (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2018)

AllenRV: An Extensible Monitor for Multiple Complex Specifications with High Reactivity. - Nic Volanschi; Bernard P. Serpette (RV, 2019)

MidifilePerformer: a case study for chronologies. - Juliette Chabassier; Myriam Desainte-Catherine; Jean Haury; Marin Pobel; Bernard P. Serpette (FARM@ICFP, 2021)