EEMCS

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

EEMCS EPrints Service


Author: Laarman, A.W.
Home Policy Brochure Browse Search User Area Contact Help

2016

Bloemen, V. and Laarman, A.W. and van de Pol, J.C. (2016) Multi-Core On-The-Fly SCC Decomposition. In: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016, 12-16 March 2016, Barcelona, Spain. 8. ACM. ISBN 978-1-4503-4092-2
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

2015

Kant, G. and Laarman, A.W. and Meijer, J.J.G. and van de Pol, J.C. and Blom, S.C.C. and van Dijk, T. (2015) LTSmin: High-Performance Language-Independent Model Checking. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science 9035. Springer Verlag, London, pp. 692-707. ISSN 0302-9743 ISBN 978-3-662-46680-3

2014

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 BDD Operations for Symbolic Reachability. In: 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012, 17 Sept. 2012, London, UK. pp. 127-143. Electronic Notes in Theoretical Computer Science 296. Elsevier. ISSN 2075-2180
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

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

Laarman, A.W. and Kurtev, I. (2010) Ontological Metamodeling with Explicit Instantiation. In: 2nd Int. Conf. on Software Language Engineering (SLE), 5-6 Oct 2009, Denver, CO, USA. pp. 174-183. LNCS 5969. Springer Verlag. ISBN 978-3-642-12106-7
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.

2009

Laarman, A.W. (2009) An Ontology-Based Metalanguage with Explicit Instantiation. Master's thesis, University of Twente.
Laarman, A.W. (2009) Achieving QVTO & ATL Interoperability: An Experience Report on the Realization of a QVTO to ATL Compiler. In: 1st International Workshop on Model Transformation with ATL, MtATL 2009, 8-9 Jul 2009, Nantes, France. pp. 119-133. CEUR Workshop Proceedings. Sun SITE Central Europe. ISSN 1613-0073

2006

Laarman, A.W. (2006) Improving a Modular Verification Technique for Aspect Oriented Programming. In: 5th Twente Student Conference on Information Technology, 26 Jun 2006, Enschede, The Netherlands. pp. 37-40. Twente Student Conference on IT 5. Twente University Press. ISSN 1574-0293