Feret, Jérôme - Département d'Informatique, École Normale Supérieure

• Numerical Abstract Domains for Digital Filters # Jerome Feret
• ArithmeticGeometric Progression
• Static Analysis Symposium 2000 Condentiality analysis for mobile systems
• Automatic reduction of stochastic rules-based models in a nutshell
• Static Analysis of Digital Filters ? J er^ome Feret
• Condentiality Analysis of Mobile Systems J#r#me Feret
• Special Session on Systems Biology Internal coarse-graining of molecular
• Abstracting the differential semantics of rule-based models: exact and automated model reduction
• Abstract Interpretation of Reachable Complexes in Biological Signalling
• Numerical Abstract Domains for Digital Filters Jer^ome Feret
• GETCO'00 to appear Occurrence Counting Analysis
• http://www.di.ens.fr/# Introduction
• Internal coarse-graining of molecular [PNAS'09,LICS'10]
• Reachability Analysis of Biological Signalling Pathways by Abstract Interpretation
• Dependency Analysis of Mobile Systems # jerome.feret@ens.fr
• Investigation of a biological repair scheme Vincent Danos1
• MeCBIC 2010 Lumpability Abstractions
• The Arithmetic-Geometric Progression Abstract Domain
• Static Analysis of Digital Filters Jer^ome Feret
• Abstract InterpretationBased Static Analysis of Mobile Ambients ?
• http://www.di.ens.fr/ intuitions,
• Abstract Interpretation of Mobile Systems 1 Jerome Feret
• Reachability Analysis of Biological Signalling Pathways by Abstract Interpretation
• Occurrences Counting Analysis for the #calculus
• The ArithmeticGeometric Progression Abstract Domain #
• GETCO'00 to appear Occurrence Counting Analysis
• ICNAAM 2010 Automatic reduction of stochastic
• Intrinsic information carriers in combinatorial dynamical systems Russ Harmer,1,2
• InterpretationBased http://www.di.ens.fr/#feret
• Dependency Analysis of Mobile Systems jerome.feret@ens.fr
• Static Analysis Symposium 2000 Con dentiality analysis for mobile systems
• CURRICULUM VIT Personal Information
• Confidentiality Analysis of Mobile Systems Jrme Feret
• Occurrences Counting Analysis for the -calculus
• Abstract Interpretation-Based Static Analysis of Mobile Ambients
• CURRICULUM VIT Informations personnelles
• Static Analysis Symposium 2001 Abstract Interpretation-Based Static
• Static Analysis of Digital Filters 1 Jer^ome Feret
• Abstract Interpretation of Mobile Systems 1 Jer^ome Feret
• CURRICULUM VIT Personal Information
• CURRICULUM VIT Informations personnelles
• The Arithmetic-Geometric Progression Abstract Domain
• Numerical Abstract Domains for Digital Filters
• Dependency Analysis of Mobile Systems J r me Feret