Observable liveness of Petri nets J Desel, G Kılınç Acta Informatica 52 (2), 153-174, 2015 | 13 | 2015 |
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 | 12 | 2016 |
Weak observable liveness and infinite games on finite graphs L Bernardinello, G Kılınç, L Pomello Application and Theory of Petri Nets and Concurrency: 38th International …, 2017 | 9 | 2017 |
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 | 7 | 2014 |
Microservice-based projects in agile world: A structured interview H Ünlü, DE Kennouche, G Kılınç Soylu, O Demirörs Information and Software Technology, 107334, 2023 | 6 | 2023 |
Formal notions of non-interference and liveness for distributed systems G Kılınç Ph. D thesis in computer science, Universitá Degli Studi di Milano-Bicocca …, 2016 | 6 | 2016 |
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 | 5 | 2012 |
Observable Liveness. J Desel, G Kilinç PNSE@ Petri Nets, 143-163, 2014 | 3 | 2014 |
A finite prefix for analyzing information flow among transitions of a free-choice net F Adobbati, GK Soylu, AP Aubel IEEE Access 10, 38483-38501, 2022 | 2 | 2022 |
Information Flow among Transitions of Bounded Equal-Conflict Petri Nets. F Adobbati, L Bernardinello, GK Soylu, L Pomello PNSE@ Petri Nets, 60-79, 2022 | 2 | 2022 |
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets F Adobbati, L Bernardinello, G Kılınç Soylu, L Pomello Transactions on Petri Nets and Other Models of Concurrency XVII, 54--83, 2023 | 1 | 2023 |
An exploratory case study: using petri nets for modelling microservice-based systems GK Soylu, O Demirörs 2023 49th Euromicro Conference on Software Engineering and Advanced …, 2023 | 1 | 2023 |
Distributed identity based private key generation for SCADA systems G Kılınç, I Nai Fovino Critical Information Infrastructures Security: 7th International Workshop …, 2013 | 1 | 2013 |
Size Measurement and Effort Estimation in Microservice-based Projects: Results from Pakistan GK Soylu, H Ünlü, IS Ahmad, O Demirörs CEUR Workshop Proceedings, 2023 | | 2023 |
PNSE’13 Proceedings A Omicini, S Mariani, T Chatain, S Haar, X Jin, Y Lembachar, G Ciardo, ... Joint Proceedings of:» PNSE’13 «, 11, 2013 | | 2013 |
A practical and formal analysis of distributed private key generation for identity based cryptography G Kilinç Fen Bilimleri Enstitüsü, 2012 | | 2012 |