| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | A | conf |
IPDPS
|
| 2023 | J | jnl |
Real Time Syst.
|
| 2023 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2023 | B | conf |
LCTES
|
| 2019 | A | conf |
RTAS
|
| 2019 | A | conf |
DATE
|
| 2018 | Misc | conf |
RTNS
|
| 2018 | A | conf |
RTSS
|
| 2018 | J | jnl |
Leibniz Trans. Embed. Syst.
|
| 2018 | — | conf |
Principles of Modeling
|
| 2017 | J | jnl |
ACM Trans. Design Autom. Electr. Syst.
|
| 2017 | J | jnl |
ACM Trans. Design Autom. Electr. Syst.
|
| 2017 | A | conf |
Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets.
RTSS
|
| 2016 | A | conf |
RTAS
|
| 2015 | A | conf |
FPGA
|
| 2015 | B | conf |
FMCAD
|
| 2015 | — | conf |
AHS
|
| 2014 | B | conf |
LCTES
|
| 2014 | A | conf |
DATE
|
| 2013 | Misc | conf |
EMSOFT
|
| 2012 | J | jnl |
Sci. Comput. Program.
|
| 2012 | A | conf |
DATE
|
| 2010 | J | jnl |
Sci. Comput. Program.
|
| 2008 | C | conf |
PEPM
|
| 2008 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2008 | B | conf |
SEFM
|
| 2008 | — | ch. |
Software-Intensive Systems and New Computing Paradigms
|
| 2007 | A | conf |
TACAS
|
| 2007 | B | conf |
GPCE
|
| 2007 | J | jnl |
Int. J. Unconv. Comput.
|
| 2007 | J | jnl |
High. Order Symb. Comput.
|
| 2006 | J | jnl |
Int. J. Unconv. Comput.
|
| 2006 | J | jnl |
Math. Struct. Comput. Sci.
|
| 2006 | Misc | conf |
EMSOFT
|
| 2006 | J | jnl |
Sci. Comput. Program.
|
| 2006 | J | jnl |
Obj. Logiciel Base données Réseaux
|
| 2006 | Misc | conf |
SAC
|
| 2005 | — | conf |
DCM@ICALP
|
| 2005 | — | ed. |
UPP
|
| 2004 | — | conf |
IASSE
|
| 2004 | — | conf |
AOSD
|
| 2004 | — | conf |
UPP
|
| 2004 | B | conf |
APLAS
|
| 2004 | — | conf |
RULE@RDP
|
| 2002 | B | conf |
GPCE
|
| 2000 | B | conf |
FASE
|
| 2000 | — | book |
|
| 2000 | J | jnl |
J. Funct. Program.
|
| 2000 | A* | conf |
POPL
|
| 2000 | — | conf |
WMP
|
| 1999 | — | conf |
ECOOP Workshops
|
| 1999 | — | conf |
ESEC / SIGSOFT FSE
|
| 1998 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1998 | — | conf |
ECOOP Workshops
|
| 1998 | J | jnl |
Sci. Comput. Program.
|
| 1997 | A* | conf |
POPL
|
| 1996 | A | conf |
ESOP
|
| 1996 | — | conf |
LOMAPS
|
| 1995 | — | conf |
PLILP
|
| 1994 | — | conf |
LISP and Functional Programming
|
| 1994 | A | conf |
ESOP
|
| 1991 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1991 | — | conf |
FPCA
|
| 1989 | — | conf |
TAPSOFT, Vol.2
|