Research Output 2014 2017

  • 5 Conference contribution
Filter
Conference contribution
2017

Explicit State Model Checking with Generalized Büchi and Rabin Automata

Bloemen, V., Duret-Lutz, A. & Pol, J. V. D. Jul 2017 SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, p. 50-59 10 p.

Research output: Scientific - peer-reviewConference contribution

Model checking
Set theory
Experiments
2016
9 Citations

Multi-Core On-The-Fly SCC Decomposition

Bloemen, V., Laarman, A. & van de Pol, J. C. Mar 2016 Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016. New York: Association for Computing Machinery, p. 8 12 p.

Research output: Scientific - peer-reviewConference contribution

Model checking
Parallel algorithms
Data structures
Scalability
2 Citations

Multi-core SCC-Based LTL Model Checking

Bloemen, V. & van de Pol, J. C. Nov 2016 Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016. Bloem, R. & Arbel, E. (eds.). Cham: Springer International Publishing, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10028)

Research output: Scientific - peer-reviewConference contribution

Model checking
Scalability
Decomposition
Experiments

Parallel Model Checking of ω-Automata

Bloemen, V. 8 Nov 2016 Proceedings of the Formal Methods 2016 Doctoral Symposium co-located with 21st International Symposium on Formal Methods (FM 2016). Butterfield, A. & Rossi, M. (eds.). Aachen: CEUR Workshop Proceedings, p. 1 6 p.

Research output: Scientific - peer-reviewConference contribution

Model checking
Parallel algorithms
Specifications
Hardware
2014

Extending the Finite Domain Solver of GNU Prolog

Bloemen, V., Diaz, D., van der Bijl, M. & Abreu, S. Jul 2014 Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014. Ströder, T. & Swift, T. (eds.). Aachen: RWTH Aachen, p. 47-62 16 p. (Aachener Informatik-Berichte (AIB); no. 2014-09)

Research output: Scientific - peer-reviewConference contribution