×
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

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 47 times in 38 Documents Cited by Year
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.
13
2017
Survey on directed model checking. Zbl 1226.68042
Edelkamp, Stefan; Schuppan, Viktor; Bošnački, Dragan; Wijs, Anton; Fehnker, Ansgar; Aljazzar, Husain
7
2009
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
4
2016
Distributed extended beam search for quantitative model checking. Zbl 1196.90052
Wijs, A. J.; Lisser, B.
3
2007
An \(O(m\log n)\) algorithm for stuttering equivalence and branching bisimulation. Zbl 1420.68146
Groote, Jan Friso; Wijs, Anton
3
2016
A formal verification technique for behavioural model-to-model transformations. Zbl 1380.68286
de Putter, Sander; Wijs, Anton
2
2018
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
Pruning state spaces with extended beam search. Zbl 1141.68493
Torabi Dashti, Mohammad; Wijs, Anton J.
2
2007
Is timed branching bisimilarity an equivalence indeed? Zbl 1175.68277
Fokkink, Wan; Pang, Jun; Wijs, Anton
2
2005
Multi-core nested depth-first search. Zbl 1348.68142
Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton
2
2011
Efficient property preservation checking of model refinements. Zbl 1381.68187
Wijs, Anton; Engelen, Luc
2
2013
Hierarchical adaptive state space caching based on level sampling. Zbl 1234.68261
Mateescu, Radu; Wijs, Anton
1
2009
BFS-based model checking of linear-time properties with an application on GPUs. Zbl 1411.68072
Wijs, Anton
1
2016
Verifying a verifier: on the formal correctness of an LTS transformation verification technique. Zbl 1378.68114
de Putter, Sander; Wijs, Anton
1
2016
Parallel algorithms for transitive reduction for weighted graphs. Zbl 1337.05097
Bošnački, Dragan; Ligtenberg, Willen; Odenbrett, Maximilian; Wijs, Anton; Hilbers, Peter
1
2010
Sequential and distributed on-the-fly computation of weak tau-confluence. Zbl 1243.68219
Mateescu, Radu; Wijs, Anton
1
2012
A formal verification technique for behavioural model-to-model transformations. Zbl 1380.68286
de Putter, Sander; Wijs, Anton
2
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.
13
2017
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
4
2016
An \(O(m\log n)\) algorithm for stuttering equivalence and branching bisimulation. Zbl 1420.68146
Groote, Jan Friso; Wijs, Anton
3
2016
BFS-based model checking of linear-time properties with an application on GPUs. Zbl 1411.68072
Wijs, Anton
1
2016
Verifying a verifier: on the formal correctness of an LTS transformation verification technique. Zbl 1378.68114
de Putter, Sander; Wijs, Anton
1
2016
Efficient property preservation checking of model refinements. Zbl 1381.68187
Wijs, Anton; Engelen, Luc
2
2013
Sequential and distributed on-the-fly computation of weak tau-confluence. Zbl 1243.68219
Mateescu, Radu; Wijs, Anton
1
2012
Multi-core nested depth-first search. Zbl 1348.68142
Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton
2
2011
Parallel algorithms for transitive reduction for weighted graphs. Zbl 1337.05097
Bošnački, Dragan; Ligtenberg, Willen; Odenbrett, Maximilian; Wijs, Anton; Hilbers, Peter
1
2010
Survey on directed model checking. Zbl 1226.68042
Edelkamp, Stefan; Schuppan, Viktor; Bošnački, Dragan; Wijs, Anton; Fehnker, Ansgar; Aljazzar, Husain
7
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
all top 5

Cited by 88 Authors

7 Wijs, Anton J.
6 Groote, Jan Friso
3 Brim, Luboš
3 Jansen, David N.
3 Mateescu, Radu
2 Beneš, Nikola
2 de Putter, Sander
2 Edelkamp, Stefan
2 Gorrieri, Roberto
2 Lang, Frédéric
2 Luttik, Bas
2 Mazzanti, Franco
2 Milius, Stefan
2 Pastva, Samuel
2 Reniers, Michel Adriaan
2 Rooda, Jacobus E.
2 Šafránek, David
2 Schiffelers, R. R. H.
2 Schröder, Lutz
2 van Beek, D. A.
2 Willemse, Tim A. C.
2 Wißmann, Thorsten
2 Yang, Pengfei
1 Aljazzar, Husain
1 Alvarez-Picallo, Mario
1 Baeten, Jos C. M.
1 Barnat, Jiří
1 Blondin, Michael
1 Bošnački, Dragan
1 Castiglioni, Valentina
1 Challen, Geoffrey
1 Chandra, Ranveer
1 Cuijpers, Pieter J. L.
1 Dashti, M. Torabi
1 de Vink, Erik P.
1 Deifel, Hans-Peter
1 Dorsch, Ulrich
1 Eisentraut, Christian
1 Engels, Tom A. N.
1 Fehnker, Ansgar
1 Geuvers, Jan Herman
1 Godskesen, Jens Chr.
1 Gribovskaya, Nataliya Sergeevna
1 Haase, Christoph
1 Hermanns, Holger
1 Hijma, Pieter
1 Huisman, Marieke
1 Jacobs, Bart
1 Jensen, Peter Gjøl
1 Keiren, Jeroen J. A.
1 Kim, Eunhee
1 Kupferschmid, Sebastian
1 Kwon, YoungMin
1 Lafortune, Stéphane
1 Lahiri, Shuvendu Kumar
1 Laveaux, Maurice
1 Malik, Robi
1 Man, Ka Lok
1 Martens, Jan
1 Mohajerani, Sahar
1 Offtermatt, Philip
1 Oortwijn, Wytse
1 Ozay, Necmiye
1 Pacaud Lemay, Jean-Simon
1 Rivera Verduzco, Jao
1 Safari, Mohsen
1 Schuppan, Viktor
1 Shi, Jinghao
1 Šimeček, Pavel
1 Song, Lei
1 Spaninks, Linda
1 Srba, Jiří
1 Sulewski, Damian
1 Theunissen, R. J. M.
1 Timmers, Ferry
1 Tini, Simone
1 Treur, Jan
1 Ulrik, Nikolaj Jensen
1 van Eerd, Johri
1 van Glabbeek, Robert Jan
1 Van Weerdenburg, Muck J.
1 Virbitskaite, Irina B.
1 Virenfeldt, Simon Mejlby
1 Wang, Guoyin
1 Wehrle, Martin
1 Wintenberg, Andrew
1 Xu, Taihua
1 Zhang, Lijun

Citations by Year