Search the dblp DataBase

Publications of Author

1. Wan Fokkink, Jun Pang, Anton Wijs
   Is Timed Branching Bisimilarity an Equivalence Indeed?. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2005, pp:258-272 [Conf]
   
2. Anton Wijs, Wan Fokkink
   From chi-t to µCRL: Combining Performance and Functional Analysis. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2005, pp:184-193 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2005, v:65, n:2, pp:51-104 [Journal]
   
4. Muhammad Torabi Dashti, Anton Wijs
   Pruning State Spaces with Extended Beam Search. [Citation Graph (0, 0)][DBLP]
   ATVA, 2007, pp:543-552 [Conf]
   
5. Anton Wijs
   Achieving Discrete Relative Timing with Untimed Process Algebra. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2007, pp:35-46 [Conf]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   TACAS, 2007, pp:683-689 [Conf]
   
7. Anton Wijs, Bert Lisser
   Distributed Extended Beam Search for Quantitative Model Checking. [Citation Graph (0, 0)][DBLP]
   MoChArt, 2006, pp:166-184 [Conf]
   
8. 
   Forgetting the Time in Timed Process Algebra. [Citation Graph (, )][DBLP]
   
   
9. 
   Hierarchical Adaptive State Space Caching Based on Level Sampling. [Citation Graph (, )][DBLP]
   
   
10. 
    Survey on Directed Model Checking. [Citation Graph (, )][DBLP]
    
    
11. 
    Distributed Partial Order Reduction for Security Protocols. [Citation Graph (, )][DBLP]