Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Anton Wijs
2010 – today
- 2013
[c16]Anton Wijs, Luc Engelen: Efficient Property Preservation Checking of Model Refinements. TACAS 2013: 565-579- 2012
- [j8]Dragan Bonaki, Maximilian R. Odenbrett, Anton Wijs, Willem P. A. Ligtenberg, Peter A. J. Hilbers: Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors. BMC Bioinformatics 13: 281 (2012)
- [j7]Anton Wijs, Mohammad Torabi Dashti: Extended beam search for non-exhaustive state space analysis. J. Log. Algebr. Program. 81(1): 46-69 (2012)
- [j6]Radu Mateescu, Anton Wijs: Sequential and distributed on-the-fly computation of weak tau-confluence. Sci. Comput. Program. 77(10-11): 1075-1094 (2012)
- [c15]Anton Wijs, Dragan Bosnacki: Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking. SPIN 2012: 98-116
- [e1]Anton Wijs, Dragan Bosnacki, Stefan Edelkamp (Eds.): Proceedings First Workshop on GRAPH Inspection and Traversal Engineering. EPTCS 99, 2012
- 2011
- [j5]Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs: Parallel probabilistic model checking on general purpose graphics processors. STTT 13(1): 21-35 (2011)
- [c14]Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs: Multi-core Nested Depth-First Search. ATVA 2011: 321-335
- [c13]
- [c12]
- [c11]
- 2010
- [c10]Wan Fokkink, Mohammad Torabi Dashti, Anton Wijs: Partial Order Reduction for Branching Security Protocols. ACSD 2010: 191-200
- [c9]
2000 – 2009
- 2009
- [j4]Anton Wijs, Jaco van de Pol, Elena M. Bortnik: Solving scheduling problems by untimed model checking. STTT 11(5): 375-392 (2009)
- [c8]Radu Mateescu, Anton Wijs: Hierarchical Adaptive State Space Caching Based on Level Sampling. TACAS 2009: 215-229
- 2008
- [j3]Muhammad Torabi Dashti, Anton Wijs, Bert Lisser: Distributed Partial Order Reduction for Security Protocols. Electr. Notes Theor. Comput. Sci. 198(1): 93-99 (2008)
- [j2]Wan Fokkink, Jun Pang, Anton Wijs: Is Timed Branching Bisimilarity a Congruence Indeed? Fundam. Inform. 87(3-4): 287-311 (2008)
- [c7]Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
- 2007
- [c6]Muhammad Torabi Dashti, Anton Wijs: Pruning State Spaces with Extended Beam Search. ATVA 2007: 543-552
- [c5]
- [c4]Stefan Blom, Jens R. Calame, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs: Distributed Analysis with mu CRL: A Compendium of Case Studies. TACAS 2007: 683-689
- 2006
- [c3]Anton Wijs, Bert Lisser: Distributed Extended Beam Search for Quantitative Model Checking. MoChArt 2006: 166-184
- 2005
- [j1]Elena M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan Fokkink, J. E. Rooda: Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. J. Log. Algebr. Program. 65(2): 51-104 (2005)
- [c2]Wan Fokkink, Jun Pang, Anton Wijs: Is Timed Branching Bisimilarity an Equivalence Indeed?. FORMATS 2005: 258-272
- [c1]Anton Wijs, Wan Fokkink: From chi-t to µCRL: Combining Performance and Functional Analysis. ICECCS 2005: 184-193
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:56 CEST by the dblp team