Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Fokkink, Wan
272  Ergebnisse:
Personensuche X
?
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
Link: https://doi.org/10.1109/..
 
?
2

Eclipse ESCET:The Eclipse Supervisory Control Engineering T..:

Fokkink, Wan ; Goorden, Martijn ; Hendriks, Dennis...
https://vbn.aau.dk/da/publications/e49a6baa-6468-4a2e-b60c-ae470590d7a1.  , 2023
Link: https://vbn.aau.dk/da/pu..
 
?
3

Synthesis-based engineering of supervisory controllers:

Fokkink, Wan ; Goorden, Martijn ; Hendriks, Dennis...
https://vbn.aau.dk/da/publications/b0be3d69-1931-467c-af7e-7e230dca88db.  , 2023
Link: https://vbn.aau.dk/da/pu..
 
?
4

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/..
 
?
5

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/..
 
?
6

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/..
 
?
7

Lessons learned in the application of formal methods to the..:

Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; van Eldik, Koen..
https://vbn.aau.dk/da/publications/0afb842c-93a5-475f-936f-086e7b61a271.  , 2022
Link: https://vbn.aau.dk/da/pu..
 
?
8

Supervisor Synthesis: Bridging Theory and Practice:

Fokkink, Wan ; Goorden, Martijn ; van de Mortel-Fronczak, Joanna..
https://vbn.aau.dk/da/publications/8fde50dd-4378-406c-aa14-52be1e592f08.  , 2022
Link: https://vbn.aau.dk/da/pu..
 
?
9

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/..
 
?
10

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/..
 
?
11

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/..
 
?
12

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/..
 
?
13

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/..
 
?
14

Are two binary operators necessary to finitely axiomatise p..:

Aceto, Luca ; Castiglioni, Valentina ; Fokkink, Wan..
Aceto , L , Castiglioni , V , Fokkink , W , Ingólfsdóttir , A & Luttik , B 2021 , Are two binary operators necessary to finitely axiomatise parallel composition? in C Baier & J Goubault-Larrecq (eds) , 29th EACSL Annual Conference on Computer Science Logic (CSL 2021) . Leibniz International Proceedings in Informatics (LIPIcs) , vol. 183 , Schloss Dagstuhl - Leibniz-Zentrum für Informatik , pp. 8:1-8:17 , 29th EACSL Annual Conference on Computer Science Logic, CSL 2021 , Virtual, Ljubljana , Slovenia , 25/01/21 . https://doi.org/10.4230/LIPIcs.CSL.2021.8.  , 2021
Link: https://research.tue.nl/..
 
?
15

Model properties for efficient synthesis of nonblocking mod..:

Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; Reniers, Michel...
Goorden , M , van de Mortel-Fronczak , J , Reniers , M , Fabian , M , Fokkink , W & Rooda , J 2021 , ' Model properties for efficient synthesis of nonblocking modular supervisors ' , Control Engineering Practice , vol. 112 , 104830 . https://doi.org/10.1016/j.conengprac.2021.104830.  , 2021
Link: https://research.tue.nl/..
 
1-15