Jérôme Feret

	2011
29		Jérôme Feret: Formal Model Reduction. SAS 2011: 6
28		Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival: Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)
27		Jérôme Feret, Andre Levchenko: Preface. Electr. Notes Theor. Comput. Sci. 272: 1-2 (2011)
26		Ferdinanda Camporesi, Jérôme Feret: Formal Reduction for Rule-based Models. Electr. Notes Theor. Comput. Sci. 276: 29-59 (2011)
	2010
25		Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. LICS 2010: 362-381
24		Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov: Lumpability Abstractions of Rule-based Systems MeCBIC 2010: 142-161
23		Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov: Combining Model Reductions. Electr. Notes Theor. Comput. Sci. 265: 73-96 (2010)
22		Jérôme Feret: Fragments-based Model Reduction: Some Case Studies. Electr. Notes Theor. Comput. Sci. 268: 77-96 (2010)
	2009
21		Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival: Why does Astrée scale up? Formal Methods in System Design 35(3): 229-264 (2009)
20		Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling and Model Perturbation. T. Comp. Sys. Biology 11: 116-137 (2009)
	2008
19		Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling, Symmetries, Refinements. FMSB 2008: 103-122
18		Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Abstract Interpretation of Cellular Signalling Networks. VMCAI 2008: 83-97
17		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		Jérôme Feret: Partitioning the Threads of a Mobile System CoRR abs/0802.0188: (2008)
	2007
15		Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Scalable Simulation of Cellular Signaling Networks. APLAS 2007: 139-157
14		Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling of Cellular Signalling. CONCUR 2007: 17-41
13		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		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		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		Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: The ASTREÉ Analyzer. ESOP 2005: 21-30
9		Jérôme Feret: The Arithmetic-Geometric Progression Abstract Domain. VMCAI 2005: 42-58
8		Jérôme Feret: Abstract interpretation of mobile systems. J. Log. Algebr. Program. 63(1): 59-130 (2005)
	2004
7		Jérôme Feret: Static Analysis of Digital Filters. ESOP 2004: 33-48
	2003
6		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		Jérôme Feret: Dependency Analysis of Mobile Systems. ESOP 2002: 314-330
4		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		Jérôme Feret: Abstract Interpretation-Based Static Analysis of Mobile Ambients. SAS 2001: 412-430
2		Jérôme Feret: Occurrence Counting Analysis for the pi-Calculus. Electr. Notes Theor. Comput. Sci. 39(2): 1-18 (2001)
	2000
1		Jérôme Feret: Confidentiality Analysis of Mobile Systems. SAS 2000: 135-154

Coauthor Index

1	Julien Bertrane	[28]
2	Bruno Blanchet	[4] [6] [12]
3	Ferdinanda Camporesi	[23] [26]
4	Patrick Cousot	[4] [6] [10] [11] [12] [13] [21] [28]
5	Radhia Cousot	[4] [6] [10] [11] [12] [13] [21] [28]
6	Vincent Danos	[14] [15] [17] [18] [19] [20] [25]
7	Walter Fontana	[14] [15] [17] [18] [19] [20] [25]
8	Russell Harmer	[14] [17] [19] [20] [25]
9	Thomas A. Henzinger	[24]
10	Heinz Koeppl	[23] [24]
11	Jean Krivine	[14] [15] [17] [18] [19] [20] [25]
12	Andre Levchenko	[27]
13	Laurent Mauborgne	[4] [6] [10] [11] [12] [13] [21] [28]
14	Antoine Miné	[4] [6] [10] [11] [12] [13] [21] [28]
15	David Monniaux	[4] [6] [10] [11] [12] [13]
16	Tatjana Petrov	[23] [24]
17	Xavier Rival	[4] [6] [10] [11] [12] [13] [21] [28]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page