Volume 138,
Number 1,
9 September 2005
Proceedings of the Workshop on the Foundations of Global Ubiquitous Computing (FGUC 2004)
Volume 138,
Number 2,
23 November 2005
Proceedings of the Second Workshop on Object Oriented Developments (WOOD 2004)
Volume 138,
Number 3,
28 December 2005
Proceedings of the 6th International Workshop on Verification of Infinite-State Systems (INFINITY 2004)
- Julian C. Bradfield, Faron Moller:
Preface.
1
Electronic Edition (link) BibTeX
- Ranko Lazic:
Decidability of Reachability for Polymorphic Systems with Arrays: A Complete Classification.
3-19
Electronic Edition (link) BibTeX
- Peter Habermehl, Tomás Vojnar:
Regular Model Checking Using Inference of Regular Languages.
21-36
Electronic Edition (link) BibTeX
- Jesse D. Bingham:
A New Approach to Upward-Closed Set Backward Reachability Analysis.
37-48
Electronic Edition (link) BibTeX
- Martin Kot, Zdenek Sawa:
Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time.
49-60
Electronic Edition (link) BibTeX
- Ranko Lazic, Thomas Christopher Newcomb, Bill Roscoe:
Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting.
61-86
Electronic Edition (link) BibTeX
- Olga Grinchtein, Bengt Jonsson, Martin Leucker:
Inference of Timed Transition Systems.
87-99
Electronic Edition (link) BibTeX
- Ahmed Bouajjani, Axel Legay, Pierre Wolper:
Handling Liveness Properties in (omega-)Regular Model Checking.
101-115
Electronic Edition (link) BibTeX
- Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata:
Closed, Open, and Robust Timed Networks.
117-151
Electronic Edition (link) BibTeX
- Ahmed Bouajjani, Javier Esparza, Tayssir Touili:
Reachability Analysis of Synchronized PA Systems.
153-178
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:21 2009
by Michael Ley (ley@uni-trier.de)
