BibSonomy :: author  ::

bookmarks

publications

(25)

• Rule-Based Modelling, Symmetries, Refinements.
  Vincent Danos and Jérôme Feret and Walter Fontana and Russell Harmer and Jean Krivine FMSB 103-122 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• Combination of Abstractions in the ASTRÉE Static Analyzer.
  Patrick Cousot and Radhia Cousot and Jérôme Feret and Laurent Mauborgne and Antoine Miné and David Monniaux and Xavier Rival ASIAN 272-300 (2006)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Abstract Interpretation of Cellular Signalling Networks.
  Vincent Danos and Jérôme Feret and Walter Fontana and Jean Krivine VMCAI 83-97 (2008)
  to dblp by dblp on 2008-03-03 00:00:00
  | URL | BibTeX  
• Partitioning the Threads of a Mobile System
  Jérôme Feret CoRR abs/0802.0188 (2008)
  to dblp by dblp on 2008-03-03 00:00:00
  | URL | BibTeX  
• A Static Analyzer for Large Safety-Critical Software
  Bruno Blanchet and Patrick Cousot and Radhia Cousot and Jérôme Feret and Laurent Mauborgne and Antoine Miné and David Monniaux and Xavier Rival CoRR abs/cs/0701193 (2007)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Scalable Simulation of Cellular Signaling Networks.
  Vincent Danos and Jérôme Feret and Walter Fontana and Jean Krivine APLAS 139-157 (2007)
  to dblp by dblp on 2007-11-29 00:00:00
  | URL | BibTeX  
• Rule-Based Modelling of Cellular Signalling.
  Vincent Danos and Jérôme Feret and Walter Fontana and Russell Harmer and Jean Krivine CONCUR 17-41 (2007)
  to dblp by dblp on 2007-08-21 00:00:00
  | URL | BibTeX  
• Varieties of Static Analyzers: A Comparison with ASTREE.
  Patrick Cousot and Radhia Cousot and Jérôme Feret and Antoine Miné and Laurent Mauborgne and David Monniaux and Xavier Rival TASE 3-20 (2007)
  to dblp by dblp on 2007-06-18 00:00:00
  | URL | BibTeX  
• Abstract interpretation of mobile systems.
  Jérôme Feret J. Log. Algebr. Program. 63 59-130 (2005)
  to dblp by dblp on 2006-07-26 00:00:00
  | URL | BibTeX  
• A static analyzer for large safety-critical software.
  Bruno Blanchet and Patrick Cousot and Radhia Cousot and Jérôme Feret and Laurent Mauborgne and Antoine Miné and David Monniaux and Xavier Rival PLDI 196-207 (2003)
  to dblp by dblp on 2006-02-15 00:00:00
  | URL | BibTeX