| 2023 | ICECCS | Validating communication of a dynamic traffic management system. | J. J. Verbakel, Wan J. Fokkink, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda |
| 2023 | TACAS | Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. | Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, Lars Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Bram van der Sanden, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel |
| 2021 | CSL | Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? | Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Inglfsdttir, Bas Luttik |
| 2020 | LICS | A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity. | Clemens Grabmayer, Wan J. Fokkink |
| 2020 | SETTA | The Road Ahead for Supervisor Synthesis. | Martijn A. Goorden, Lars Moormann, Ferdie F. H. Reijnen, J. J. Verbakel, D. A. van Beek, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda, L. F. P. Etman |
| 2019 | CoDIT | Deducing causes for the absence of states in supervised systems. | Lennart Swartjes, Michel A. Reniers, Wan J. Fokkink |
| 2019 | FMICS | The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. | Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda |
| 2017 | CONCUR | Divide and Congruence III: Stability & Divergence. | Wan J. Fokkink, Rob J. van Glabbeek, Bas Luttik |
| 2017 | CSL | Precongruence Formats with Lookahead through Modal Decomposition. | Wan J. Fokkink, Rob J. van Glabbeek |
| 2017 | FORTE | Creating Bchi Automata for Multi-valued Model Checking. | Stefan J. J. Vijzelaar, Wan J. Fokkink |
| 2017 | LATA | Detecting Useless Transitions in Pushdown Automata. | Dick Grune, Wan J. Fokkink, Evangelos Chatzikalymnios, Brinio Hond, Peter Rutgers |
| 2016 | LICS | Divide and Congruence II: Delay and Weak Bisimilarity. | Wan J. Fokkink, Rob J. van Glabbeek |
| 2015 | SOFSEM | Maximally Permissive Controlled System Synthesis for Modal Logic. | Allan van Hulst, Michel A. Reniers, Wan J. Fokkink |
| 2014 | FMICS | Formal Specification and Verification of TCP Extended with the Window Scale Option. | Lars Lockefeer, David M. Williams, Wan J. Fokkink |
| 2014 | IPMU | Two Procedures for Analyzing the Reliability of Open Government Data. | Davide Ceolin, Luc Moreau, Kieron O'Hara, Wan J. Fokkink, Willem Robert van Hage, Valentina Maccatrozzo, Alistair Sackley, Guus Schreiber, Nigel Shadbolt |
| 2014 | TACAS | CIF 3: Model-Based Engineering of Supervisory Controllers. | D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers |
| 2013 | PST | Semi-automated assessment of annotation trustworthiness. | Davide Ceolin, Archana Nottamkandath, Wan J. Fokkink |
| 2012 | CCGRID | Using Model Checking to Analyze the System Behavior of the LHC Production Grid. | Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal |
| 2012 | CONCUR | Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics. | Daniel Gebler, Wan J. Fokkink |
| 2012 | ICTAC | Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols. | David M. Williams, Joeri de Ruiter, Wan J. Fokkink |
| 2011 | ICDCN | A High-Level Framework for Distributed Processing of Large-Scale Graphs. | Elzbieta Krepska, Thilo Kielmann, Wan J. Fokkink, Henri E. Bal |
| 2010 | FMICS | Embedded Network Protocols for Mobile Devices. | Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan J. Fokkink |
| 2010 | PODC | Brief announcement: asynchronous bounded expected delay networks. | Rena Bakhshi, Jrg Endrullis, Wan J. Fokkink, Jun Pang |
| 2010 | PODC | Brief announcement: a shared disk on distributed storage. | Stefan Vijzelaar, Herbert Bos, Wan J. Fokkink |
| 2009 | FM | What Can Formal Methods Bring to Systems Biology? | Nicola Bonzanni, K. Anton Feenstra, Wan J. Fokkink, Elzbieta Krepska |
| 2009 | ICDCN | An Analytical Model of Information Dissemination for a Gossip-Based Protocol. | Rena Bakhshi, Daniela Gavidia, Wan J. Fokkink, Maarten van Steen |
| 2009 | ICDCN | FTRepMI: Fault-Tolerant, Sequentially-Consistent Object Replication for Grid Applications. | Ana-Maria Oprescu, Thilo Kielmann, Wan J. Fokkink |
| 2009 | SOFSEM | On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. | Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek |
| 2008 | LICS | On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. | Taolue Chen, Wan J. Fokkink |
| 2008 | SEFM | Restricted Broadcast Process Theory. | Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar |
| 2007 | CALCO | Ready to Preorder: Get Your BCCSP Axiomatization for Free! | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir |
| 2006 | CONCUR | On Finite Alphabets and Infinite Bases III: Simulation. | Taolue Chen, Wan J. Fokkink |
| 2006 | FOSSACS | On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation. | Taolue Chen, Wan J. Fokkink, Sumit Nain |
| 2006 | ICALP | On the Axiomatizability of Priority. | Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Inglfsdttir |
| 2006 | ICALP | A Finite Equational Base for CCS with Left Merge and Communication Merge. | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir, Bas Luttik |
| 2005 | CALCO | Bisimilarity Is Not Finitely Based over BPA with Interrupt. | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir, Sumit Nain |
| 2005 | ICALP | A Finite Basis for Failure Semantics. | Wan J. Fokkink, Sumit Nain |
| 2005 | ICECCS | From chi-t to CRL: Combining Performance and Functional Analysis. | Anton Wijs, Wan J. Fokkink |
| 2004 | FOSSACS | On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds. | Wan J. Fokkink, Sumit Nain |
| 2003 | FCT | Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. | Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind |
| 2003 | FOSSACS | Cones and Foci for Protocol Verification Revisited. | Wan J. Fokkink, Jun Pang |
| 2003 | ICALP | On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. | Stefan Blom, Wan J. Fokkink, Sumit Nain |
| 2003 | ICFEM | Analyzing the Redesign of a Distributed Lift System in UPPAAL. | Jun Pang, Bart Karstens, Wan J. Fokkink |
| 2002 | CONCUR | Refinement and Verification Applied to an In-Flight Data Acquisition Unit. | Wan J. Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein |
| 2001 | CAV | µCRL: A Toolset for Analysing Algebraic Specifications. | Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol |
| 2001 | STACS | 2-Nested Simulation Is Not Finitely Equationally Axiomatizable. | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir |
| 2000 | ICALP | An | Wan J. Fokkink, S. P. Luttik |
| 2000 | LICS | Precongruence Formats for Decorated Trace Preorders. | Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek |
| 1999 | FASE | Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories. | Wan J. Fokkink, Chris Verhoef |
| 1998 | FOSSACS | A Cook's Tour of Equational Axiomatizations for Prefix Iteration. | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir |
| 1998 | SAFECOMP | EURIS, a Specification Method for Distributed Interlockings. | Fokko van Dijk, Wan J. Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen |
| 1997 | ICALP | Axiomatizations for the Perpetual Loop in Process Algebra. | Wan J. Fokkink |
| 1997 | MFCS | Simulation as a Correct Transformation of Rewrite Systems. | Wan J. Fokkink, Jaco van de Pol |
| 1993 | CONCUR | An Elimination Theorem for Regular Behaviours with Integration. | Wan J. Fokkink |