Jérôme Feret

2008
19	EE	Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling, Symmetries, Refinements. FMSB 2008: 103-122
18	EE	Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Abstract Interpretation of Cellular Signalling Networks. VMCAI 2008: 83-97
17	EE	Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Investigation of a Biological Repair Scheme. Workshop on Membrane Computing 2008: 1-12
16	EE	Jérôme Feret: Partitioning the Threads of a Mobile System CoRR abs/0802.0188: (2008)
2007
15	EE	Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Scalable Simulation of Cellular Signaling Networks. APLAS 2007: 139-157
14	EE	Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling of Cellular Signalling. CONCUR 2007: 17-41
13	EE	Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival: Varieties of Static Analyzers: A Comparison with ASTREE. TASE 2007: 3-20
12	EE	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: A Static Analyzer for Large Safety-Critical Software CoRR abs/cs/0701193: (2007)
2006
11	EE	Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: Combination of Abstractions in the ASTRÉE Static Analyzer. ASIAN 2006: 272-300
2005
10	EE	Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: The ASTREÉ Analyzer. ESOP 2005: 21-30
9	EE	Jérôme Feret: The Arithmetic-Geometric Progression Abstract Domain. VMCAI 2005: 42-58
8	EE	Jérôme Feret: Abstract interpretation of mobile systems. J. Log. Algebr. Program. 63(1): 59-130 (2005)
2004
7	EE	Jérôme Feret: Static Analysis of Digital Filters. ESOP 2004: 33-48
2003
6	EE	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: A static analyzer for large safety-critical software. PLDI 2003: 196-207
2002
5	EE	Jérôme Feret: Dependency Analysis of Mobile Systems. ESOP 2002: 314-330
4	EE	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. The Essence of Computation 2002: 85-108
2001
3	EE	Jérôme Feret: Abstract Interpretation-Based Static Analysis of Mobile Ambients. SAS 2001: 412-430
2	EE	Jérôme Feret: Occurrence Counting Analysis for the pi-Calculus. Electr. Notes Theor. Comput. Sci. 39(2): (2001)
2000
1		Jérôme Feret: Confidentiality Analysis of Mobile Systems. SAS 2000: 135-154

Coauthor Index

1	Bruno Blanchet	[4] [6] [12]
2	Patrick Cousot	[4] [6] [10] [11] [12] [13]
3	Radhia Cousot	[4] [6] [10] [11] [12] [13]
4	Vincent Danos	[14] [15] [17] [18] [19]
5	Walter Fontana	[14] [15] [17] [18] [19]
6	Russell Harmer	[14] [17] [19]
7	Jean Krivine	[14] [15] [17] [18] [19]
8	Laurent Mauborgne	[4] [6] [10] [11] [12] [13]
9	Antoine Miné	[4] [6] [10] [11] [12] [13]
10	David Monniaux	[4] [6] [10] [11] [12] [13]
11	Xavier Rival	[4] [6] [10] [11] [12] [13]

Colors in the list of coauthors