| 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) |
