Görkem Kilinç Soylu

According to our database, Görkem Kilinç Soylu authored at least 14 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Microservice-based projects in agile world: A structured interview.

Hüseyin Ünlü, Dhia Eddine Kennouche, Görkem Kilinç Soylu, Onur Demirörs

Inf. Softw. Technol., January, 2024

2023

Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets.

Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello

Trans. Petri Nets Other Model. Concurr., 2023

Size Measurement and Effort Estimation in Microservice-based Projects: Results from Pakistan.

Görkem Kilinç Soylu, Hüseyin Ünlü, Isra Shafique Ahmad, Onur Demirörs

Proceedings of the Joint Proceedings of the 32nd International Workshop on Software Measurement (IWSM) and the 17th International Conference on Software Process and Product Measurement (MENSURA), 2023

An Exploratory Case Study: Using Petri Nets for Modelling Microservice-based Systems.

Görkem Kilinç Soylu, Onur Demirörs

Proceedings of the 49th Euromicro Conference on Software Engineering and Advanced Applications, 2023

2022

A Finite Prefix for Analyzing Information Flow Among Transitions of a Free-Choice Net.

Federica Adobbati, Görkem Kilinç Soylu, Adrián Puerto Aubel

IEEE Access, 2022

Information Flow among Transitions of Bounded Equal-Conflict Petri Nets.

Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello

Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

2017

Weak Observable Liveness and Infinite Games on Finite Graphs.

Luca Bernardinello, Görkem Kilinç, Lucia Pomello

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

Formal notions of non-interference and liveness for distributed systems.

Görkem Kilinç Soylu

PhD thesis, 2016

Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets.

Luca Bernardinello, Görkem Kilinç, Lucia Pomello

Trans. Petri Nets Other Model. Concurr., 2016

2015

Observable liveness of Petri nets.

Jörg Desel, Görkem Kilinç

Acta Informatica, 2015

2014

Modeling Distributed Private Key Generation by Composing Petri Nets.

Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello

Trans. Petri Nets Other Model. Concurr., 2014

Observable Liveness.

Jörg Desel, Görkem Kilinç

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2012

A model of distributed key generation for industrial control systems.

Görkem Kilinç, Igor Nai Fovino, Carlo Ferigato, Ahmet Koltuksuz

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Distributed Identity Based Private Key Generation for SCADA Systems.

Görkem Kilinç, Igor Nai Fovino

Proceedings of the Critical Information Infrastructures Security, 2012