ask others

Electronic Notes in Theoretical Computer Science, Volume 220

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 220, Number 1, December 2008

Proceedings of the Fourth Workshop on Model Based Testing (MBT 2008)

- view
  authority control:
- export record
  dblp key:
  - journals/entcs/FinkbeinerGP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FinkbeinerGP08
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. 1
- view
- export record
  dblp key:
  - journals/entcs/GaudelDGLOP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GaudelDGLOP08
Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet:
Coverage-biased Random Exploration of Models. 3-14
- view
- export record
  dblp key:
  - journals/entcs/BruckerBW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BruckerBW08
Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
Verifying Test-Hypotheses: An Experiment in Test and Proof. 15-27
- view
- export record
  dblp key:
  - journals/entcs/FalconeMFR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FalconeMFR08
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier:
j-POST: a Java Toolchain for Property-Oriented Software Testing. 29-41
- view
- export record
  dblp key:
  - journals/entcs/PonsG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PonsG08
Claudia Pons, Diego García:
A Lightweight Approach for the Semantic Validation of Model Refinements. 43-61
- view
- export record
  dblp key:
  - journals/entcs/AichernigWW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AichernigWW08
Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa:
Improving Fault-based Conformance Testing. 63-77
- view
- export record
  dblp key:
  - journals/entcs/DavidLLN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DavidLLN08
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
Cooperative Testing of Timed Systems. 79-92
- view
- export record
  dblp key:
  - journals/entcs/Jurjens08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Jurjens08
Jan Jürjens:
Model-based Security Testing Using UMLsec: A Case Study. 93-104

Volume 220, Number 2, December 2008

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2008)

- view
- export record
  dblp key:
  - journals/entcs/CernaL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CernaL08
Ivana Cerná, Gerald Lüttgen:
Preface. 1-2
- view
- export record
  dblp key:
  - journals/entcs/BalV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BalV08
Henri E. Bal, Kees Verstoep:
Large-Scale Parallel Computing on Grids. 3-17
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/PolW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PolW08
Jaco van de Pol, Michael Weber:
A Multi-Core Solver for Parity Games. 19-34
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/BlomHKP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BlomHKP08
Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol:
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. 35-50
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/PelanekRM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PelanekRM08
Radek Pelánek, Václav Rosecký, Pavel Moravec:
Complementarity of Error Detection Techniques. 51-65
- view
- export record
  dblp key:
  - journals/entcs/BenesCSVZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BenesCSVZ08
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

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)

- view
- export record
  dblp key:
  - journals/entcs/AldiniB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AldiniB08
Alessandro Aldini, Christel Baier:
Preface. 1-3
- view
- export record
  dblp key:
  - journals/entcs/KattenbeltKNP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KattenbeltKNP08
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Game-Based Probabilistic Predicate Abstraction in PRISM. 5-21
- view
- export record
  dblp key:
  - journals/entcs/PierroSW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PierroSW08
Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky:
Relational Analysis and Precision via Probabilistic Abstract Interpretation. 23-42
- view
- export record
  dblp key:
  - journals/entcs/Smith08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Smith08
Michael J. A. Smith:
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions. 43-59
- view
- export record
  dblp key:
  - journals/entcs/FaellaLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FaellaLS08
Marco Faella, Axel Legay, Mariëlle Stoelinga:
Model Checking Quantitative Linear Time Logic. 61-77
- view
- export record
  dblp key:
  - journals/entcs/TzanisH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/TzanisH08
Evan Tzanis, Robin Hirsch:
Probabilistic Logic over Paths. 79-96
- view
- export record
  dblp key:
  - journals/entcs/LambertP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LambertP08
Jonathan M. Lambert, James F. Power:
Platform Independent Timing of Java Virtual Machine Bytecode Instructions. 97-113
- view
- export record
  dblp key:
  - journals/entcs/ZhangZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ZhangZ08
Jinjin Zhang, Zhaohui Zhu:
A Behavioural Pseudometric based on lambda-Bisimilarity. 115-127
- view
- export record
  dblp key:
  - journals/entcs/TrckaG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/TrckaG08
Nikola Trcka, Sonja Georgievska:
Branching Bisimulation Congruence for Probabilistic Systems. 129-143
- view
- export record
  dblp key:
  - journals/entcs/OchoaP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OchoaP08
Claudio Ochoa, Germán Puebla:
Oracle-Based Partial Evaluation. 145-161
- view
- export record
  dblp key:
  - journals/entcs/Bortolussi08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Bortolussi08
Luca Bortolussi:
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation. 163-180
- view
- export record
  dblp key:
  - journals/entcs/BakelKVH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BakelKVH08
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.