E-LIB Suche - Ergebnisse für: Fokkink, Wan

1

Validating communication of a dynamic traffic management sy..:

, In: 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS),

Verbakel, Jeroen ; Fokkink, Wan ; Van De Mortel-Fronczak, Joanna. - p. 207-215 , 2023

2

Are Two Binary Operators Necessary to Obtain a Finite Axiom..:

Aceto, Luca ; Castiglioni, Valentina ; Fokkink, Wan..
ACM Transactions on Computational Logic. 23 (2022) 4 - p. 1-56 , 2022

Link: https://doi.org/10.1145/..

3

A Note on the Message Complexity of Cidon's Distributed Dep..:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,

Musaev, Saidgani ; Fokkink, Wan - p. 467-471 , 2022

Link: https://doi.org/10.1007/..

4

Supervisor Synthesis: Bridging Theory and Practice:

Fokkink, Wan ; Goorden, Martijn ; van de Mortel-Fronczak, Joanna..
Computer. 55 (2022) 10 - p. 48-54 , 2022

Link: https://doi.org/10.1109/..

5

Synthesized fault-tolerant supervisory controllers, with an..:

Reijnen, Ferdie ; Leliveld, Eva-Britt ; van de Mortel-Fronczak, Joanna...
Computers in Industry. 130 (2021) - p. 103473 , 2021

Link: https://doi.org/10.1016/..

6

Compositional coordinator synthesis of extended finite auto..:

Goorden, Martijn A. ; Fabian, Martin ; van de Mortel-Fronczak, Joanna M....
Discrete Event Dynamic Systems. 31 (2021) 3 - p. 317-348 , 2021

Link: https://doi.org/10.1007/..

7

Model properties for efficient synthesis of nonblocking mod..:

Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; Reniers, Michel...
Control Engineering Practice. 112 (2021) - p. 104830 , 2021

Link: https://doi.org/10.1016/..

8

Detecting useless transitions in pushdown automata:

Chatzikalymnios, Evangelos ; Fokkink, Wan ; Grune, Dick..
Information and Computation. 279 (2021) - p. 104612 , 2021

Link: https://doi.org/10.1016/..

9

Fault-Tolerant Termination Detection with Safra's Algorithm:

, In: Networked Systems; Lecture Notes in Computer Science,

Karlos, Georgios ; Fokkink, Wan ; Fuchs, Per - p. 71-87 , 2021

Link: https://doi.org/10.1007/..

10

SecurePay: Strengthening Two-Factor Authentication for Arbi..:

, In: 2020 IEEE European Symposium on Security and Privacy (EuroS&P),

Konoth, Radhesh Krishnan ; Fischer, Bjorn ; Fokkink, Wan... - p. 569-586 , 2020

Link: https://doi.org/10.1109/..

11

Modeling Guidelines for Component-Based Supervisory Control..:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; Reniers, Michel.. - p. 3-24 , 2020

Link: https://doi.org/10.1007/..

12

A Complete Proof System for 1-Free Regular Expressions Modu..:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

Grabmayer, Clemens ; Fokkink, Wan - p. 465-478 , 2020

Link: https://dl.acm.org/doi/1..

13

Congruence from the operator's point of view: Syntactic req..:

Gazda, Maciej ; Fokkink, Wan ; Massaro, Vittorio
Acta Informatica. 57 (2019) 3-5 - p. 329-351 , 2019

Link: https://doi.org/10.1007/..

14

Variations of the Itai-Rodeh Algorithm for Computing Anonym..:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,

Fokkink, Wan ; Samsom, Guus - p. 3-13 , 2019

Link: https://doi.org/10.1007/..

15

The Impact of Requirement Splitting on the Efficiency of Su..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; Reniers, Michel.. - p. 76-92 , 2019

Link: https://doi.org/10.1007/..