Bernard P. Serpette

Publication Activity (10 Years)

Years Active: 1991-2021
Publications (10 Years): 6

Top Topics

Operational Semantics

Causal Relationships

Ambient Assisted Living

Millimeter Wave

Top Venues

Dagstuhl Artifacts Ser.

Publications

Juliette Chabassier, Myriam Desainte-Catherine, Jean Haury, Marin Pobel, Bernard P. Serpette
MidifilePerformer: a case study for chronologies. FARM@ICFP (2021)
Nic Volanschi, Bernard P. Serpette
AllenRV: An Extensible Monitor for Multiple Complex Specifications with High Reactivity. RV (2019)
Nic Volanschi, Bernard P. Serpette, Charles Consel
Implementing a semi-causal domain-specific language for context detection over binary sensors. GPCE (2018)
Nic Volanschi, Bernard P. Serpette, Adrien Carteron, Charles Consel
A Language for Online State Processing of Binary Sensors, Applied to Ambient Assisted Living. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 2 (4) (2018)
Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter
Type Abstraction for Relaxed Noninterference. ECOOP (2017)
Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter
Type Abstraction for Relaxed Noninterference (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux
Unification des couleurs dans un λ-calcul polychrome. JFLA (2014)
Gérard Boudol, Gustavo Petri, Bernard P. Serpette
Relaxed Operational Semantics of Concurrent Programming Languages EXPRESS/SOS (2012)
Bernard P. Serpette, Manuel Serrano
An interpreter for server-side hop. DLS (2011)
Didier Parigot, Bernard P. Serpette
Qui sème la fonction, récolte le tuyau typé. Stud. Inform. Univ. 7 (2) (2009)
Didier Parigot, Bernard P. Serpette
Qui sème la fonction, récolte le tuyau typé. JFLA (2009)
Denis Caromel, Ludovic Henrio, Bernard P. Serpette
Asynchronous sequential processes. Inf. Comput. 207 (4) (2009)
Laurence Rideau, Bernard P. Serpette, Xavier Leroy
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves. J. Autom. Reason. 40 (4) (2008)
Luigi Liquori, Bernard P. Serpette
iRho: an imperative rewriting calculus. Math. Struct. Comput. Sci. 18 (3) (2008)
Luigi Liquori, Bernard P. Serpette
iRho: an imperative rewriting calculus. PPDP (2004)
Denis Caromel, Ludovic Henrio, Bernard P. Serpette
Asynchronous and deterministic objects. POPL (2004)
Yannis Bres, Bernard P. Serpette, Manuel Serrano
Bigloo.NET: compiling Scheme to .NET CLR. J. Object Technol. 3 (9) (2004)
Manuel Serrano, Frédéric Boussinot, Bernard P. Serpette
Scheme fair threads. PPDP (2004)
Ludovic Henrio, Bernard P. Serpette
A Parametrized Polyvariant Bytecode Verifier. JFLA (2003)
Bernard P. Serpette, Manuel Serrano
Compiling scheme to JVM bytecode: : a performance study. ICFP (2002)
Denis Caromel, Ludovic Henrio, Bernard P. Serpette
Context Inference for Static Analysis of Java Card Object Sharing. E-smart (2001)
Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa
A Formal Executable Semantics of the JavaCard Platform. ESOP (2001)
Gilles Barthe, Bernard P. Serpette
Static Reduction Analysis for Imperative Object Oriented Languages. LPAR (2000)
Gilles Barthe, Bernard P. Serpette
Partial Evaluation and Non-interference for Object Calculi. Fuji International Symposium on Functional and Logic Programming (1999)
Bernard P. Serpette
Approximations d'évaluateurs fonctionnels. WSA (1992)
Christian Queinnec, Bernard P. Serpette
A Dynamic Extent Control Operator for Partial Continuations. POPL (1991)