BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Feret:J=eacute=r=ocirc=me

Contributed to:

SAS 20112011
LICS 20102010
VMCAI 20082008
ESOP 20052005
VMCAI 20052005
ESOP 20042004
PLDI 20032003
ESOP 20022002
SAS 20012001
SAS 20002000
ESOP 20192019

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.