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 ,
6
Fault-Tolerant Termination Detection with Safra's Algorithm:
, In:
?
2020 IEEE European Symposium on Security and Privacy (EuroS&P) ,
10
SecurePay: Strengthening Two-Factor Authentication for Arbi..:
, In:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
11
Modeling Guidelines for Component-Based Supervisory Control..:
, In:
?
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ,
12
A Complete Proof System for 1-Free Regular Expressions Modu..:
, In:
?
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science ,
15