|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anton Wijs, Mohammad Torabi Dashti |
Extended beam search for non-exhaustive state space analysis.  |
J. Log. Algebr. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs |
The HIVE Tool for Informed Swarm State Space Exploration |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs |
Parallel probabilistic model checking on general purpose graphics processors. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber 0002, Anton Wijs |
Multi-core Nested Depth-First Search. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Anton Wijs |
Property-Dependent Reductions for the Modal Mu-Calculus. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs |
Towards Informed Swarm Verification. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs |
Forgetting the Time in Timed Process Algebra. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Mohammad Torabi Dashti, Anton Wijs |
Partial Order Reduction for Branching Security Protocols. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
branching security protocols, bisimulation, partial order reduction |
| 1 | Anton Wijs, Jaco van de Pol, Elena M. Bortnik |
Solving scheduling problems by untimed model checking. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Anton Wijs |
Hierarchical Adaptive State Space Caching Based on Level Sampling. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Torabi Dashti, Anton Wijs, Bert Lisser |
Distributed Partial Order Reduction for Security Protocols. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Jun Pang, Anton Wijs |
Is Timed Branching Bisimilarity a Congruence Indeed? |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar |
Survey on Directed Model Checking. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Torabi Dashti, Anton Wijs |
Pruning State Spaces with Extended Beam Search. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs |
Achieving Discrete Relative Timing with Untimed Process Algebra. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs, Bert Lisser |
Distributed Extended Beam Search for Quantitative Model Checking. |
MoChArt |
2006 |
DBLP DOI BibTeX RDF |
directed model checking, distributed model checking, scheduling, beam search |
| 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Jun Pang, Anton Wijs |
Is Timed Branching Bisimilarity an Equivalence Indeed?. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs, Wan Fokkink |
From chi-t to µCRL: Combining Performance and Functional Analysis. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")