
Electronic Notes in Theoretical Computer Science, Volume 220
Volume 220, Number 1, December 2008
- Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
:
Preface. 1 - Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet:
Coverage-biased Random Exploration of Models. 3-14 - Achim D. Brucker
, Lukas Brügger, Burkhart Wolff:
Verifying Test-Hypotheses: An Experiment in Test and Proof. 15-27 - Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier:
j-POST: a Java Toolchain for Property-Oriented Software Testing. 29-41 - Claudia Pons, Diego García:
A Lightweight Approach for the Semantic Validation of Model Refinements. 43-61 - Bernhard K. Aichernig
, Martin Weiglhofer, Franz Wotawa
:
Improving Fault-based Conformance Testing. 63-77 - Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
Cooperative Testing of Timed Systems. 79-92 - Jan Jürjens:
Model-based Security Testing Using UMLsec: A Case Study. 93-104
Volume 220, Number 2, December 2008
- Ivana Cerná, Gerald Lüttgen:
Preface. 1-2 - Henri E. Bal, Kees Verstoep:
Large-Scale Parallel Computing on Grids. 3-17 - Jaco van de Pol, Michael Weber:
A Multi-Core Solver for Parity Games. 19-34 - Stefan Blom, Boudewijn R. Haverkort
, Matthias Kuntz, Jaco van de Pol:
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. 35-50 - Radek Pelánek
, Václav Rosecký, Pavel Moravec:
Complementarity of Error Detection Techniques. 51-65 - Nikola Benes, Ivana Cerná
, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova:
A Case Study in Parallel Verification of Component-Based Systems. 67-83
Volume 220, Number 3, December 2008
- Alessandro Aldini
, Christel Baier:
Preface. 1-3 - Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman
, David Parker
:
Game-Based Probabilistic Predicate Abstraction in PRISM. 5-21 - Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky:
Relational Analysis and Precision via Probabilistic Abstract Interpretation. 23-42 - Michael J. A. Smith:
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions. 43-59 - Marco Faella, Axel Legay, Mariëlle Stoelinga
:
Model Checking Quantitative Linear Time Logic. 61-77 - Evan Tzanis, Robin Hirsch
:
Probabilistic Logic over Paths. 79-96 - Jonathan M. Lambert, James F. Power
:
Platform Independent Timing of Java Virtual Machine Bytecode Instructions. 97-113 - Jinjin Zhang, Zhaohui Zhu:
A Behavioural Pseudometric based on lambda-Bisimilarity. 115-127 - Nikola Trcka, Sonja Georgievska:
Branching Bisimulation Congruence for Probabilistic Systems. 129-143 - Claudio Ochoa, Germán Puebla:
Oracle-Based Partial Evaluation. 145-161 - Luca Bortolussi
:
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation. 163-180 - Steffen van Bakel, Ikra Khan, Maria Grazia Vigliotti, John K. Heath:
Modelling Intracellular Fate of FGF Receptors With BioAmbients. 181-197

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.