Görkem Kilinç

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 5

Top Topics

Discrete Event Systems

Manufacturing Systems

Top Venues

Trans. Petri Nets Other Model. Concurr.

PNSE @ Petri Nets

Publications

Jiajian Xiao, Görkem Kilinç, Philipp Andelfinger, David Eckhoff, Wentong Cai, Alois C. Knoll
Pedal to the Bare Metal: Road Traffic Simulation on FPGAs Using High-Level Synthesis. SIGSIM-PADS (2020)
Luca Bernardinello, Görkem Kilinç, Lucia Pomello
Weak Observable Liveness and Infinite Games on Finite Graphs. Petri Nets (2017)
Luca Bernardinello, Görkem Kilinç, Lucia Pomello
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Jörg Desel, Görkem Kilinç
Observable liveness of Petri nets. Acta Informatica 52 (2-3) (2015)
Luca Bernardinello, Görkem Kilinç, Lucia Pomello
Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets. PNSE @ Petri Nets (2015)
Jörg Desel, Görkem Kilinç
Observable Liveness. PNSE @ Petri Nets (2014)
Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello
Modeling Distributed Private Key Generation by Composing Petri Nets. Trans. Petri Nets Other Model. Concurr. 9 (2014)
Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello
Modeling Distributed Private Key Generation by Composing Petri Nets. PNSE+ModPE (2013)
Görkem Kilinç, Igor Nai Fovino
Distributed Identity Based Private Key Generation for SCADA Systems. CRITIS (2012)
Görkem Kilinç, Igor Nai Fovino, Carlo Ferigato, Ahmet Koltuksuz
A model of distributed key generation for industrial control systems. WODES (2012)