Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2006
Number of items: 20.

2014

Laarman, Alfons Wilhelmus (2014) Scalable multi-core model checking. thesis.

2013

Laarman, Alfons and Faragó, David (2013) Improved on-the-fly livelock detection: combining partial order reduction and parallelism for $DFS_{FIFO}$. In: Fifth NASA Formal Methods Symposium, NFM 2013, 14-16 May 2013, Moffett Field, CA, USA.

Laarman, Alfons and Olesen, Mads Chr. and Dalsgaard, Andreas and Larsen, Kim G. and Pol, Jaco van de (2013) Multi-core emptiness checking of timed Büchi automata using inclusion abstraction. In: 25th International Conference on Computer Aided Verification, CAV 2013, 13-19 July 2013, Saint Petersburg, Russia.

Laarman, Alfons and Pater, Elwin and Pol, Jaco van de and Weber, Michael (2013) Guard-based partial-order reduction. In: 20th International SPIN Symposium on Model Checking of Software, SPIN 2013, 8-9 July 2013, Stony Brook, NY, USA.

2012

Berg, Freark van der and Laarman, Alfons (2012) SpinS: Extending LTSmin with Promela through SpinJa. In: 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012, 17 September 2012, London, UK.

Dalsgaard, Andreas and Laarman, Alfons and Larsen, Kim G. and Olesen, Mads Chr. and Pol, Jaco van de (2012) Multi-Core Reachability for Timed Automata. In: 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, 18-20 September 2012, London, UK (pp. pp. 91-106).

Dijk, T. van and Laarman, A.W. and Pol, J.C. van de (2012) Multi-Core BDD Operations for Symbolic Reachability. In: 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012, 17 September 2012, London, UK.

Dijk, Tom van and Laarman, Alfons and Pol, Jaco van de (2012) Multi-core and/or symbolic model checking. In: 12th International Workshop on Automated Verification of Critical Systems, AVoCS 2012, 18-20 September 2012, Bamberg, Germany.

Evangelista, Sami and Laarman, Alfons and Petrucci, Laure and Pol, Jaco van de (2012) Improved Multi-Core Nested Depth-First Search. In: 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, 3-6 October 2012, Thiruvananthapuram (Trivandrum), Kerala.

2011

Laarman, Alfons and Langerak, Rom and Pol, Jaco van de and Weber, Michael and Wijs, Anton (2011) Multi-Core Nested Depth-First Search. In: 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, 11-14 October 2011, Tapei, Taiwan.

Laarman, Alfons and Pol, Jaco van de (2011) Variations on Multi-Core Nested Depth-First Search. In: 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, 14 July 2011, Snowbird, Utah.

Laarman, Alfons and Pol, Jaco van de and Weber, Michael (2011) Multi-Core LTSmin: Marrying Modularity and Scalability. In: Third International Symposium on NASA Formal Methods, NFM 2011, 18-20 April 2011, Pasadena, CA, USA (pp. pp. 506-511).

Laarman, Alfons and Pol, Jaco van de and Weber, Michael (2011) Parallel Recursive State Compression for Free. In: 18th International SPIN Workshop on Model Checking of Software, SPIN 2011, 14-15 July 2011, Snow Bird, Utah.

Vegt, Steven van der and Laarman, Alfons (2011) A Parallel Compact Hash Table. In: Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, 14-16 Oct 2011, Lednice, Czech Republic.

2010

Laarman, Alfons and Kurtev, Ivan (2010) Ontological Metamodeling with Explicit Instantiation. In: Second International Conference on Software Language Engineering, SLE, October 5-6, 2009, Denver, CO, USA (pp. pp. 174-183).

Laarman, Alfons and Pol, Jaco van de and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. In: 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, 20-23 October 2010, Lugano, Switzerland (pp. pp. 247-255).

Laarman, Alfons and Pol, Jaco van de and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. [Report]

2009

Laarman, A.W. (2009) An Ontology-Based Metalanguage with Explicit Instantiation. [Masters Thesis]

Laarman, A.W. (2009) Achieving QVTO & ATL Interoperability: An Experience Report on the Realization of a QVTO to ATL Computer. In: 1st International Workshop on Model Transformation with ATL, MtATL 2009, 8-9 Jul 2009, Nantes, France (pp. pp. 119-133).

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. pp. 37-40).

This list was generated on Sat Oct 25 05:29:21 2014 CEST.