EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: CEDICT: 3TU Center of Excellence for ICT
Home Policy Brochure Browse Search User Area Contact Help

2016

Laarman, A.W. and Pater, E. and van de Pol, J.C. and Hansen, H. (2016) Guard-based partial-order reduction. International journal on software tools for technology transfer, 18 (4). pp. 427-448. ISSN 1433-2779

2014

Bloemen, V. and Diaz, D. and van der Bijl, H.M. and Abreu, S. (2014) Extending the Finite Domain Solver of GNU Prolog. In: Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014, 17-18 Jul 2014, Vienna, Austria. pp. 47-62. Aachener Informatik-Berichte (AIB-2014-09). RWTH Aachen, Department of Computer Science. ISSN 0935-3232
Laarman, A.W. (2014) Scalable multi-core model checking. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 14-308 ISBN 978-90-365-3656-1

2013

Laarman, A.W. and Faragó, D. (2013) Improved On-The-Fly Livelock Detection: Combining Partial Order Reduction and Parallelism for DFSFIFO In: Proceedings of the Fifth NASA Formal Methods Symposium, NFM 2013, 14-16 May 2013, Moffett Field, CA, USA. Lecture Notes in Computer Science . Springer Verlag.
Laarman, A.W. and Olesen, M.Chr. and Dalsgaard, A.E. and Larsen, K.G. and van de Pol, J.C. (2013) Multi-core emptiness checking of timed Büchi automata using inclusion abstraction. In: Proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013, 13-19 July 2013, Saint Petersburg, Russia. pp. 968-983. Lecture Notes in Computer Science. Springer Verlag. ISBN 978-3-642-39798-1
Laarman, A.W. and Pater, E. and van de Pol, J.C. and Weber, Michael (2013) Guard-based Partial-Order Reduction. In: Proceedings of the 20th International SPIN Symposium on Model Checking of Software, SPIN 2013, 8-9 July 2013, Stony Brook, NY, USA. pp. 227-245. Lecture Notes in Computer Science . Springer Verlag. ISBN 978-3-642-39175-0

2012

van der Berg, F.I. and Laarman, A.W. (2012) SpinS: Extending LTSmin with Promela through SpinJa. In: 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012, 17 Sept. 2012, London, UK. pp. 95-105. Electronic Notes in Theoretical Computer Science 296. Elsevier. ISSN 1571-0661
Dalsgaard, A.E. and Laarman, A.W. and Larsen, K.G. and Olesen, M.Chr. and van de Pol, J.C. (2012) Multi-Core Reachability for Timed Automata. In: 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, 18-20 Sep 2012, London, UK. pp. 91-106. Lecture Notes in Computer Science 7595. Springer Verlag. ISBN 978-3-642-33365-1
van Dijk, T. and Laarman, A.W. and van de Pol, J.C. (2012) Multi-core and/or symbolic model checking. (Invited) In: 12th International Workshop on Automated Verification of Critical Systems, AVoCS 2012, 18-20 Sep 2012, Bamberg, Germany. 773:1-773:7. Electronic Communications of the EASST 53. EASST. ISSN 1863-2122
Evangelista, S. and Laarman, A.W. and Petrucci, L. and van de Pol, J.C. (2012) Improved Multi-Core Nested Depth-First Search. In: Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, 3-6 Oct 2012, Thiruvananthapuram (Trivandrum), Kerala. pp. 269-283. Lecture Notes in Computer Science 7561. Springer Verlag. ISBN 978-3-642-33386-6
Sadre, R. and Remke, A.K.I. and Hettinga, S.A. and Haverkort, B.R.H.M. (2012) Simulative and Analytical Evaluation for ASD-Based Embedded Software. In: 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings, 19-21 Mar 2012, Kaiserslautern, Germany. pp. 166-181. Lecture Notes in Computer Science 7201. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-28539-4

2011

Laarman, A.W. and Langerak, R. and van de Pol, J.C. and Weber, Michael and Wijs, A. (2011) Multi-Core Nested Depth-First Search. In: Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, 11-14 Oct 2011, Tapei, Taiwan. pp. 321-335. Lecture Notes in Computer Science 6996. Springer Verlag. ISBN 978-3-642-24372-1
Laarman, A.W. and van de Pol, J.C. (2011) Variations on Multi-Core Nested Depth-First Search. (Invited) In: Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, 14 Jul 2011, Snowbird, Utah. pp. 13-28. Electronic Proceedings in Theoretical Computer Science 72. EPTCS. ISSN 2075-2180
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2011) Parallel Recursive State Compression for Free. Technical Report arXiv:1104.3119, ArXiv, Ithaca, NY. ISSN not assigned
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2011) Multi-Core LTSmin: Marrying Modularity and Scalability. In: Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, 18-20 Apr 2011, Pasadena, CA, USA. pp. 506-511. Lecture Notes in Computer Science 6617. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-20397-8
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2011) Parallel Recursive State Compression for Free. In: Proceedings of the 18th International SPIN Workshop, SPIN 2011, 14-15 Jul 2011, Snow Bird, Utah. pp. 38-56. Lecture Notes in Computer Science 6823. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-22305-1
van der Vegt, S. and Laarman, A.W. (2011) A Parallel Compact Hash Table. In: Proceedings of Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, 14-16 Oct 2011, Lednice, Czech Republic. pp. 191-204. Lecture Notes in Computer Science 7119. Springer Verlag. ISBN 978-3-642-25929-6

2010

Ballarini, P. and Barnat, J. and Weber, Michael (2010) Preface. In: Proceedings of the 9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC) and the 2nd International Workshop on High Performance Computational Systems Biology (HiBi), 30 Sep - 1 Oct 2010, Enschede, the Netherlands. vii-viii. IEEE Computer Society. ISBN 978-0-7695-4265-2
Blom, S.C.C. and van de Pol, J.C. and Weber, Michael (2010) LTSmin: Distributed and Symbolic Reachability. In: Computer Aided Verification, 15-19 Jul 2010, Edinburgh. pp. 354-359. Lecture Notes in Computer Science 6174. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-14294-9
Haverkort, B.R.H.M. and Kuntz, G.W.M. and Remke, A.K.I. and Roolvink, S. and Stoelinga, M.I.A. (2010) Evaluating Repair Strategies for a Water-Treatment Facility using Arcade. In: 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA. pp. 419-424. IEEE Computer Society. ISBN 978-1-4244-7499-8
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. In: Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design, 20 Oct - 23 Oct 2010, Lugano, Switzerland. pp. 247-256. IEEE Computer Society. ISBN 978-1-4577-0734-6
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. Technical Report arXiv:1004.2772, ArXiv, Ithaca, NY.
van de Pol, J.C. and Weber, Michael (2010) Preface. In: 17th International SPIN Workshop on Model Checking Software, 27-29 Sep 2010, Enschede, The Netherlands. v-vi. Lecture Notes in Computer Science 6349. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-16163-6