Anton Wijs

	2012
20		Anton Wijs, Mohammad Torabi Dashti: Extended beam search for non-exhaustive state space analysis. J. Log. Algebr. Program. 81(1): 46-69 (2012)
	2011
19		Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs: Multi-core Nested Depth-First Search. ATVA 2011: 321-335
18		Anton Wijs: Towards Informed Swarm Verification. NASA Formal Methods 2011: 422-437
17		Anton Wijs: The HIVE Tool for Informed Swarm State Space Exploration PDMC 2011: 91-98
16		Radu Mateescu, Anton Wijs: Property-Dependent Reductions for the Modal Mu-Calculus. SPIN 2011: 2-19
15		Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs: Parallel probabilistic model checking on general purpose graphics processors. STTT 13(1): 21-35 (2011)
	2010
14		Wan Fokkink, Mohammad Torabi Dashti, Anton Wijs: Partial Order Reduction for Branching Security Protocols. ACSD 2010: 191-200
13		Anton Wijs: Forgetting the Time in Timed Process Algebra. FMOODS/FORTE 2010: 110-124
	2009
12		Radu Mateescu, Anton Wijs: Hierarchical Adaptive State Space Caching Based on Level Sampling. TACAS 2009: 215-229
11		Anton Wijs, Jaco van de Pol, Elena M. Bortnik: Solving scheduling problems by untimed model checking. STTT 11(5): 375-392 (2009)
	2008
10		Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
9		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		Wan Fokkink, Jun Pang, Anton Wijs: Is Timed Branching Bisimilarity a Congruence Indeed? Fundam. Inform. 87(3-4): 287-311 (2008)
	2007
7		Muhammad Torabi Dashti, Anton Wijs: Pruning State Spaces with Extended Beam Search. ATVA 2007: 543-552
6		Anton Wijs: Achieving Discrete Relative Timing with Untimed Process Algebra. ICECCS 2007: 35-46
5		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		Anton Wijs, Bert Lisser: Distributed Extended Beam Search for Quantitative Model Checking. MoChArt 2006: 166-184
	2005
3		Wan Fokkink, Jun Pang, Anton Wijs: Is Timed Branching Bisimilarity an Equivalence Indeed?. FORMATS 2005: 258-272
2		Anton Wijs, Wan Fokkink: From chi-t to µCRL: Combining Performance and Functional Analysis. ICECCS 2005: 184-193
1		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)

Coauthor Index

1	Husain Aljazzar	[10]
2	Jos C. M. Baeten	[1]
3	Stefan Blom	[5]
4	Elena M. Bortnik	[1] [11]
5	Dragan Bosnacki	[10] [15]
6	Jens R. Calame	[5]
7	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[5] [7] [9] [14] [20]
8	Stefan Edelkamp	[10] [15]
9	Ansgar Fehnker	[10]
10	Wan Fokkink	[1] [2] [3] [8] [14]
11	Alfons Laarman	[19]
12	Rom Langerak	[19]
13	Bert Lisser	[4] [5] [9]
14	Bas Luttik (S. P. Luttik)	[1]
15	Radu Mateescu	[12] [16]
16	J. M. van de Mortel-Fronczak	[1]
17	Simona Orzan	[5]
18	Jun Pang	[3] [5] [8]
19	Jaco van de Pol	[5] [11] [19]
20	J. E. Rooda (Jacobus E. Rooda)	[1]
21	Viktor Schuppan	[10]
22	Damian Sulewski	[15]
23	Nikola Trcka	[1]
24	Michael Weber	[19]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page