Follow
Tibor Kiss
Tibor Kiss
Verified email at cs.ubbcluj.ro
Title
Cited by
Cited by
Year
Towards a Session Logic for Communication Protocols
F Craciun, T Kiss, A Costea
ICECCS, 2015
162015
Developing railway interlocking systems with Session types and Event-B.
T Kiss, KT Jßnosi-Rancz
IEEE International Symposium on Applied Computational Intelligence andá…, 2016
82016
Comparison of Session Logic with Session Types
T Kiss
Studia Informatica 61, 54-66, 2016
2016
Session Logic and Its Applications in Railway Industry
T Kiss
2016
Verification of protocol specifications with Separation Logic
T Kiss, F Craciun, B Parv
2015 IEEE International Conference on Intelligent Computer Communication andá…, 2015
2015
Extending LARIS with Session Types: A Case Study in the Railway Interlocking
T Kiss, F Craciun, B Parv
MIPRO, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–6