EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Research Project: veriGEM: A Verification Grid for Enhanced Model Checking

Home Policy Brochure Browse Search User Area Contact Help

2009

Barnat, J. and Chaloupka, J. and van de Pol, J.C. (2009) Distributed Algorithms for SCC Decomposition. Journal of Logic and Computation, Advance Access published February 17, 2009, doi:10.1093/logcom/exp003. ISSN 0955-792X

Blom, S.C.C. and Lisser, B. and van de Pol, J.C. and Weber, M. (2009) A Database Approach to Distributed State-Space Generation. Journal of Logic and Computation, Advance Access published March 5, 2009, doi:10.1093/logcom/exp004. ISSN 0955-792X

Blom, S.C.C. and van de Pol, J.C. and Weber, M. (2009) Bridging the Gap between Enumerative and Symbolic Model Checkers. Technical Report TR-CTIT-09-30, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

2008

Barnat, J. and Brim, L. and Šimeček, P. and Weber, M. (2008) Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. In: 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, 29 Mar - 06 Apr 2008, Budapest, Hungary. pp. 48-62. Lecture Notes in Computer Science 4963. Springer Verlag. ISBN 978-3-540-78799-0

Barnat, J. and Chaloupka, J. and van de Pol, J.C. (2008) Improved Distributed Algorithms for SCC Decomposition. In: Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 8 Jul 2007, Berlin. pp. 63-77. Electronic Notes in Theoretical Computer Science 198 (1). Elsevier. ISSN 1571-0661

Blom, S.C.C. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and van de Pol, J.C. (2008) Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. In: Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 29 Mar 2008, Budapest, Hungary. pp. 35-50. Electronic Notes in Theoretical Computer Science 220 (2). Elsevier. ISSN 1571-0661

Blom, S.C.C. and Lisser, B. and van de Pol, J.C. and Weber, M. (2008) A Database Approach to Distributed State Space Generation. In: Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 8 Jul 2007, Berlin. pp. 17-32. Electronic Notes in Theoretical Computer Science 198 (1). Elsevier. ISSN 1571-0661

Kuntz, G.W.M. and Haverkort, B.R.H.M. (2008) Formal Dependability Engineering with MIOA. Technical Report TR-CTIT-08-39, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

van de Pol, J.C. and Weber, M. (2008) A Multi-Core Solver for Parity Games. In: Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 29 Mar 2008, Budapest, Hungary. pp. 19-34. Electronic Notes in Theoretical Computer Science 220 (2). Elsevier. ISSN 1571-0661

2007

Blom, S.C.C. and Lisser, B. and van de Pol, J.C. and Weber, M. (2007) A Database Approach to Distributed State Space Generation. In: Participants Proceedings of the Sixth International Workshop on Parallel and Distributed Methods in Verification, 08 Jul 2007, Berlin, Germany. pp. 17-32. CTIT. ISSN 0929-0672

Brim, L. and Haverkort, B.R.H.M. and Leucker, M. and van de Pol, J.C. (2007) Preface. In: Formal Methods: Applications and Technology, 26-31 Aug 2006, Bonn, Germany. V-VI. Lecture Notes in Computer Science 4346. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-70951-0

Haverkort, B.R.H.M. and Kuntz, G.W.M. (2007) Extending the Logic IM-SPDL with Impulse and State Rewards. Technical Report TR-CTIT-07-58, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Kuntz, G.W.M. and Haverkort, B.R.H.M. (2007) GCSRL - A Logic for Stochastic Reward Models with Timed and Untimed Behaviour. In: Proceedings of The Eighth International Workshop on Performability Modeling of Computer and Communication Systems, 20-21 Sept 2007, Edinburgh, UK. pp. 50-56. Centre for Telematics and Information Technology, University of Twente. ISSN 0929-0672

Kuntz, G.W.M. and Haverkort, B.R.H.M. (2007) Faster SPDL Model Checking Through Property-Driven State Space Generation. In: Proceedings of the Fourth European Performance Engineering Workshop, EPEW 2007, 27-28 Sept 2007, Berlin, Germany. pp. 80-96. Lecture Notes in Computer Science 4748. Springer Verlag. ISBN 978-3-540-75210-3

Kuntz, G.W.M. and Haverkort, B.R.H.M. (2007) Parallel CSRL Model Checking: First Results and Pointers to the Future. In: Proceedings of the Sixth International Workshop on Parallel and Distributed Methods in Verification, 08 July 2007, Berlin, Germany. pp. 105-120. CTIT. ISSN 0929-0672

Weber, M. (2007) An Embeddable Virtual Machine for State Space Generation. In: Proceedings of the 14th International SPIN Workshop, 1-3 Jul 2007, Berlin, Germany. pp. 168-186. Lecture Notes in Computer Science 2595. Springer Verlag. ISBN 978-3-540-73369-0

2006

Kuntz, G.W.M. and Siegle, M. (2006) CASPA: Symbolic Model Checking of Stochastic Systems. In: Proceedings of the 13th GI/ITG Conference Measureing, Modelling and Evaluation of Computer and Communication Systems, March 27-29, 2006, Nuernberg, Germany. pp. 465-468. VDE Verlag. ISBN 3-800-72945-8

Kuntz, G.W.M. and Siegle, M. (2006) Symbolic Model Checking of Stochastic Systems: Theory and Implementation. In: Proceedings of the 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria. pp. 89-107. Lecture Notes in Computer Science 3925. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-33102-5