Wan J. Fokkink - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 33 from 33

2023

Eclipse ESCET™: The Eclipse Supervisory Control Engineering ToolkitWan 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. TACAS 2023: 44-52 [doi]

Synthesis and Implementation of Distributed Supervisory Controllers With Communication DelaysLars Moormann, Reinier H. J. Schouten, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda. tase, 20(3):1591-1606, July 2023. [doi]

Legend Pattern Calculation for Dynamic Traffic Management Using ILPJ. J. Verbakel, Jeroen van Meurs, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda. case 2023: 1-7 [doi]

Validating communication of a dynamic traffic management systemJ. J. Verbakel, Wan J. Fokkink, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda. ICECCS 2023: 207-215 [doi]

2022

2021

Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik. csl 2021: [doi]

Detecting useless transitions in pushdown automataEvangelos Chatzikalymnios, Wan J. Fokkink, Dick Grune, Brinio Hond, Peter Rutgers. iandc, 279:104612, 2021. [doi]

Compositional coordinator synthesis of extended finite automataMartijn A. Goorden, Martin Fabian, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda. deds, 31(3):317-348, 2021. [doi]

Fault-Tolerant Termination Detection with Safra's AlgorithmGeorgios Karlos, Wan J. Fokkink, Per Fuchs. netys 2021: 71-87 [doi]

Synthesis and Implementation of Distributed Supervisory Controllers with Communication DelaysL. Moormann, R. H. J. Schouten, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda. case 2021: 1268-1275 [doi]

Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridgeFerdie F. H. Reijnen, Eva-Britt Leliveld, Joanna M. van de Mortel-Fronczak, John van Dinther, Jacobus E. Rooda, Wan J. Fokkink. cii, 130:103473, 2021. [doi]

A configurator for supervisory controllers of roadside systemsJ. J. Verbakel, M. E. W. Vos de Wael, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda. case 2021: 784-791 [doi]

2020

Congruence from the operator's point of viewMaciej Gazda, Wan J. Fokkink, Vittorio Massaro. ACTA, 57(3-5):329-351, 2020. [doi]

Structuring Multilevel Discrete-Event Systems With Dependence Structure MatricesMartijn Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda. tac, 65(4):1625-1639, 2020. [doi]

The Road Ahead for Supervisor SynthesisMartijn 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. setta 2020: 1-16 [doi]

A Complete Proof System for 1-Free Regular Expressions Modulo BisimilarityClemens Grabmayer, Wan J. Fokkink. lics 2020: 465-478 [doi]

SecurePay: Strengthening Two-Factor Authentication for Arbitrary TransactionsRadhesh Krishnan Konoth, Björn Fischer, Wan J. Fokkink, Elias Athanasopoulos, Kaveh Razavi, Herbert Bos. eurosp 2020: 569-586 [doi]

Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor SynthesisL. Moormann, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda. case 2020: 659-666 [doi]

2019

Tailor-made multiple sequence alignments using the PRALINE 2 alignment toolkitMaurits J. J. Dijkstra, Atze van der Ploeg, K. Anton Feenstra, Wan J. Fokkink, Sanne Abeln, Jaap Heringa. bioinformatics, 35(24):5315-5317, 2019. [doi]

Deducing causes for the absence of states in supervised systemsLennart Swartjes, Michel A. Reniers, Wan J. Fokkink. codit 2019: 144-149 [doi]

2018

Motif-Aware PRALINE: Improving the alignment of motif regionsMaurits J. J. Dijkstra, Punto Bawono, Sanne Abeln, K. Anton Feenstra, Wan J. Fokkink, Jaap Heringa. ploscb, 14(11), 2018. [doi]

2017

2016

Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisorsLennart Swartjes, Michel A. Reniers, D. A. van Beek, Wan J. Fokkink. wodes 2016: 14-21 [doi]

2015

Maximal Synthesis for Hennessy-Milner LogicAllan C. Van Hulst, Michel A. Reniers, Wan J. Fokkink. tecs, 14(1):10, 2015. [doi]

Maximally Permissive Controlled System Synthesis for Modal LogicAllan van Hulst, Michel A. Reniers, Wan J. Fokkink. sofsem 2015: 230-241 [doi]

2014

Formal Specification and Verification of TCP Extended with the Window Scale OptionLars Lockefeer, David M. Williams, Wan J. Fokkink. fmics 2014: 63-77 [doi]

1996

Algebra of timed framesJan A. Bergstra, Wan J. Fokkink, C. A. Middelburg. ijcm, 61(3-4):227-255, 1996. [doi]

See Also

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Wan J. Fokkink'

Viewing Publication 1 - 33 from 33

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

1996

See Also

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Wan J. Fokkink'

Viewing Publication 1 - 33 from 33

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

1996

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1