Dr. Görkem Kilinç

Görkem Kilinç
Office: S2|02 E312
Phone: +49 6151 16-25253
Fax: +49 6151 16-25251
Mail: kilincatmais.informatik.tu-darmstadt.de

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt

Germany

GPG-Key:

Short Bio

I was graduated from Computer Engineering Department of Izmir Institute of Technology in 2009. I have received my MSc degree in Computer Engineering  in 2012 from Yaşar University, Izmir, with a thesis on  "Practical and Formal Analysis of Distributed Private Key Generation for Identity Based Cryptography".  In 2016, I have received my PhD degree in Computer Science from  University of Milano-Bicocca, in Italy  with a thesis on "Formal Notions of Non-interference and Liveness for Distributed Systems". After working as a Postdoc in Computer Science Department of   University of Milano-Bicocca, Laboratory of Models of Concurrency, Communication  and Computation (MC3) for two years, in November 2017, I have joined MAIS as a Postdoc under supervision of Prof. Dr. Heiko Mantel.

Research Interests

  • Formal Methods
  • Non-interference
  • Liveness
  • Concurrency
  • Petri nets
  • Games on graphs

Publications

2017

  • Luca Bernardinello, Görkem Kılınç and Lucia Pomello: Weak Observable Liveness and Infinite Games on Finite Graphs, Proceedings of 38th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2017), Zaragoza, LNCS 10258, Springer, pg. 181- 199. [link]

2016

  • Luca Bernardinello, Görkem Kılınç  and Lucia Pomello: Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets, Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XI, LNCS 9930, Springer, 2016, pg. 49-70. [link]

  • Görkem Kılınç: Formal Notions of Non-interference and Liveness for Distributed Systems, PhD Thesis, Università degli Studi di Milano-Bicocca, 2016. [link]

2015

  • rg Desel and Görkem Kılınç: Observable Liveness of Petri Nets, Special Issue of ACTA Informatica on Comprehending Asynchrony in Specification and Analysis, Volume 52(2-3), pg. 153-174. [link]
  • Luca Bernardinello, Görkem Kılınç and Lucia Pomello: Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets, Proceedings of International Workshop on Petri Nets and Software Engineering (PNSE’15), Brussels, CEUR Workshop  Proceedings 1372, 2015, pg. 59-78. [link]
2014
  • Luca Bernardinello, Görkem Kılınç, Elisabetta Mangioni, and Lucia Pomello: Modeling Distributed Private Key Generation by Composing Petri Nets, Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) IX, LNCS 8910, Springer, 2014, pg. 19-40. [link]
  • Jörg Desel and Görkem Kılınç: Observable Liveness, Proceedings of International Workshop on Petri Nets and Software Engineering (PNSE’14), Tunis, CEUR Workshop Proceedings 1160, 2014, pg. 143-163. [link]

2013

  • Luca Bernardinello, Görkem Kılınç, Elisabetta Mangioni, and Lucia Pomello: Modeling Distributed Private Key Generation by Composing Petri Nets, Proceedings of International Workshop on Petri Nets and Software Engineering (PNSE’13) Milano, CEUR Workshop Proceedings 989, 2013, pg. 77-96. [link]

2012

  • Görkem Kılınç, Igor Nai Fovino: Distributed Identity Based Private Key Generation for SCADA Systems, Proceedings of Critical Infrastructures Security, LNCS 7722, Springer, 2012, pg. 118-129. [link]
  • Görkem Kılınç, Igor Nai Fovino, Carlo Ferigato and Ahmet Koltuksuz: A Model of Distributed Key Generation for Industrial Control Systems, IFAC Proceedings Volumes, Volume 45, Issue 29, Elsevier, 2012, pg. 356-363. [link]

Thesis Advising

Master’s thesis of Cristian Paul Narro Paredes, 2016-2017
Dipartimento di Informatica, Sistemistica e Comunicazione (DISCO) Universit`a degli studi di Milano - Bicocca, Italy.
Title: Reveals and Excludes Relations for Places of Petri Nets

Bachelor's thesis of Alessandro Banfi, 2014-2015
Dipartimento di Informatica, Sistemistica e Comunicazione (DISCO) Universit`a degli studi di Milano - Bicocca, Italy.
Title: Developing Software Modules for the Unfoldings of Petri Nets

Services to the Scientific Community

  • Reviewed for:
    • Fundamenta Informaticae
    • International Conference on Application and Theory of Petri Nets and Concurrency
    • International Conference on Application of Concurrency to System Design
    • International Workshop on Petri Nets and Software Engineering
    • Computability in Europe
  • Local organizing committee member in 34th International Conference on Application and Theory of Petri Nets and Concurrency, Milano, Italy, June 2013.
  • Local organizing committee member in COMPSAC 2012 - Trustworthy Software Systems for the Digital Society, Izmir, Turkey, 16-20 July 2012.
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang