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
    Filter
    Chapter

    Search results

    • 2018

      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)