EEMCS

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

EEMCS EPrints Service


Research Project: MADRID: Multi Core Decision Diagrams
Home Policy Brochure Browse Search User Area Contact Help

2016

van Dijk, T. (2016) Sylvan - Multi-core decision diagrams. PhD thesis, University of Twente. CTIT Ph.D.-thesis no. 16-398 ISBN 978-90-365-4160-2

2015

van Dijk, T. and Hahn, E.M. and Jansen, D.N. and Li, Yong and Neele, T. and Stoelinga, M.I.A. and Turrini, A. and Zhang, Lijun (2015) A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. In: Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), 4-6 Nov 2015, Nanjing, China. pp. 35-51. Lecture Notes in Computer Science 9409. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-25941-3
van Dijk, T. and van de Pol, J.C. (2015) Sylvan: Multi-core Decision Diagrams. In: Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, 11-18 Apr 2015, London, UK. pp. 677-691. Lecture Notes in Computer Science 9035. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-46680-3
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

van Dijk, T. and van de Pol, J.C. (2014) Lace: non-blocking split deque for work-stealing. In: Proceedings of the 7th International Euro-Par Workshop on Multi-/Many-core Computing Systems, MuCoCoS 2014, 26 Aug 2014, Porto, Portugal. pp. 206-217. Lecture Notes in Computer Science 8806. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-14312-5

2012

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