Wan J. Fokkink

233 papers A* 11A 4B 25C 11Misc 4Journal 106Unranked 64

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Fault-Tolerant Version of Safra's Termination Detection Algorithm. CoRR Wan J. Fokkink, Georgios Karlos, Andy Tatman
2026	J	`jnl`	Formal methods for mobile ad hoc networks: a survey. Formal Methods Syst. Des. Wan J. Fokkink, Rob van Glabbeek
2026	J	`jnl`	SBE configurator: A family model generation tool for supervisory control synthesis. Discret. Event Dyn. Syst. Marzhan M. Baubekova, Koen van Eldik, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
2026	J	`jnl`	The impact of security threats on safety-critical systems: A systematic literature review and guidance for future research. J. Netw. Comput. Appl. Samina Kanwal, Wan J. Fokkink
2025	—	`conf`	A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines. FSEN Samina Kanwal, Wan J. Fokkink
2025	J	`jnl`	Formal Methods for Mobile Ad Hoc Networks: A Survey. CoRR Wan J. Fokkink, Rob van Glabbeek
2025	—	`conf`	From LTL to Scenarios: Automatic Test Case Generation for Axini Modeling Language. Rebeca for Actor Analysis in Action Maarten Schröder, Machiel van der Bijl, Wan J. Fokkink
2025	J	`jnl`	Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0. CoRR Dennis Hendriks, Michel A. Reniers, Wan J. Fokkink, Wytse Oortwijn
2025	J	`jnl`	Supervisory control synthesis for multilevel DES with local buses. CoRR Marzhan M. Baubekova, Martijn A. Goorden, Michel A. Reniers, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda, Wan J. Fokkink
2024	J	`jnl`	Offline supervisory control synthesis: taxonomy and recent developments. Discret. Event Dyn. Syst. Wan J. Fokkink, Martijn A. Goorden
2023	—	`conf`	Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. TACAS (2) 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
2023	—	`conf`	Legend Pattern Calculation for Dynamic Traffic Management Using ILP. CASE J. J. Verbakel, Jeroen van Meurs, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
2023	J	`jnl`	Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays. IEEE Trans Autom. Sci. Eng. Lars Moormann, Reinier H. J. Schouten, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
2023	B	`conf`	Validating communication of a dynamic traffic management system. ICECCS J. J. Verbakel, Wan J. Fokkink, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
2022	—	`conf`	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 Saidgani Musaev, Wan J. Fokkink
2022	J	`jnl`	Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? ACM Trans. Comput. Log. Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2022	J	`jnl`	Supervisor Synthesis: Bridging Theory and Practice. Computer Wan J. Fokkink, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Ferdie F. H. Reijnen, Jacobus E. Rooda
2021	—	`conf`	A configurator for supervisory controllers of roadside systems. CASE J. J. Verbakel, M. E. W. Vos de Wael, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
2021	B	`conf`	Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? CSL Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2021	J	`jnl`	Compositional coordinator synthesis of extended finite automata. Discret. Event Dyn. Syst. Martijn A. Goorden, Martin Fabian, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
2021	J	`jnl`	Detecting useless transitions in pushdown automata. Inf. Comput. Evangelos Chatzikalymnios, Wan J. Fokkink, Dick Grune, Brinio Hond, Peter Rutgers
2021	—	`conf`	Fault-Tolerant Termination Detection with Safra's Algorithm. NETYS Georgios Karlos, Wan J. Fokkink, Per Fuchs
2021	—	`conf`	Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays. CASE Lars Moormann, Reinier H. J. Schouten, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
2021	J	`jnl`	Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge. Comput. Ind. Ferdie F. H. Reijnen, Eva-Britt Leliveld, Joanna M. van de Mortel-Fronczak, John van Dinther, Jacobus E. Rooda, Wan J. Fokkink
2020	A*	`conf`	A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity. LICS Clemens Grabmayer, Wan J. Fokkink
2020	J	`jnl`	A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity. CoRR Clemens Grabmayer, Wan J. Fokkink
2020	J	`jnl`	Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? CoRR Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2020	J	`jnl`	Congruence from the operator's point of view. Acta Informatica Maciej Gazda, Wan J. Fokkink, Vittorio Massaro
2020	—	`conf`	Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis. CASE Lars Moormann, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
2020	J	`jnl`	Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors. CoRR Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Martin Fabian, Wan J. Fokkink, Jacobus E. Rooda
2020	A	`conf`	SecurePay: Strengthening Two-Factor Authentication for Arbitrary Transactions. EuroS&P Radhesh Krishnan Konoth, Björn Fischer, Wan J. Fokkink, Elias Athanasopoulos, Kaveh Razavi, Herbert Bos
2020	J	`jnl`	Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices. IEEE Trans. Autom. Control. Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
2020	Misc	`conf`	The Road Ahead for Supervisor Synthesis. SETTA 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	B	`ed.`	30th International Conference on Concurrency Theory, CONCUR 2019, Amsterdam, The Netherlands, August 27-30, 2019 CONCUR Wan J. Fokkink, Rob van Glabbeek
2019	C	`conf`	Deducing causes for the absence of states in supervised systems. CoDIT Lennart Swartjes, Michel A. Reniers, Wan J. Fokkink
2019	J	`jnl`	Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence. CoRR Wan J. Fokkink, Rob van Glabbeek, Bas Luttik
2019	J	`jnl`	Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence. Inf. Comput. Wan J. Fokkink, Rob van Glabbeek, Bas Luttik
2019	—	`conf`	Modeling Guidelines for Component-Based Supervisory Control Synthesis. FACS Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
2019	J	`jnl`	Reliable Restricted Process Theory. Fundam. Informaticae Fatemeh Ghassemi, Wan J. Fokkink
2019	—	`conf`	Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure. ECC Martijn A. Goorden, Calvin Dingemans, Michel A. Reniers, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
2019	J	`jnl`	Tailor-made multiple sequence alignments using the PRALINE 2 alignment toolkit. Bioinform. Maurits J. J. Dijkstra, Atze van der Ploeg, K. Anton Feenstra, Wan J. Fokkink, Sanne Abeln, Jaap Heringa
2019	C	`conf`	The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. FMICS Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
2019	—	`conf`	Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size. The Art of Modelling Computational Systems Wan J. Fokkink, Guus Samsom
2018	J	`jnl`	Motif-Aware PRALINE: Improving the alignment of motif regions. PLoS Comput. Biol. Maurits J. J. Dijkstra, Punto Bawono, Sanne Abeln, K. Anton Feenstra, Wan J. Fokkink, Jaap Heringa
2017	C	`conf`	Creating Büchi Automata for Multi-valued Model Checking. FORTE Stefan J. J. Vijzelaar, Wan J. Fokkink
2017	C	`conf`	Detecting Useless Transitions in Pushdown Automata. LATA Dick Grune, Wan J. Fokkink, Evangelos Chatzikalymnios, Brinio Hond, Peter Rutgers
2017	B	`conf`	Divide and Congruence III: Stability & Divergence. CONCUR Wan J. Fokkink, Rob J. van Glabbeek, Bas Luttik
2017	J	`jnl`	Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity. Inf. Comput. Wan J. Fokkink, Rob J. van Glabbeek
2017	J	`jnl`	Maximally permissive controlled system synthesis for non-determinism and modal logic. Discret. Event Dyn. Syst. A. C. van Hulst, Michel A. Reniers, Wan J. Fokkink
2017	J	`jnl`	Model-based design of supervisory controllers for baggage handling systems. Simul. Model. Pract. Theory Lennart Swartjes, D. A. van Beek, Wan J. Fokkink, J. A. W. M. van Eekelen
2017	J	`jnl`	Multi-valued Simulation and Abstraction Using Lattice Operations. ACM Trans. Embed. Comput. Syst. Stefan Vijzelaar, Wan J. Fokkink
2017	B	`conf`	Precongruence Formats with Lookahead through Modal Decomposition. CSL Wan J. Fokkink, Rob J. van Glabbeek
2017	J	`jnl`	Reliable Restricted Process Theory. CoRR Fatemeh Ghassemi, Wan J. Fokkink
2016	J	`jnl`	Combining User Reputation and Provenance Analysis for Trust Assessment. ACM J. Data Inf. Qual. Davide Ceolin, Paul Groth, Valentina Maccatrozzo, Wan J. Fokkink, Willem Robert van Hage, Archana Nottamkandath
2016	A*	`conf`	Divide and Congruence II: Delay and Weak Bisimilarity. LICS Wan J. Fokkink, Rob J. van Glabbeek
2016	J	`jnl`	Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity. CoRR Wan J. Fokkink, Rob J. van Glabbeek
2016	J	`jnl`	Formal specification and verification of TCP extended with the Window Scale Option. Sci. Comput. Program. Lars Lockefeer, David M. Williams, Wan J. Fokkink
2016	J	`jnl`	Model checking mobile ad hoc networks. Formal Methods Syst. Des. Fatemeh Ghassemi, Wan J. Fokkink
2016	—	`conf`	Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors. WODES Lennart Swartjes, Michel A. Reniers, D. A. van Beek, Wan J. Fokkink
2015	J	`jnl`	Maximal Synthesis for Hennessy-Milner Logic. ACM Trans. Embed. Comput. Syst. Allan C. van Hulst, Michel A. Reniers, Wan J. Fokkink
2015	B	`conf`	Maximally Permissive Controlled System Synthesis for Modal Logic. SOFSEM Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
2015	—	`conf`	Multi-valued Abstraction Using Lattice Operations. ACSD Stefan Vijzelaar, Wan J. Fokkink
2015	J	`jnl`	On the Axiomatizability of Impossible Futures. Log. Methods Comput. Sci. Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek
2015	—	`conf`	Predicting Quality of Crowdsourced Annotations Using Graph Kernels. IFIPTM Archana Nottamkandath, Jasper Oosterman, Davide Ceolin, Gerben Klaas Dirk de Vries, Wan J. Fokkink
2014	—	`conf`	Analyzing User Demographics and User Behavior for Trust Assessment. URSW (LNCS Vol.) Davide Ceolin, Paul Groth, Archana Nottamkandath, Wan J. Fokkink, Willem Robert van Hage
2014	—	`conf`	Automated Evaluation of Crowdsourced Annotations in the Cultural Heritage Domain. URSW Archana Nottamkandath, Jasper Oosterman, Davide Ceolin, Wan J. Fokkink
2014	—	`conf`	Bonsai: Cutting Models Down to Size. Ershov Memorial Conference Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal
2014	—	`conf`	Bridging Gaps Between Subjective Logic and Semantic Web. URSW (LNCS Vol.) Davide Ceolin, Archana Nottamkandath, Wan J. Fokkink
2014	A	`conf`	CIF 3: Model-Based Engineering of Supervisory Controllers. TACAS D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers
2014	C	`conf`	Formal Specification and Verification of TCP Extended with the Window Scale Option. FMICS Lars Lockefeer, David M. Williams, Wan J. Fokkink
2014	—	`conf`	Maximal Synthesis for Hennessy-Milner Logic with the Box Modality. WODES Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
2014	J	`jnl`	Maximally Permissive Controlled System Synthesis for Modal Logic. CoRR Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
2014	—	`conf`	Petri Nets Are a Biologist's Best Friend. FMMB Nicola Bonzanni, K. Anton Feenstra, Wan J. Fokkink, Jaap Heringa
2014	—	`conf`	Towards the Definition of an Ontology for Trust in (Web) Data. URSW Davide Ceolin, Archana Nottamkandath, Wan J. Fokkink, Valentina Maccatrozzo
2014	—	`conf`	Two Procedures for Analyzing the Reliability of Open Government Data. IPMU (1) Davide Ceolin, Luc Moreau, Kieron O'Hara, Wan J. Fokkink, Willem Robert van Hage, Valentina Maccatrozzo, Alistair Sackley, Guus Schreiber, Nigel Shadbolt
2014	—	`conf`	Uncertainty Estimation and Analysis of Categorical Web Data. URSW (LNCS Vol.) Davide Ceolin, Willem Robert van Hage, Wan J. Fokkink, Guus Schreiber
2013	—	`ch.`	Assessing Trust for Determining the Reliability of Information. Situation Awareness with Systems of Systems Davide Ceolin, Willem Robert van Hage, Guus Schreiber, Wan J. Fokkink
2013	J	`jnl`	Detecting Useless Transitions in Pushdown Automata. CoRR Wan J. Fokkink, Dick Grune, Brinio Hond, Peter Rutgers
2013	—	`conf`	Maximal Synthesis for Hennessy-Milner Logic. ACSD A. C. van Hulst, Michel A. Reniers, Wan J. Fokkink
2013	—	`conf`	Model Checking MANETs with Arbitrary Mobility. FSEN Fatemeh Ghassemi, Saeide Ahmadi, Wan J. Fokkink, Ali Movaghar
2013	—	`conf`	Personalized Nichesourcing: Acquisition of Qualitative Annotations from Niche Communities. UMAP Workshops 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
2013	—	`conf`	Reliability Analyses of Open Government Data. URSW Davide Ceolin, Luc Moreau, Kieron O'Hara, Guus Schreiber, Alistair Sackley, Wan J. Fokkink, Willem Robert van Hage, Nigel Shadbolt
2013	C	`conf`	Semi-automated assessment of annotation trustworthiness. PST Davide Ceolin, Archana Nottamkandath, Wan J. Fokkink
2013	J	`jnl`	Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics. Comput. J. Maciej Gazda, Wan J. Fokkink
2012	—	`conf`	Automated Evaluation of Annotators for Museum Collections Using Subjective Logic. IFIPTM Davide Ceolin, Archana Nottamkandath, Wan J. Fokkink
2012	B	`conf`	Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics. CONCUR Daniel Gebler, Wan J. Fokkink
2012	J	`jnl`	Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity. Inf. Comput. Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind
2012	J	`jnl`	Modal logic and the approximation induction principle. Math. Struct. Comput. Sci. Maciej Gazda, Wan J. Fokkink
2012	C	`conf`	Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols. ICTAC David M. Williams, Joeri de Ruiter, Wan J. Fokkink
2012	—	`conf`	Subjective Logic Extensions for the Semantic Web. URSW Davide Ceolin, Archana Nottamkandath, Wan J. Fokkink
2012	—	`conf`	Trust Evaluation through User Reputation and Provenance Analysis. URSW Davide Ceolin, Paul Groth, Willem Robert van Hage, Archana Nottamkandath, Wan J. Fokkink
2012	B	`conf`	Using Model Checking to Analyze the System Behavior of the LHC Production Grid. CCGRID Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal
2011	Misc	`conf`	A High-Level Framework for Distributed Processing of Large-Scale Graphs. ICDCN Elzbieta Krepska, Thilo Kielmann, Wan J. Fokkink, Henri E. Bal
2011	J	`jnl`	A Modeling Framework for Gossip-based Information Spread CoRR Rena Bakhshi, Daniela Gavidia, Wan J. Fokkink, Maarten van Steen
2011	—	`conf`	A Modeling Framework for Gossip-based Information Spread. QEST Rena Bakhshi, Daniela Gavidia, Wan J. Fokkink, Maarten van Steen
2011	—	`conf`	Analysis of Gossip-Based Information Propagation in Wireless Mesh Networks. EPEW Abolhassan Shamsaie, Wan J. Fokkink, Jafar Habibi
2011	—	`conf`	Distributed MAP in the SpinJa Model Checker PDMC Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal
2011	—	`conf`	Estimating Uncertainty of Categorical Web Data. URSW Davide Ceolin, Willem Robert van Hage, Wan J. Fokkink, Guus Schreiber
2011	J	`jnl`	Fast leader election in anonymous rings with bounded expected delay. Inf. Process. Lett. Rena Bakhshi, Jörg Endrullis, Wan J. Fokkink, Jun Pang
2011	J	`jnl`	HipG: parallel processing of large-scale graphs. ACM SIGOPS Oper. Syst. Rev. Elzbieta Krepska, Thilo Kielmann, Wan J. Fokkink, Henri E. Bal
2011	J	`jnl`	Mean-field framework for performance evaluation of push-pull gossip protocols. Perform. Evaluation Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort
2011	—	`conf`	Stochastic Restricted Broadcast Process Theory. EPEW Fatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar, Wan J. Fokkink
2011	J	`jnl`	Verification of mobile ad hoc networks: An algebraic approach. Theor. Comput. Sci. Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
2010	J	`jnl`	Asynchronous Bounded Expected Delay Networks CoRR Rena Bakhshi, Jörg Endrullis, Wan J. Fokkink, Jun Pang
2010	—	`conf`	Automating the Mean-Field Method for Large Dynamic Gossip Networks. QEST Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan J. Fokkink, Boudewijn R. Haverkort
2010	A*	`conf`	Brief announcement: a shared disk on distributed storage. PODC Stefan Vijzelaar, Herbert Bos, Wan J. Fokkink
2010	A*	`conf`	Brief announcement: asynchronous bounded expected delay networks. PODC Rena Bakhshi, Jörg Endrullis, Wan J. Fokkink, Jun Pang
2010	—	`conf`	Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics SOS Maciej Gazda, Wan J. Fokkink
2010	C	`conf`	Embedded Network Protocols for Mobile Devices. FMICS Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan J. Fokkink
2010	J	`jnl`	Equational Reasoning on Mobile Ad Hoc Networks. Fundam. Informaticae Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
2010	J	`jnl`	Lifting non-finite axiomatizability results to extensions of process algebras. Acta Informatica Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi
2010	—	`conf`	Partial Order Reduction for Branching Security Protocols. ACSD Wan J. Fokkink, Mohammad Torabi Dashti, Anton Wijs
2010	—	`conf`	Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. ACSD Fatemeh Ghassemi, Ali Movaghar, Wan J. Fokkink
2009	J	`jnl`	A finite equational base for CCS with left merge and communication merge. ACM Trans. Comput. Log. Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2009	Misc	`conf`	An Analytical Model of Information Dissemination for a Gossip-Based Protocol. ICDCN Rena Bakhshi, Daniela Gavidia, Wan J. Fokkink, Maarten van Steen
2009	J	`jnl`	An analytical model of information dissemination for a gossip-based protocol. Comput. Networks Rena Bakhshi, Daniela Gavidia, Wan J. Fokkink, Maarten van Steen
2009	—	`conf`	Automated Translation and Analysis of a ToolBus Script for Auctions. FSEN Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
2009	—	`conf`	Equational Reasoning on Ad Hoc Networks. FSEN Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
2009	J	`jnl`	Executing multicellular differentiation: quantitative predictive modelling of Bioinform. Nicola Bonzanni, Elzbieta Krepska, K. Anton Feenstra, Wan J. Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa
2009	J	`jnl`	Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development. Bioinform. Nicola Bonzanni, Elzbieta Krepska, K. Anton Feenstra, Wan J. Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa
2009	Misc	`conf`	FTRepMI: Fault-Tolerant, Sequentially-Consistent Object Replication for Grid Applications. ICDCN Ana-Maria Oprescu, Thilo Kielmann, Wan J. Fokkink
2009	—	`conf`	Mean-Field Analysis for the Evaluation of Gossip Protocols. QEST Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort
2009	—	`conf`	Modal Logic and the Approximation Induction Principle EXPRESS Maciej Gazda, Wan J. Fokkink
2009	B	`conf`	On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. SOFSEM Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek
2009	J	`jnl`	Preface. J. Log. Algebraic Methods Program. Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann
2009	—	`conf`	Process Algebra: An Algebraic Theory of Concurrency. CAI Wan J. Fokkink
2009	B	`conf`	What Can Formal Methods Bring to Systems Biology? FM Nicola Bonzanni, K. Anton Feenstra, Wan J. Fokkink, Elzbieta Krepska
2008	J	`jnl`	A Cancellation Theorem for BCCSP. Fundam. Informaticae Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir
2008	J	`jnl`	An Analytical Model of Information Dissemination for a Gossip-based Protocol CoRR Rena Bakhshi, Daniela Gavidia, Wan J. Fokkink, Maarten van Steen
2008	J	`jnl`	Applying Concurrency Research in Industry Report on a Strategic Workshop. Bull. EATCS Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann
2008	—	`conf`	Design Issues for Qualitative Modelling of Biological Cells with Petri Nets. FMSB Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenstra, Wan J. Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa
2008	J	`jnl`	Guest Editors' Foreword. J. Log. Algebraic Methods Program. Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
2008	J	`jnl`	Is Timed Branching Bisimilarity a Congruence Indeed? Fundam. Informaticae Wan J. Fokkink, Jun Pang, Anton Wijs
2008	—	`conf`	Leader Election in Anonymous Rings: Franklin Goes Probabilistic. IFIP TCS Rena Bakhshi, Wan J. Fokkink, Jun Pang, Jaco van de Pol
2008	—	`conf`	Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. IFIP TCS Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi
2008	J	`jnl`	MeanField analysis for the evaluation of gossip protocols. SIGMETRICS Perform. Evaluation Rev. Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort
2008	—	`conf`	Mechanical Verification of a Two-Way Sliding Window Protocol. CPA Bahareh Badban, Wan J. Fokkink, Jaco van de Pol
2008	J	`jnl`	On Finite Bases for Weak Semantics: Failures versus Impossible Futures CoRR Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek
2008	J	`jnl`	On finite alphabets and infinite bases. Inf. Comput. Taolue Chen, Wan J. Fokkink, Bas Luttik, Sumit Nain
2008	A*	`conf`	On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. LICS Taolue Chen, Wan J. Fokkink
2008	J	`jnl`	On the axiomatisability of priority. Math. Struct. Comput. Sci. Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir
2008	J	`jnl`	Ready to preorder: The case of weak process semantics. Inf. Process. Lett. Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek
2008	B	`conf`	Restricted Broadcast Process Theory. SEFM Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
2008	—	`conf`	Towards Formal Verification of ToolBusScripts. AMAST Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
2007	—	`conf`	Adapting the UPPAAL Model of a Distributed Lift System. FSEN Wan J. Fokkink, Allard Kakebeen, Jun Pang
2007	J	`jnl`	Formal analysis techniques for gossiping protocols. ACM SIGOPS Oper. Syst. Rev. Rena Bakhshi, François Bonnet, Wan J. Fokkink, Boudewijn R. Haverkort
2007	J	`jnl`	Guest Editors' Foreword. J. Log. Algebraic Methods Program. Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
2007	J	`jnl`	Guest Editors' Foreword. J. Log. Algebraic Methods Program. Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
2007	J	`jnl`	Model checking a cache coherence protocol of a Java DSM implementation. J. Log. Algebraic Methods Program. Jun Pang, Wan J. Fokkink, Rutger F. H. Hofman, Ronald Veldema
2007	—	`book`	Modelling Distributed Systems Wan J. Fokkink
2007	B	`conf`	Ready to Preorder: Get Your BCCSP Axiomatization for Free! CALCO Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir
2006	J	`jnl`	A Finite Equational Base for CCS with Left Merge and Communication Merge CoRR Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2006	—	`conf`	A Finite Equational Base for CCS with Left Merge and Communication Merge. ICALP (2) Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2006	J	`jnl`	Bisimilarity is not finitely based over BPA with interrupt. Theor. Comput. Sci. Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain
2006	J	`jnl`	Compositionality of Hennessy-Milner logic by structural operational semantics. Theor. Comput. Sci. Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind
2006	J	`jnl`	Cones and foci: A mechanical framework for protocol verification. Formal Methods Syst. Des. Wan J. Fokkink, Jun Pang, Jaco van de Pol
2006	B	`conf`	On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation. FoSSaCS Taolue Chen, Wan J. Fokkink, Sumit Nain
2006	B	`conf`	On Finite Alphabets and Infinite Bases III: Simulation. CONCUR Taolue Chen, Wan J. Fokkink
2006	—	`conf`	On the Axiomatizability of Priority. ICALP (2) Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir
2006	J	`jnl`	Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM. J. Univers. Comput. Sci. Wan J. Fokkink, Jun Pang
2005	A*	`conf`	A Finite Basis for Failure Semantics. ICALP Wan J. Fokkink, Sumit Nain
2005	J	`jnl`	A Note on K-State Self-stabilization in a Ring with K=N. Nord. J. Comput. Wan J. Fokkink, Jaap-Henk Hoepman, Jun Pang
2005	J	`jnl`	Analyzing a J. Log. Algebraic Methods Program. Elena M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, Joanna M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan J. Fokkink, Jacobus E. Rooda
2005	B	`conf`	Bisimilarity Is Not Finitely Based over BPA with Interrupt. CALCO Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain
2005	J	`jnl`	CCS with Hennessy's merge has no finite-equational axiomatization. Theor. Comput. Sci. Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2005	—	`conf`	Divide and Congruence Applied to SOS@ICALP Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind
2005	—	`conf`	Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation. FMCO Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind
2005	—	`conf`	Finite Equational Bases in Process Algebra: Results and Open Questions. Processes, Terms and Cycles Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2005	B	`conf`	From chi-t to µCRL: Combining Performance and Functional Analysis. ICECCS Anton Wijs, Wan J. Fokkink
2005	J	`jnl`	Guest editors' foreword: Process Algebra. Theor. Comput. Sci. Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Zoltán Ésik
2005	—	`conf`	Is Timed Branching Bisimilarity an Equivalence Indeed?. FORMATS Wan J. Fokkink, Jun Pang, Anton Wijs
2005	—	`ed.`	Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004 SOS Luca Aceto, Wan J. Fokkink, Irek Ulidowski
2005	J	`jnl`	Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge CoRR Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2005	J	`jnl`	Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge. Log. Methods Comput. Sci. Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2005	—	`conf`	The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems. APC 25 Luca Aceto, Wan J. Fokkink
2005	J	`jnl`	Verification of a sliding window protocol in µCRL and PVS. Formal Aspects Comput. Bahareh Badban, Wan J. Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol
2004	—	`conf`	Formal Verification of Timed Systems Using Cones and Foci. ARTS Wan J. Fokkink, Jun Pang
2004	J	`jnl`	Guesteditors'introduction: Special issue on Structural Operational Semantics. J. Log. Algebraic Methods Program. Luca Aceto, Wan J. Fokkink
2004	J	`jnl`	Nested semantics over finite trees are equationally hard. Inf. Comput. Luca Aceto, Wan J. Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir
2004	B	`conf`	On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds. FoSSaCS Wan J. Fokkink, Sumit Nain
2004	J	`jnl`	Precongruence formats for decorated trace semantics. ACM Trans. Comput. Log. Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek
2004	—	`conf`	Preface. SOS@CONCUR Luca Aceto, Wan J. Fokkink, Irek Ulidowski
2004	J	`jnl`	Process Algebra Needs Proof Methodology (Columns: Concurrency). Bull. EATCS Wan J. Fokkink, Jan Friso Groote, Michel A. Reniers
2004	—	`conf`	Simplifying Itai-Rodeh Leader Election for Anonymous Rings. AVoCS Wan J. Fokkink, Jun Pang
2004	—	`conf`	Verifying a Sliding Window Protocol in µCRL. AMAST Wan J. Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol
2003	J	`jnl`	A note on an expressiveness hierarchy for multi-exit iteration. Inf. Process. Lett. Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir
2003	C	`conf`	Analyzing the Redesign of a Distributed Lift System in UPPAAL. ICFEM Jun Pang, Bart Karstens, Wan J. Fokkink
2003	B	`conf`	Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. FCT Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind
2003	B	`conf`	Cones and Foci for Protocol Verification Revisited. FoSSaCS Wan J. Fokkink, Jun Pang
2003	C	`ed.`	Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003 FMICS Thomas Arts, Wan J. Fokkink
2003	A	`conf`	Model Checking a Cache Coherence Protocol for a Java DSM Implementation. IPDPS Jun Pang, Wan J. Fokkink, Rutger F. H. Hofman, Ronald Veldema
2003	A*	`conf`	On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. ICALP Stefan Blom, Wan J. Fokkink, Sumit Nain
2003	C	`conf`	Preface. FMICS Thomas Arts, Wan J. Fokkink
2003	J	`jnl`	Structural operational semantics and bounded nondeterminism. Acta Informatica Wan J. Fokkink, Thuy Duong Vu
2002	J	`jnl`	Precongruence Formats for Decorated Trace Semantics CoRR Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek
2002	B	`conf`	Refinement and Verification Applied to an In-Flight Data Acquisition Unit. CONCUR Wan J. Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein
2001	A	`conf`	2-Nested Simulation Is Not Finitely Equationally Axiomatizable. STACS Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir
2001	—	`ch.`	Conservative Extension in Structural Operational Semantics. Current Trends in Theoretical Computer Science Luca Aceto, Wan J. Fokkink, Chris Verhoef
2001	J	`jnl`	Preface: Process Algebra. Inf. Process. Lett. Luca Aceto, Wan J. Fokkink
2001	—	`ch.`	Process Algebra with Recursive Operations. Handbook of Process Algebra Jan A. Bergstra, Wan J. Fokkink, Alban Ponse
2001	—	`ch.`	Structural Operational Semantics. Handbook of Process Algebra Luca Aceto, Wan J. Fokkink, Chris Verhoef
2001	A*	`conf`	µCRL: A Toolset for Analysing Algebraic Specifications. CAV Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
2000	A*	`conf`	An ICALP Wan J. Fokkink, S. P. Luttik
2000	—	`book`	Introduction to Process Algebra. Wan J. Fokkink
2000	—	`book`	LARIS 1.0 - LAnguage for Railway Interlooking Specifications. Wan J. Fokkink, Jan Friso Groote, Marco Hollenberg, Bas van Vlijmen
2000	J	`jnl`	Language preorder as a precongruence. Theor. Comput. Sci. Wan J. Fokkink
2000	J	`jnl`	Lazy rewriting on eager machinery. ACM Trans. Program. Lang. Syst. Wan J. Fokkink, Jasper Kamperman, Pum Walters
2000	A*	`conf`	Precongruence Formats for Decorated Trace Preorders. LICS Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek
2000	J	`jnl`	Rooted Branching Bisimulation as a Congruence. J. Comput. Syst. Sci. Wan J. Fokkink
1999	B	`conf`	Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories. FASE Wan J. Fokkink, Chris Verhoef
1999	J	`jnl`	Conservative Extension in Structural Operational Semantics. Bull. EATCS Luca Aceto, Wan J. Fokkink, Chris Verhoef
1998	J	`jnl`	A Conservative Look at Operational Semantics with Variable Binding. Inf. Comput. Wan J. Fokkink, Chris Verhoef
1998	B	`conf`	A Cook's Tour of Equational Axiomatizations for Prefix Iteration. FoSSaCS Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir
1998	J	`jnl`	A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces. Math. Struct. Comput. Sci. Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir
1998	B	`conf`	EURIS, a Specification Method for Distributed Interlockings. SAFECOMP Fokko van Dijk, Wan J. Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen
1998	J	`jnl`	On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based. Theor. Comput. Sci. Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir
1998	J	`jnl`	Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems. ACM Trans. Program. Lang. Syst. Wan J. Fokkink, Jasper Kamperman, Pum Walters
1997	J	`jnl`	An Axiomatization for Regular Processes in Times Branching Bisimulation. Fundam. Informaticae Wan J. Fokkink
1997	J	`jnl`	An Equational Axiomatization for Multi-Exit Iteration. Inf. Comput. Luca Aceto, Wan J. Fokkink
1997	A*	`conf`	Axiomatizations for the Perpetual Loop in Process Algebra. ICALP Wan J. Fokkink
1997	B	`conf`	Simulation as a Correct Transformation of Rewrite Systems. MFCS Wan J. Fokkink, Jaco van de Pol
1997	J	`jnl`	Termination Modulo Equations by Abstract Commutation with an Application to Iteration. Theor. Comput. Sci. Wan J. Fokkink, Hans Zantema
1997	J	`jnl`	Unification for Infinite Sets of Equations Between Finite Terms. Inf. Process. Lett. Wan J. Fokkink
1996	J	`jnl`	A Complete Axiomatization for Prefix Iteration in Branching Bisimulation. Fundam. Informaticae Wan J. Fokkink
1996	J	`jnl`	Algebra of timed frames. Int. J. Comput. Math. Jan A. Bergstra, Wan J. Fokkink, Cornelis A. Middelburg
1996	J	`jnl`	Axiomatizing Prefix Iteration with Silent Steps. Inf. Comput. Luca Aceto, Rob J. van Glabbeek, Wan J. Fokkink, Anna Ingólfsdóttir
1996	J	`jnl`	Ntyft/Ntyxt Rules Reduce to Ntree Rules. Inf. Comput. Wan J. Fokkink, Rob J. van Glabbeek
1996	—	`conf`	On the Completeness of the Euations for the Kleene Star in Bisimulation. AMAST Wan J. Fokkink
1995	J	`jnl`	An Effective Axiomatization for Real Time ACP. Inf. Comput. Wan J. Fokkink, Steven Klusener
1994	J	`jnl`	A Complete Equational Axiomatization for Prefix Iteration. Inf. Process. Lett. Wan J. Fokkink
1994	J	`jnl`	Basic Process Algebra with Iteration: Completeness of its Equational Axioms. Comput. J. Wan J. Fokkink, Hans Zantema
1994	—	`conf`	The Tyft/Tyxt Format Reduces to Tree Rules. TACS Wan J. Fokkink
1993	B	`conf`	An Elimination Theorem for Regular Behaviours with Integration. CONCUR Wan J. Fokkink