Bernard P. Serpette - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2021

MidifilePerformer: a case study for chronologiesJuliette Chabassier, Myriam Desainte-Catherine, Jean Haury, Marin Pobel, Bernard P. Serpette. ICFP 2021: 13-22 [doi]

2019

AllenRV: An Extensible Monitor for Multiple Complex Specifications with High ReactivityNic Volanschi, Bernard P. Serpette. RV 2019: 393-401 [doi]

2018

Implementing a semi-causal domain-specific language for context detection over binary sensorsNic Volanschi, Bernard P. Serpette, Charles Consel. GPCE 2018: 66-78 [doi]

A Language for Online State Processing of Binary Sensors, Applied to Ambient Assisted LivingNic Volanschi, Bernard P. Serpette, Adrien Carteron, Charles Consel. imwut, 2(4), 2018. [doi]

2017

Type Abstraction for Relaxed Noninterference (Artifact)Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter. darts, 3(2), 2017. [doi]

Type Abstraction for Relaxed NoninterferenceRaimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter. ECOOP 2017: [doi]

2014

Unification des couleurs dans un $\lambda$-calcul polychromeBernard P. Serpette, Pascal Manoury, Emmanuel Chailloux. jfla 2014: 65-76

2011

An interpreter for server-side hopBernard P. Serpette, Manuel Serrano. DLS 2011: 1-12 [doi]

2009

Asynchronous sequential processesDenis Caromel, Ludovic Henrio, Bernard P. Serpette. iandc, 207(4):459-495, 2009. [doi]

Qui sÃ¨me la fonction, rÃ©colte le tuyau typÃ©Didier Parigot, Bernard P. Serpette. jfla 2009: 225-244

Qui sème la fonction, récolte le tuyau typéDidier Parigot, Bernard P. Serpette. siu, 7(2):1-19, 2009. [doi]

2008

iRho: an imperative rewriting calculusLuigi Liquori, Bernard P. Serpette. mscs, 18(3):467-500, 2008. [doi]

Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel MovesLaurence Rideau, Bernard P. Serpette, Xavier Leroy. JAR, 40(4):307-326, 2008. [doi]

2004

2003

A Parametrized Polyvariant Bytecode VerifierLudovic Henrio, Bernard P. Serpette. jfla 2003: 95-110

2002

Compiling scheme to JVM bytecode: : a performance studyBernard P. Serpette, Manuel Serrano. ICFP 2002: 259-270 [doi]

2001

A Formal Executable Semantics of the JavaCard PlatformGilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa. ESOP 2001: 302-319 [doi]

Context Inference for Static Analysis of Java Card Object SharingDenis Caromel, Ludovic Henrio, Bernard P. Serpette. esmart 2001: 43-57 [doi]

2000

Static Reduction Analysis for Imperative Object Oriented LanguagesGilles Barthe, Bernard P. Serpette. lpar 2000: 344-361 [doi]

1999

Partial Evaluation and Non-inference for Object CalculiGilles Barthe, Bernard P. Serpette. FLOPS 1999: 53-67

1992

Approximations d évaluateurs fonctionnelsBernard P. Serpette. SAS 1992: 79-90

1991

A Dynamic Extent Control Operator for Partial ContinuationsChristian Queinnec, Bernard P. Serpette. POPL 1991: 174-184

Sign in or sign up to see more results.

runs on WebDSL