Personensuche
X
?
2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS) ,
1
Validating communication of a dynamic traffic management sy..:
, In:
?
Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning ,
2
A Note on the Message Complexity of Cidon's Distributed Dep..:
, In:
?
Networked Systems; Lecture Notes in Computer Science ,
3
Fault-Tolerant Termination Detection with Safra's Algorithm:
, In:
?
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ,
4
A Complete Proof System for 1-Free Regular Expressions Modu..:
, In:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
5
Modeling Guidelines for Component-Based Supervisory Control..:
, In:
?
2020 IEEE European Symposium on Security and Privacy (EuroS&P) ,
6
SecurePay: Strengthening Two-Factor Authentication for Arbi..:
, In:
?
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science ,
7
Variations of the Itai-Rodeh Algorithm for Computing Anonym..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
8
The Impact of Requirement Splitting on the Efficiency of Su..:
, In:
?
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science ,
9
Divide and Congruence II : Delay and Weak Bisimilarity:
, In:
?
Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012) ,
10
Using Model Checking to Analyze the System Behavior of the ..:
, In:
?
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing ,
11
Brief announcement : a shared disk on distributed storag:
, In:
?
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing ,
12
Brief announcement : asynchronous bounded expected delay..:
, In:
?
2009 Sixth International Conference on the Quantitative Evaluation of Systems ,
13
Mean-Field Analysis for the Evaluation of Gossip Protocols:
, In:
?
Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008; IFIP International Federation for Information Processing ,
14
Leader Election in Anonymous Rings: Franklin Goes Probabili..:
, In:
?
Lecture Notes in Computer Science; International Symposium on Fundamentals of Software Engineering ,
15