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

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

2

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

3

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

4

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

5

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

6

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

7

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

8

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

9

Divide and Congruence II : Delay and Weak Bisimilarity:

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

Fokkink, Wan ; van Glabbeek, Rob - p. 778-787 , 2016

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

10

Using Model Checking to Analyze the System Behavior of the ..:

, In: Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012),

Remenska, Daniela ; Willemse, Tim A. C. ; Verstoep, Kees... - p. 335-343 , 2012

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

11

Brief announcement : a shared disk on distributed storag:

, In: Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing,

Vijzelaar, Stefan ; Bos, Herbert ; Fokkink, Wan - p. 79-80 , 2010

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

12

Brief announcement : asynchronous bounded expected delay..:

, In: Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing,

Bakhshi, Rena ; Endrullis, Jörg ; Fokkink, Wan. - p. 392-393 , 2010

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

13

Mean-Field Analysis for the Evaluation of Gossip Protocols:

, In: 2009 Sixth International Conference on the Quantitative Evaluation of Systems,

Bakhshi, Rena ; Cloth, Lucia ; Fokkink, Wan. - p. None , 2009

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

14

Leader Election in Anonymous Rings: Franklin Goes Probabili..:

, In: Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008; IFIP International Federation for Information Processing,

Bakhshi, Rena ; Fokkink, Wan ; Pang, Jun. - p. 57-72 , 2008

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

15

Adapting the UPPAAL Model of a Distributed Lift System:

, In: Lecture Notes in Computer Science; International Symposium on Fundamentals of Software Engineering,

Fokkink, Wan ; Kakebeen, Allard ; Pang, Jun - p. 81-97 , 2007

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