Anton Wijs

An <i>O</i> ( <i>m</i> log <i>n</i> ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation

Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren et al. · ACM Transactions on Computational Logic · 2017 · 41 citations · Full text

Branching Bisimulation, Computational Complexity Theory, Engineering +14

Parallel probabilistic model checking on general purpose graphics processors

Dragan Bošnački, Stefan Edelkamp, Damian Sulewski et al. · International Journal on Software Tools for Technology Transfer · 2010 · 39 citations

Engineering, Probabilistic Verification, Verification +10

Analyzing a χ model of a turntable system using Spin, CADP and Uppaal

Elena M. Bortnik, Nikola Trčka, Anton Wijs et al. · The Journal of Logic and Algebraic Programming · 2005 · 39 citations · Full text

χ Model, Turntable System, Computer Engineering +1

Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components

Anton Wijs, Joost-Pieter Katoen, Dragan Bošnački · Formal Methods in System Design · 2016 · 33 citations · Full text

Formalizing correspondence rules for automotive architecture views

Yanja Dajsuren, Christine M. Gerpheide, Alexander Serebrenik et al. · 2014 · 31 citations

Engineering, Software Engineering, Architecture Specification +18