Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 J. Feret, publications
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer,& Jean Krivine.
Rule-based modelling of cellular signalling.
Invited in the 18th International Conference on Concurrency Theory (CONCUR'07), To appear.
Static analysis of embedded critical software
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux,& Xavier Rival.
Varieties of Static Analyzers: A Comparison with Astrée.
Invited in the 1st International Symposium on Theoretical Aspects of Software Engineering (TASE'07), To appear.
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.
Invited in the 11th Annual Asian Computing Science Conference (ASIAN'06), To appear in LNCS.