×

zbMATH — the first resource for mathematics

Wijs, Anton J.

Compute Distance To:
Author ID: wijs.anton-j Recent zbMATH articles by "Wijs, Anton J."
Published as: Wijs, Anton; Wijs, A. J.; Wijs, Anton J.
External Links: MGP
Documents Indexed: 20 Publications since 2005, including 1 Book

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 27 times in 19 Documents Cited by Year
Survey on directed model checking. Zbl 1226.68042
Edelkamp, Stefan; Schuppan, Viktor; Bošnački, Dragan; Wijs, Anton; Fehnker, Ansgar; Aljazzar, Husain
5
2009
An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation. Zbl 1367.68211
Groote, Jan Friso; Jansen, David N.; Keiren, Jeroen J. A.; Wijs, Anton J.
5
2017
Distributed extended beam search for quantitative model checking. Zbl 1196.90052
Wijs, A. J.; Lisser, B.
3
2007
Pruning state spaces with extended beam search. Zbl 1141.68493
Torabi Dashti, Mohammad; Wijs, Anton J.
2
2007
Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal. Zbl 1088.68523
Bortnik, E.; Trčka, N.; Wijs, A. J.; Luttik, B.; Van De Mortel-Fronczak, J. M.; Baeten, J. C. M.; Fokkink, W. J.; Rooda, J. E.
2
2005
Is timed branching bisimilarity an equivalence indeed? Zbl 1175.68277
Fokkink, Wan; Pang, Jun; Wijs, Anton
2
2005
Efficient property preservation checking of model refinements. Zbl 1381.68187
Wijs, Anton; Engelen, Luc
2
2013
Multi-core nested depth-first search. Zbl 1348.68142
Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton
1
2011
Hierarchical adaptive state space caching based on level sampling. Zbl 1234.68261
Mateescu, Radu; Wijs, Anton
1
2009
A formal verification technique for behavioural model-to-model transformations. Zbl 1380.68286
de Putter, Sander; Wijs, Anton
1
2018
Verifying a verifier: on the formal correctness of an LTS transformation verification technique. Zbl 1378.68114
de Putter, Sander; Wijs, Anton
1
2016
An \(O(m\log n)\) algorithm for stuttering equivalence and branching bisimulation. Zbl 1420.68146
Groote, Jan Friso; Wijs, Anton
1
2016
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Zbl 1404.68204
Wijs, Anton; Katoen, Joost-Pieter; Bošnački, Dragan
1
2016
A formal verification technique for behavioural model-to-model transformations. Zbl 1380.68286
de Putter, Sander; Wijs, Anton
1
2018
An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation. Zbl 1367.68211
Groote, Jan Friso; Jansen, David N.; Keiren, Jeroen J. A.; Wijs, Anton J.
5
2017
Verifying a verifier: on the formal correctness of an LTS transformation verification technique. Zbl 1378.68114
de Putter, Sander; Wijs, Anton
1
2016
An \(O(m\log n)\) algorithm for stuttering equivalence and branching bisimulation. Zbl 1420.68146
Groote, Jan Friso; Wijs, Anton
1
2016
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Zbl 1404.68204
Wijs, Anton; Katoen, Joost-Pieter; Bošnački, Dragan
1
2016
Efficient property preservation checking of model refinements. Zbl 1381.68187
Wijs, Anton; Engelen, Luc
2
2013
Multi-core nested depth-first search. Zbl 1348.68142
Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton
1
2011
Survey on directed model checking. Zbl 1226.68042
Edelkamp, Stefan; Schuppan, Viktor; Bošnački, Dragan; Wijs, Anton; Fehnker, Ansgar; Aljazzar, Husain
5
2009
Hierarchical adaptive state space caching based on level sampling. Zbl 1234.68261
Mateescu, Radu; Wijs, Anton
1
2009
Distributed extended beam search for quantitative model checking. Zbl 1196.90052
Wijs, A. J.; Lisser, B.
3
2007
Pruning state spaces with extended beam search. Zbl 1141.68493
Torabi Dashti, Mohammad; Wijs, Anton J.
2
2007
Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal. Zbl 1088.68523
Bortnik, E.; Trčka, N.; Wijs, A. J.; Luttik, B.; Van De Mortel-Fronczak, J. M.; Baeten, J. C. M.; Fokkink, W. J.; Rooda, J. E.
2
2005
Is timed branching bisimilarity an equivalence indeed? Zbl 1175.68277
Fokkink, Wan; Pang, Jun; Wijs, Anton
2
2005

Citations by Year