| 2009 |
|---|
| 11 | EE | Radu Mateescu,
Anton Wijs:
Hierarchical Adaptive State Space Caching Based on Level Sampling.
TACAS 2009: 215-229 |
| 2008 |
|---|
| 10 | EE | Stefan Edelkamp,
Viktor Schuppan,
Dragan Bosnacki,
Anton Wijs,
Ansgar Fehnker,
Husain Aljazzar:
Survey on Directed Model Checking.
MoChArt 2008: 65-89 |
| 9 | EE | Muhammad Torabi Dashti,
Anton Wijs,
Bert Lisser:
Distributed Partial Order Reduction for Security Protocols.
Electr. Notes Theor. Comput. Sci. 198(1): 93-99 (2008) |
| 8 | EE | Wan Fokkink,
Jun Pang,
Anton Wijs:
Is Timed Branching Bisimilarity a Congruence Indeed?
Fundam. Inform. 87(3-4): 287-311 (2008) |
| 2007 |
|---|
| 7 | EE | Muhammad Torabi Dashti,
Anton Wijs:
Pruning State Spaces with Extended Beam Search.
ATVA 2007: 543-552 |
| 6 | EE | Anton Wijs:
Achieving Discrete Relative Timing with Untimed Process Algebra.
ICECCS 2007: 35-46 |
| 5 | EE | 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 |
|---|
| 4 | EE | Anton Wijs,
Bert Lisser:
Distributed Extended Beam Search for Quantitative Model Checking.
MoChArt 2006: 166-184 |
| 2005 |
|---|
| 3 | EE | Wan Fokkink,
Jun Pang,
Anton Wijs:
Is Timed Branching Bisimilarity an Equivalence Indeed?.
FORMATS 2005: 258-272 |
| 2 | EE | Anton Wijs,
Wan Fokkink:
From chi-t to µCRL: Combining Performance and Functional Analysis.
ICECCS 2005: 184-193 |
| 1 | EE | E. 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) |
