According to our database1, Görkem Kilinç authored at least 7 papers between 2012 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Weak Observable Liveness and Infinite Games on Finite Graphs.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017
Observable liveness of Petri nets.
Acta Inf., 2015
Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014
Modeling Distributed Private Key Generation by Composing Petri Nets.
Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013
A model of distributed key generation for industrial control systems.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012
Distributed Identity Based Private Key Generation for SCADA Systems.
Proceedings of the Critical Information Infrastructures Security, 2012