The Systems Validation Centre in retrospect

Solid theoretical foundations, state-of-the-art tools and industrial case studies were among the buzzwords of the blueprints of the Dutch Systems Validation Centre (SVC) when it was launched four years ago [11]. Now that the SVC has closed according to plan per December 31, 2002, it is time to take stock.

[1]  Pedro R. D'Argenio,et al.  Algebras and Automata for Timed and Stochastic Systems , 1999 .

[2]  Thomas Arts,et al.  Correct performance of transaction capabilities , 2001, Proceedings Second International Conference on Application of Concurrency to System Design.

[3]  Theodorus Cornelis Ruys,et al.  Towards effective model checking , 2001 .

[4]  Natalia Sidorova,et al.  Abstraction and flow analysis for model checking open asynchronous systems , 2002, Ninth Asia-Pacific Software Engineering Conference, 2002..

[5]  Nicolae Goga,et al.  Founding FireWire bridges through Promela prototyping , 2003, Proceedings International Parallel and Distributed Processing Symposium.

[6]  Holger Hermanns,et al.  Interactive Markov Chains , 2002, Lecture Notes in Computer Science.

[7]  Holger Hermanns,et al.  Compositional performance modelling with the TIPPtool , 2000, Perform. Evaluation.

[8]  Jan Friso Groote,et al.  µCRL: A Toolset for Analysing Algebraic Specifications , 2001, CAV.

[9]  Theo C. Ruys,et al.  Xspin/Project - Integrated Validation Management for Xspin , 1999, SPIN.

[10]  Jan Friso Groote,et al.  Validatietechnieken houden complexe systemen hanteerbaar , 1999 .

[11]  Jan Friso Groote,et al.  Linearization in parallel pCRL , 2000, J. Log. Algebraic Methods Program..

[12]  Izak van Langevelde,et al.  On the Verification of Coordination , 2000, COORDINATION.

[13]  Joost-Pieter Katoen,et al.  Process algebra for performance evaluation , 2002, Theor. Comput. Sci..

[14]  Holger Hermanns,et al.  A Markov Chain Model Checker , 2000, TACAS.

[15]  Simona Orzan,et al.  Distribution of a Simple Shared Dataspace Architecture , 2003, Electron. Notes Theor. Comput. Sci..

[16]  Jozef Hooman,et al.  Formal verification of replication on a distributed data space architecture , 2002, SAC '02.

[17]  Christel Baier,et al.  Model Checking Continuous-Time Markov Chains by Transient Analysis , 2000, CAV.

[18]  Joost-Pieter Katoen,et al.  On Generative Parallel Composition , 1998, PROBMIV.

[19]  Yaroslav S. Usenko.  State space generation for the HAVi leader election protocol , 2002, Sci. Comput. Program..

[20]  Holger Hermanns,et al.  Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation , 1999, ARTS.

[21]  Wan Fokkink,et al.  Model checking a cache coherence protocol for a Java DSM implementation , 2003, Proceedings International Parallel and Distributed Processing Symposium.

[22]  Christel Baier,et al.  Approximate Symbolic Model Checking of Continuous-Time Markov Chains , 1999, CONCUR.

[23]  Jan Friso Groote,et al.  Computer assisted manipulation of algebraic process specifications , 2002, SIGP.

[24]  Ys Yaroslav Usenko,et al.  Linearization in muCRL , 2002 .

[25]  Jaco van de Pol.  JITty: A Rewriter with Strategy Annotations , 2002, RTA.

[26]  Joost-Pieter Katoen,et al.  Specification and analysis of soft real-time systems: quantity and quality , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[27]  Jan Friso Groote,et al.  Analysis of a distributed system for lifting trucks , 2003, J. Log. Algebraic Methods Program..

[28]  Jaco van de Pol,et al.  Formal Specification of JavaSpaces Architecture Using µCRL , 2002, COORDINATION.

[29]  J. V. D. Pol,et al.  Just-intime : on Strategy Annotations , 2001 .

[30]  Wan Fokkink,et al.  Refinement and Verification Applied to an In-Flight Data Acquisition Unit , 2002, CONCUR.

[31]  Yaroslav Usenko.  Linearization of ?CRL specifications , 2002 .

[32]  Simona Orzan,et al.  A distributed algorithm for strong bisimulation reduction of state spaces , 2004, International Journal on Software Tools for Technology Transfer.

[33]  Ed Brinksma,et al.  A Complete Finite Prefix for Process Algebra , 1999, CAV.

[34]  Jaco van de Pol,et al.  Just-in-time: On Strategy Annotations , 2001, WRS.

[35]  Jaco van de Pol,et al.  State Space Reduction by Proving Confluence , 2002, CAV.