Strong Connectivity and Shortest Paths for Checking Models

Vincent Bloemen

    Research output: Thesis › PhD Thesis - Research UT, graduation UT

    536 Downloads (Pure)
    • 5 Conference contribution
    • 2 Chapter

    Search results

    • 2018

      Maximizing Synchronization for Aligning Observed and Modelled Behaviour

      Bloemen, V., van Zelst, S. J., van der Aalst, W. M. P., van Dongen, B. F. & van de Pol, J., 2018, Business Process Management: 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings. Weske, M., Montali, M., vom Brocke, J. & Weber, I. (eds.). Cham: Springer, Vol. 11080. p. 233-249 17 p.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

      Open Access
      File
      14 Citations (Scopus)
      263 Downloads (Pure)

    • Parallel Model Checking Algorithms for Linear-Time Temporal Logic

      Barnat, J., Bloemen, V., Duret-Lutz, A., Laarman, A., Petrucci, L., van de Pol, J. & Renault, E., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 457-507 51 p.

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

      Open Access
      File
      19 Citations (Scopus)
      508 Downloads (Pure)

    • Symbolically Aligning Observed and Modelled Behaviour

      Bloemen, V., van de Pol, J. & van der Aalst, W. M. P., 2018, 2018 18th International Conference on Application of Concurrency to System Design : Proceedings. IEEE, p. 50-59 10 p.

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

      Open Access
      File
      13 Citations (Scopus)
      229 Downloads (Pure)
    • 2017

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

      Bloemen, V., Duret-Lutz, A. & van de Pol, J., 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: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

      1 Citation (Scopus)
      21 Downloads (Pure)
    • 2016

      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: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

      File
      29 Citations (Scopus)
      606 Downloads (Pure)

    • 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, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10028).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

      File
      13 Citations (Scopus)
      109 Downloads (Pure)

    • 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, p. 1 6 p.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

      Open Access
      File
      77 Downloads (Pure)