Electronic Notes in Theoretical Computer Science, Volume 220

Volume 220, Number 1, December 2008

• Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
  Preface. 1
  Electronic Edition (link) BibTeX
• Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet:
  Coverage-biased Random Exploration of Models. 3-14
  Electronic Edition (link) BibTeX
• Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
  Verifying Test-Hypotheses: An Experiment in Test and Proof. 15-27
  Electronic Edition (link) BibTeX
• Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier:
  j-POST: a Java Toolchain for Property-Oriented Software Testing. 29-41
  Electronic Edition (link) BibTeX
• Claudia Pons, Diego García:
  A Lightweight Approach for the Semantic Validation of Model Refinements. 43-61
  Electronic Edition (link) BibTeX
• Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa:
  Improving Fault-based Conformance Testing. 63-77
  Electronic Edition (link) BibTeX
• Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
  Cooperative Testing of Timed Systems. 79-92
  Electronic Edition (link) BibTeX
• Jan Jürjens:
  Model-based Security Testing Using UMLsec: A Case Study. 93-104
  Electronic Edition (link) BibTeX

Volume 220, Number 2, December 2008

• Ivana Cerná, Gerald Lüttgen:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• Henri E. Bal, Kees Verstoep:
  Large-Scale Parallel Computing on Grids. 3-17
  Electronic Edition (link) BibTeX
• Jaco van de Pol, Michael Weber:
  A Multi-Core Solver for Parity Games. 19-34
  Electronic Edition (link) BibTeX
• Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol:
  Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. 35-50
  Electronic Edition (link) BibTeX
• Radek Pelánek, Václav Rosecký, Pavel Moravec:
  Complementarity of Error Detection Techniques. 51-65
  Electronic Edition (link) BibTeX
• Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova:
  A Case Study in Parallel Verification of Component-Based Systems. 67-83
  Electronic Edition (link) BibTeX

Volume 220, Number 3, December 2008

• Alessandro Aldini, Christel Baier:
  Preface. 1-3
  Electronic Edition (link) BibTeX
• Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
  Game-Based Probabilistic Predicate Abstraction in PRISM. 5-21
  Electronic Edition (link) BibTeX
• Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky:
  Relational Analysis and Precision via Probabilistic Abstract Interpretation. 23-42
  Electronic Edition (link) BibTeX
• Michael J. A. Smith:
  Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions. 43-59
  Electronic Edition (link) BibTeX
• Marco Faella, Axel Legay, Mariëlle Stoelinga:
  Model Checking Quantitative Linear Time Logic. 61-77
  Electronic Edition (link) BibTeX
• Evan Tzanis, Robin Hirsch:
  Probabilistic Logic over Paths. 79-96
  Electronic Edition (link) BibTeX
• Jonathan M. Lambert, James F. Power:
  Platform Independent Timing of Java Virtual Machine Bytecode Instructions. 97-113
  Electronic Edition (link) BibTeX
• Jinjin Zhang, Zhaohui Zhu:
  A Behavioural Pseudometric based on lambda-Bisimilarity. 115-127
  Electronic Edition (link) BibTeX
• Nikola Trcka, Sonja Georgievska:
  Branching Bisimulation Congruence for Probabilistic Systems. 129-143
  Electronic Edition (link) BibTeX
• Claudio Ochoa, Germán Puebla:
  Oracle-Based Partial Evaluation. 145-161
  Electronic Edition (link) BibTeX
• Luca Bortolussi:
  On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation. 163-180
  Electronic Edition (link) BibTeX
• Steffen van Bakel, Ikra Khan, Maria Grazia Vigliotti, John K. Heath:
  Modelling Intracellular Fate of FGF Receptors With BioAmbients. 181-197
  Electronic Edition (link) BibTeX