Travelled to:1 × Italy
1 × Spain
2 × United Kingdom
3 × France
3 × USA
Collaborated with:∅ V.Danos W.Fontana J.Krivine P.Boutillier I.Cristescu P.Cousot R.Cousot L.Mauborgne A.Miné D.Monniaux X.Rival R.Harmer B.Blanchet
Talks about:analysi (5) abstract (4) static (4) model (3) mobil (3) interpret (2) system (2) semant (2) reduct (2) analyz (2)
Person: Jérôme Feret
DBLP: Feret:J=eacute=r=ocirc=me
Contributed to:
2011
2010
2008
200520052004
20032002200120002019Wrote 11 papers:
- SAS-2011-Feret #formal method #reduction
- Formal Model Reduction (JF), p. 6.
- LICS-2010-DanosFFHK #automation #difference #modelling #reduction #rule-based #semantics
- Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction (VD, JF, WF, RH, JK), pp. 362–381.
- VMCAI-2008-DanosFFK #abstract interpretation #network
- Abstract Interpretation of Cellular Signalling Networks (VD, JF, WF, JK), pp. 83–97.
- ESOP-2005-CousotCFMMMR
- The ASTREÉ Analyzer (PC, RC, JF, LM, AM, DM, XR), pp. 21–30.
- VMCAI-2005-Feret #abstract domain #geometry
- The Arithmetic-Geometric Progression Abstract Domain (JF), pp. 42–58.
- ESOP-2004-Feret #static analysis
- Static Analysis of Digital Filters (JF), pp. 33–48.
- PLDI-2003-BlanchetCCFMMMR #safety #scalability
- A static analyzer for large safety-critical software (BB, PC, RC, JF, LM, AM, DM, XR), pp. 196–207.
- ESOP-2002-Feret #analysis #dependence #mobile
- Dependency Analysis of Mobile Systems (JF), pp. 314–330.
- SAS-2001-Feret #abstract interpretation #mobile #static analysis
- Abstract Interpretation-Based Static Analysis of Mobile Ambients (JF), pp. 412–430.
- SAS-2000-Feret #analysis #mobile
- Confidentiality Analysis of Mobile Systems (JF), pp. 135–154.
- ESOP-2019-BoutillierCF #semantics #simulation #static analysis
- Counters in Kappa: Semantics, Simulation, and Static Analysis (PB, IC, JF), pp. 176–204.