Wieger Wesselink
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2001–2022
Best venue rank
A
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | TACAS | On-The-Fly Solving for Symbolic Parity Games. | Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse |
| 2020 | TACAS | Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. | Thomas Neele, Tim A. C. Willemse, Wieger Wesselink |
| 2019 | TACAS | The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. | Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse |
| 2018 | CADE | Evidence Extraction from Parameterised Boolean Equation Systems. | Wieger Wesselink, Tim A. C. Willemse |
| 2017 | FMICS | Formalising the Dezyne Modelling Language in mCRL2. | Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse |
| 2014 | ATVA | Liveness Analysis for Parameterised Boolean Equation Systems. | Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse |
| 2013 | TACAS | An Overview of the mCRL2 Toolset and Its Recent Advances. | Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse |
| 2009 | TACAS | Static Analysis Techniques for Parameterised Boolean Equation Systems. | Simona Orzan, Wieger Wesselink, Tim A. C. Willemse |
| 2007 | ATVA | Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. | Judi Romijn, Wieger Wesselink, Arjan J. Mooij |
| 2005 | ICFEM | Incremental Verification of Owicki/Gries Proof Outlines Using PVS. | Arjan J. Mooij, Wieger Wesselink |
| 2002 | Interspeech | Perceptual evaluation of audiovisual cues for prominence. | Emiel Krahmer, Zsfia Ruttkay, Marc Swerts, Wieger Wesselink |
| 2001 | Interact | Visual Interaction Platform. | Dzmitry Aliakseyeu, Jean-Bernard Martens, Sriram Subramanian, Marina Vroubel, Wieger Wesselink |