Görkem Kılınç
Görkem Kılınç
Postdoctoral Researcher in Computer Science, Darmstadt Technical University
Adresse e-mail validée de mais.informatik.tu-darmstadt.de
Titre
Citée par
Citée par
Année
Observable liveness of Petri nets
J Desel, G Kılınç
Acta Informatica 52 (2), 153-174, 2015
102015
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets
L Bernardinello, G Kılınç, L Pomello
T. Petri Nets and Other Models of Concurrency 9930 (11), 49--70, 2016
62016
A model of distributed key generation for industrial control systems
G Kilinc, IN Fovino, C Ferigato, A Koltuksuz
IFAC Proceedings Volumes 45 (29), 356-363, 2012
62012
Weak observable liveness and infinite games on finite graphs
L Bernardinello, G Kılınç, L Pomello
International Conference on Application and Theory of Petri Nets and …, 2017
52017
Modeling Distributed Private Key Generation by Composing Petri Nets
L Bernardinello, G Kılınç, E Mangioni, P Lucia
Trans. Petri Nets and Other Models of Concurrency 9 (8910), 19--40, 2014
42014
Modeling distributed private key generation by composing Petri nets
L Bernardinello, G Kılınç, E Mangioni, L Pomello
Transactions on Petri Nets and Other Models of Concurrency IX, 19-40, 2014
42014
Formal notions of non-interference and liveness for distributed systems
G Kılınç, L Bernardinello
Ph. D thesis in computer science, Universitá Degli Studi di Milano-Bicocca …, 2016
22016
Observable Liveness.
J Desel, G Kilinç
PNSE@ Petri Nets, 143-163, 2014
22014
Distributed Identity Based Private Key Generation for SCADA Systems
G Kılınç, IN Fovino
Critical Information Infrastructures Security, 118-129, 2013
12013
A practical and formal analysis of distributed private key generation for identity based cryptography
G Kılınç
2012
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–10