‪Tibor Kiss‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	21	13
h-index	2	2
i10-index	1	1

0

4

2

2016201720182019202020212022202320242 3 2 2 1 2 3 4 1

Co-authors

Florin CraciunAssociate Professor of Computer Science, Babes-Bolyai UniversityVerified email at ubbcluj.ro
Bazil PârvProfessor, Babeș-Bolyai University, Faculty of Mathematics and Computer Science, Department ofVerified email at cs.ubbcluj.ro

Tibor Kiss

Tibor Kiss

Phd. Student, Babes-Bolyai University

Verified email at cs.ubbcluj.ro

Software verification System Modeling


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Towards a Session Logic for Communication Protocols F Craciun, T Kiss, A Costea ICECCS, 2015	14	2015
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	7	2016
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