Module: ppl/w3ppl Branch: master Commit: bdc382cc0c6470046652f7680475ce363880a296 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=bdc382cc0c6...
Author: Roberto Bagnara bagnara@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." }
+@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." }
+@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