Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Author: Bloemen, V.
Home Policy Brochure Browse Search User Area Contact Help


Bloemen, V. (2016) Parallel Model Checking of ω-Automata. In: Proceedings of the Formal Methods 2016 Doctoral Symposium co-located with 21st International Symposium on Formal Methods (FM 2016), 8 Nov 2016, Limassol, Cyprus. 1. CEUR Workshop Proceedings. ISSN 1613-0073
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
Bloemen, V. and van de Pol, J.C. (2016) Multi-core SCC-Based LTL Model Checking. In: Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016, 14-17 Nov 2016, Haifa, Israel. pp. 18-33. Lecture Notes in Computer Science 10028. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-49051-9


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