Wan J. Fokkink

ORCID

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 48

Top Venues

Publications

Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, L. Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Jeffrey L. Derevensky, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. TACAS (2) (2023)
J. J. Verbakel, Jeroen van Meurs, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
Legend Pattern Calculation for Dynamic Traffic Management Using ILP. CASE (2023)
J. J. Verbakel, Wan J. Fokkink, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Validating communication of a dynamic traffic management system. ICECCS (2023)
Lars Moormann, Reinier H. J. Schouten, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays. IEEE Trans Autom. Sci. Eng. 20 (3) (2023)
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? ACM Trans. Comput. Log. 23 (4) (2022)
Saidgani Musaev, Wan J. Fokkink
A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Wan J. Fokkink, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Ferdie F. H. Reijnen, Jacobus E. Rooda
Supervisor Synthesis: Bridging Theory and Practice. Computer 55 (10) (2022)
Georgios Karlos, Wan J. Fokkink, Per Fuchs
Fault-Tolerant Termination Detection with Safra's Algorithm. NETYS (2021)
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? CSL (2021)
Martijn A. Goorden, Martin Fabian, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
Compositional coordinator synthesis of extended finite automata. Discret. Event Dyn. Syst. 31 (3) (2021)
Evangelos Chatzikalymnios, Wan J. Fokkink, Dick Grune, Brinio Hond, Peter Rutgers
Detecting useless transitions in pushdown automata. Inf. Comput. 279 (2021)
Ferdie F. H. Reijnen, Eva-Britt Leliveld, Joanna M. van de Mortel-Fronczak, John van Dinther, Jacobus E. Rooda, Wan J. Fokkink
Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge. Comput. Ind. 130 (2021)
J. J. Verbakel, M. E. W. Vos de Wael, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
A configurator for supervisory controllers of roadside systems. CASE (2021)
L. Moormann, R. H. J. Schouten, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays. CASE (2021)
L. Moormann, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis. CASE (2020)
Radhesh Krishnan Konoth, Björn Fischer, Wan J. Fokkink, Elias Athanasopoulos, Kaveh Razavi, Herbert Bos
SecurePay: Strengthening Two-Factor Authentication for Arbitrary Transactions. EuroS&P (2020)
Clemens Grabmayer, Wan J. Fokkink
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity. LICS (2020)
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Martin Fabian, Wan J. Fokkink, Jacobus E. Rooda
Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors. CoRR (2020)
Clemens Grabmayer, Wan J. Fokkink
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity. CoRR (2020)
Martijn A. Goorden, L. 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
The Road Ahead for Supervisor Synthesis. SETTA (2020)
Maciej Gazda, Wan J. Fokkink, Vittorio Massaro
Congruence from the operator's point of view. Acta Informatica 57 (3-5) (2020)
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? CoRR (2020)
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices. IEEE Trans. Autom. Control. 65 (4) (2020)
Martijn A. Goorden, Calvin Dingemans, Michel A. Reniers, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure. ECC (2019)
Fatemeh Ghassemi, Wan J. Fokkink
Reliable Restricted Process Theory. Fundam. Informaticae 165 (1) (2019)
Wan J. Fokkink, Guus Samsom
Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size. The Art of Modelling Computational Systems (2019)
Wan J. Fokkink, Rob van Glabbeek, Bas Luttik
Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence. Inf. Comput. 268 (2019)
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
Modeling Guidelines for Component-Based Supervisory Control Synthesis. FACS (2019)
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. FMICS (2019)
Wan J. Fokkink, Rob van Glabbeek, Bas Luttik
Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence. CoRR (2019)
Lennart Swartjes, Michel A. Reniers, Wan J. Fokkink
Deducing causes for the absence of states in supervised systems. CoDIT (2019)
Maurits J. J. Dijkstra, Atze van der Ploeg, K. Anton Feenstra, Wan J. Fokkink, Sanne Abeln, Jaap Heringa
Tailor-made multiple sequence alignments using the PRALINE 2 alignment toolkit. Bioinform. 35 (24) (2019)
Maurits J. J. Dijkstra, Punto Bawono, Sanne Abeln, K. Anton Feenstra, Wan J. Fokkink, Jaap Heringa
Motif-Aware PRALINE: Improving the alignment of motif regions. PLoS Comput. Biol. 14 (11) (2018)
Wan J. Fokkink, Rob J. van Glabbeek, Bas Luttik
Divide and Congruence III: Stability & Divergence. CONCUR (2017)
Wan J. Fokkink, Rob J. van Glabbeek
Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity. Inf. Comput. 257 (2017)
Lennart Swartjes, D. A. van Beek, Wan J. Fokkink, J. A. W. M. van Eekelen
Model-based design of supervisory controllers for baggage handling systems. Simul. Model. Pract. Theory 78 (2017)
A. C. van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximally permissive controlled system synthesis for non-determinism and modal logic. Discret. Event Dyn. Syst. 27 (1) (2017)
Fatemeh Ghassemi, Wan J. Fokkink
Reliable Restricted Process Theory. CoRR (2017)
Dick Grune, Wan J. Fokkink, Evangelos Chatzikalymnios, Brinio Hond, Peter Rutgers
Detecting Useless Transitions in Pushdown Automata. LATA (2017)
Stefan Vijzelaar, Wan J. Fokkink
Multi-valued Simulation and Abstraction Using Lattice Operations. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Stefan J. J. Vijzelaar, Wan J. Fokkink
Creating Büchi Automata for Multi-valued Model Checking. FORTE (2017)
Wan J. Fokkink, Rob J. van Glabbeek
Precongruence Formats with Lookahead through Modal Decomposition. CSL (2017)
Lars Lockefeer, David M. Williams, Wan J. Fokkink
Formal specification and verification of TCP extended with the Window Scale Option. Sci. Comput. Program. 118 (2016)
Fatemeh Ghassemi, Wan J. Fokkink
Model checking mobile ad hoc networks. Formal Methods Syst. Des. 49 (3) (2016)
Lennart Swartjes, Michel A. Reniers, D. A. van Beek, Wan J. Fokkink
Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors. WODES (2016)
Wan J. Fokkink, Rob J. van Glabbeek
Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity. CoRR (2016)
Wan J. Fokkink, Rob J. van Glabbeek
Divide and Congruence II: Delay and Weak Bisimilarity. LICS (2016)
Davide Ceolin, Paul Groth, Valentina Maccatrozzo, Wan J. Fokkink, Willem Robert van Hage, Archana Nottamkandath
Combining User Reputation and Provenance Analysis for Trust Assessment. ACM J. Data Inf. Qual. 7 (1-2) (2016)
Allan C. van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximal Synthesis for Hennessy-Milner Logic. ACM Trans. Embed. Comput. Syst. 14 (1) (2015)
Archana Nottamkandath, Jasper Oosterman, Davide Ceolin, Gerben Klaas Dirk de Vries, Wan J. Fokkink
Predicting Quality of Crowdsourced Annotations Using Graph Kernels. IFIPTM (2015)
Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximally Permissive Controlled System Synthesis for Modal Logic. SOFSEM (2015)
Stefan Vijzelaar, Wan J. Fokkink
Multi-valued Abstraction Using Lattice Operations. ACSD (2015)
Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek
On the Axiomatizability of Impossible Futures. Log. Methods Comput. Sci. 11 (3) (2015)
Lars Lockefeer, David M. Williams, Wan J. Fokkink
Formal Specification and Verification of TCP Extended with the Window Scale Option. FMICS (2014)
Davide Ceolin, Archana Nottamkandath, Wan J. Fokkink, Valentina Maccatrozzo
Towards the Definition of an Ontology for Trust in (Web) Data. URSW (2014)
D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers
CIF 3: Model-Based Engineering of Supervisory Controllers. TACAS (2014)
Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal
Bonsai: Cutting Models Down to Size. Ershov Memorial Conference (2014)
Archana Nottamkandath, Jasper Oosterman, Davide Ceolin, Wan J. Fokkink
Automated Evaluation of Crowdsourced Annotations in the Cultural Heritage Domain. URSW (2014)
Davide Ceolin, Paul Groth, Archana Nottamkandath, Wan J. Fokkink, Willem Robert van Hage
Analyzing User Demographics and User Behavior for Trust Assessment. URSW (LNCS Vol.) (2014)
Davide Ceolin, Archana Nottamkandath, Wan J. Fokkink
Bridging Gaps Between Subjective Logic and Semantic Web. URSW (LNCS Vol.) (2014)
Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximally Permissive Controlled System Synthesis for Modal Logic. CoRR (2014)
Davide Ceolin, Willem Robert van Hage, Wan J. Fokkink, Guus Schreiber
Uncertainty Estimation and Analysis of Categorical Web Data. URSW (LNCS Vol.) (2014)
Nicola Bonzanni, K. Anton Feenstra, Wan J. Fokkink, Jaap Heringa
Petri Nets Are a Biologist's Best Friend. FMMB (2014)
Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximal Synthesis for Hennessy-Milner Logic with the Box Modality. WODES (2014)
Davide Ceolin, Luc Moreau, Kieron O'Hara, Wan J. Fokkink, Willem Robert van Hage, Valentina Maccatrozzo, Alistair Sackley, Guus Schreiber, Nigel Shadbolt
Two Procedures for Analyzing the Reliability of Open Government Data. IPMU (1) (2014)
Wan J. Fokkink, Dick Grune, Brinio Hond, Peter Rutgers
Detecting Useless Transitions in Pushdown Automata. CoRR (2013)
Maciej Gazda, Wan J. Fokkink
Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics. Comput. J. 56 (1) (2013)
Davide Ceolin, Archana Nottamkandath, Wan J. Fokkink
Semi-automated assessment of annotation trustworthiness. PST (2013)
Chris Dijkshoorn, Mieke H. R. Leyssen, Archana Nottamkandath, Jasper Oosterman, Myriam C. Traub, Lora Aroyo, Alessandro Bozzon, Wan J. Fokkink, Geert-Jan Houben, Henrike Hovelmann, Lizzy Jongma, Jacco van Ossenbruggen, Guus Schreiber, Jan Wielemaker
Personalized Nichesourcing: Acquisition of Qualitative Annotations from Niche Communities. UMAP Workshops (2013)
Davide Ceolin, Luc Moreau, Kieron O'Hara, Guus Schreiber, Alistair Sackley, Wan J. Fokkink, Willem Robert van Hage, Nigel Shadbolt
Reliability Analyses of Open Government Data. URSW (2013)
A. C. van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximal Synthesis for Hennessy-Milner Logic. ACSD (2013)
Fatemeh Ghassemi, Saeide Ahmadi, Wan J. Fokkink, Ali Movaghar
Model Checking MANETs with Arbitrary Mobility. FSEN (2013)
David M. Williams, Joeri de Ruiter, Wan J. Fokkink
Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols. ICTAC (2012)
Daniel Gebler, Wan J. Fokkink
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics. CONCUR (2012)
Davide Ceolin, Archana Nottamkandath, Wan J. Fokkink
Subjective Logic Extensions for the Semantic Web. URSW (2012)
Davide Ceolin, Archana Nottamkandath, Wan J. Fokkink
Automated Evaluation of Annotators for Museum Collections Using Subjective Logic. IFIPTM (2012)
Davide Ceolin, Paul Groth, Willem Robert van Hage, Archana Nottamkandath, Wan J. Fokkink
Trust Evaluation through User Reputation and Provenance Analysis. URSW (2012)
Maciej Gazda, Wan J. Fokkink
Modal logic and the approximation induction principle. Math. Struct. Comput. Sci. 22 (2) (2012)
Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal
Using Model Checking to Analyze the System Behavior of the LHC Production Grid. CCGRID (2012)
Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity. Inf. Comput. 214 (2012)
Rena Bakhshi, Daniela Gavidia, Wan J. Fokkink, Maarten van Steen
A Modeling Framework for Gossip-based Information Spread. QEST (2011)
Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort
Mean-field framework for performance evaluation of push-pull gossip protocols. Perform. Evaluation 68 (2) (2011)
Elzbieta Krepska, Thilo Kielmann, Wan J. Fokkink, Henri E. Bal
A High-Level Framework for Distributed Processing of Large-Scale Graphs. ICDCN (2011)
Elzbieta Krepska, Thilo Kielmann, Wan J. Fokkink, Henri E. Bal
HipG: parallel processing of large-scale graphs. ACM SIGOPS Oper. Syst. Rev. 45 (2) (2011)
Rena Bakhshi, Jörg Endrullis, Wan J. Fokkink, Jun Pang
Fast leader election in anonymous rings with bounded expected delay. Inf. Process. Lett. 111 (17) (2011)
Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
Verification of mobile ad hoc networks: An algebraic approach. Theor. Comput. Sci. 412 (28) (2011)
Fatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar, Wan J. Fokkink
Stochastic Restricted Broadcast Process Theory. EPEW (2011)
Abolhassan Shamsaie, Wan J. Fokkink, Jafar Habibi
Analysis of Gossip-Based Information Propagation in Wireless Mesh Networks. EPEW (2011)
Rena Bakhshi, Daniela Gavidia, Wan J. Fokkink, Maarten van Steen
A Modeling Framework for Gossip-based Information Spread CoRR (2011)
Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal
Distributed MAP in the SpinJa Model Checker PDMC (2011)
Davide Ceolin, Willem Robert van Hage, Wan J. Fokkink, Guus Schreiber
Estimating Uncertainty of Categorical Web Data. URSW (2011)
Rena Bakhshi, Jörg Endrullis, Wan J. Fokkink, Jun Pang
Brief announcement: asynchronous bounded expected delay networks. PODC (2010)
Maciej Gazda, Wan J. Fokkink
Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics SOS (2010)
Stefan Vijzelaar, Herbert Bos, Wan J. Fokkink
Brief announcement: a shared disk on distributed storage. PODC (2010)
Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
Equational Reasoning on Mobile Ad Hoc Networks. Fundam. Informaticae 105 (4) (2010)
Fatemeh Ghassemi, Ali Movaghar, Wan J. Fokkink
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. ACSD (2010)
Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan J. Fokkink
Embedded Network Protocols for Mobile Devices. FMICS (2010)
Rena Bakhshi, Jörg Endrullis, Wan J. Fokkink, Jun Pang
Asynchronous Bounded Expected Delay Networks CoRR (2010)
Wan J. Fokkink, Mohammad Torabi Dashti, Anton Wijs
Partial Order Reduction for Branching Security Protocols. ACSD (2010)
Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan J. Fokkink, Boudewijn R. Haverkort
Automating the Mean-Field Method for Large Dynamic Gossip Networks. QEST (2010)

Wan J. Fokkink.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wan J. Fokkink