[PPL-devel] [GIT] ppl/w3ppl(master): Added FagesR09 and JhalaM09.

[Roberto Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: bdc382cc0c6470046652f7680475ce363880a296
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=bdc382cc0c6470046652f7680475ce363880a296

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Dec 11 18:26:12 2009 +0100

Added FagesR09 and JhalaM09.

---

 htdocs/Documentation/ppl_citations.bib |   41 ++++++++++++++++++++++++++++++++
 1 files changed, 41 insertions(+), 0 deletions(-)

diff --git a/htdocs/Documentation/ppl_citations.bib b/htdocs/Documentation/ppl_citations.bib
index 03983e9..2dab641 100644
--- a/htdocs/Documentation/ppl_citations.bib
+++ b/htdocs/Documentation/ppl_citations.bib
@@ -727,6 +727,34 @@
               feasible."
 }
 
+ at Inproceedings{FagesR09,
+  Author = "F. Fages and A. Rizk",
+  Title = "From Model-Checking to Temporal Logic Constraint Solving",
+  Booktitle = "Proceedings of the 15th International Conference
+               on Principles and Practice of Constraint Programming (CP 2009)",
+  Address = "Lisbon, Portugal",
+  Editor = "I. P. Gent",
+  Series = "Lecture Notes in Computer Science",
+  Volume = 5732,
+  Year = 2009,
+  Pages = "319--334",
+  Publisher = "Springer-Verlag, Berlin",
+  ISBN = "978-3-642-04243-0",
+  Abstract = "In this paper, we show how model-checking can be
+              generalized to temporal logic constraint solving, by
+              considering temporal logic formulae with free variables
+              over some domain ${\mathcal D}$, and by computing a
+              validity domain for the variables rather than a truth
+              value for the formula. This allows us to define a
+              continuous degree of satisfaction for a temporal logic
+              formula in a given structure, opening up the field of
+              model-checking to optimization. We illustrate this
+              approach with reverse-engineering problems coming from
+              systems biology, and provide some performance figures on
+              parameter optimization problems with respect to temporal
+              logic specifications."
+}
+
 @MastersThesis{Flexeder05th,
   Author = "A. Flexeder",
   Title = "{Interprozedurale Analyse linearer Ungleichungen}",
@@ -1536,6 +1564,19 @@
               techniques."
 }
 
+ at Article{JhalaM09,
+  Author = "R. Jhala and R. Majumdar",
+  Title = "Software Model Checking",
+  Journal = "ACM Computing Surveys",
+  Volume = 41,
+  Nnumber = 4,
+  Year = 2009,
+  Pages = "1--54",
+  Publisher = "ACM Press",
+  Address = "New York, NY, USA",
+  Abstract = "We survey recent progress in software model checking."
+}
+
 @Inproceedings{JeannetM09,
   Author = "B. Jeannet and A. Min{\'e}",
   Title = "Apron: A Library of Numerical Abstract Domains for Static