Module: ppl/w3ppl Branch: master Commit: b0ce01d269794daf1457615b868609fe7a120ad1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=b0ce01d2697...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jul 17 20:15:51 2009 +0200
Added LimeRST09.
---
htdocs/Documentation/ppl_citations.bib | 36 +++++++++++++++++++++++++++++++- 1 files changed, 35 insertions(+), 1 deletions(-)
diff --git a/htdocs/Documentation/ppl_citations.bib b/htdocs/Documentation/ppl_citations.bib index 562223a..d3e8d14 100644 --- a/htdocs/Documentation/ppl_citations.bib +++ b/htdocs/Documentation/ppl_citations.bib @@ -151,10 +151,10 @@ of Systems (TACAS 2007)", Address = "Braga, Portugal", Editor = "O. Grumberg and M. Huth", - Pages = "373--388", Publisher = "Springer-Verlag, Berlin", Series = "Lecture Notes in Computer Science", Volume = 4424, + Pages = "373--388", Year = 2007, ISBN = "3-540-71208-4", Abstract = "In previous work we presented a model checking procedure @@ -1701,6 +1701,40 @@ \url{http://www.irisa.fr/manifestations/2006/CSTVA06/%7D." }
+@Inproceedings{LimeRST09, + Author = "D. Lime and O. H. Roux and C. Seidner and L.-M. Traonouez", + Title = "Romeo: A Parametric Model-Checker for {Petri} Nets + with Stopwatches", + Booktitle = "Proceedings of the 15th International Conference + Tools and Algorithms for the Construction and Analysis + of Systems (TACAS 2009)", + Address = "York, UK", + Editor = "S. Kowalewski and A. Philippou", + Publisher = "Springer-Verlag, Berlin", + Series = "Lecture Notes in Computer Science", + Volume = 5505, + Pages = "54--57", + Year = 2009, + ISBN = "978-3-642-00767-5", + Abstract = "Last time we reported on Romeo, analyses with this tool + were mostly based on translations to other tools. This + new version provides an integrated TCTL model-checker + and has gained in expressivity with the addition of + parameters. Although there exists other tools to compute + the state-space of stopwatch models, Romeo is the first + one that performs TCTL model-checking on stopwatch + models. Moreover, it is the first tool that performs + TCTL model-checking on timed parametric models. Indeed, + Romeo now features an efficient model-checking of time + Petri nets using the Uppaal DBM Library, the + model-checking of stopwatch Petri nets and parametric + stopwatch Petri nets using the Parma Polyhedra Library + and a graphical editor and simulator of these + models. Furthermore, its audience has increased leading + to several industrial contracts. This paper reports on + these recent developments of Romeo." +} + @Inproceedings{LogozzoF08, Author = "F. Logozzo and M. F{"a}hndrich", Title = "Pentagons: A Weakly Relational Abstract Domain for the