Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2016. VIII. 31.
Personal data
László Kozma
name László Kozma
year of birth 1948
name of institution
doctoral school
ELTE Doctoral School of Informatics (Academic staff member)
accreditation statement submitted to: Eötvös Loránd University, Budapest
Contact details
E-mail address kozmaludens.elte.hu
phone number +36 1 381-2139
own web page
Academic title
scientific degree, title CSc
year degree was obtained 1982
discipline to which degree belongs mathematics and computing
institution granting the degree HAS
Employment
1983 - Eötvös Loránd University, Budapest
other (not specified) (nyugdíjas)
Thesis topic supervisor
number of doctoral students supervised until now 9
number of students who fulfilled course requirements 7
students who obtained their degrees:
Anna Medve PhD 2014  IDI2-ELTE
Ákos Dávid PhD 2013  IDI2-ELTE
(50%) Radu Dan Gaceanu PhD 2012  IDI2-ELTE
Balázs Ugron PhD 2008  IDI2-ELTE
Szabolcs Hajdara PhD 2008  IDI2-ELTE
Péter Szlávi PhD 2005  IDI2-ELTE
Attila Ulbert PhD 2004  IDI2-ELTE

completed course requirement, without degree or degree granting in process:
György Orbán (PhD) 2013/08  IDI2-ELTE
Zsolt Borsi (PhD) 2011/08  IDI2-ELTE
  Thesis topic proposals
Research
research area Theory of programming, object-oriented modelling and design and component based software development.
research field in which current research is conducted computer sciences
Publications
2013

L Kozma, Gy Orbán: On semantic descriptions of software systems, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 41: (57) p. 71.
type of document: Journal paper/Article
language: English
Full text 
2012

Orbán György, Kozma László: Defining contracts with different tools in software development, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 36: pp. 323-339.
type of document: Journal paper/Article
language: English
Full text 
2011

Orbán György, Kozma László: Using Contracts for Developing and Testing Software Systems, In: Szerk.: Callaos Nagib, Szerk.: Chu Hsing-Wei, Szerk.: Horne Weremy, Szerk.: Welsch Friedrich Proceedings International Conference on Education, Informatics, and Cybernetics (ICEIC 2011).: International Symposium on Integrating Research, Education, and Problem Solving (IREPS 2011).. Orlando: [s. n.], 2011. pp. 67-72.
type of document: Part of book/Proceedings Paper
language: English
Full text 
2011

Kozma László, Borsi Zsolt: Verifying Universal CTL* Properties by Checking the Properties on the Abstract Model of the System, In: Szerk.: Dobróka M, Szerk.: Bikfalvi P microCAD 2011, M szekció: XXV. International Scientific Conference. Miskolc: University of Miskolc Innovation and Technology Transfer Centre, 2011. pp. 13-18.
Alkalmazott informatika
type of document: Part of book/Proceedings Paper
language: English
2011

Kozma László, Borsi Zsolt: Model checking and testing, In: Szerk.: Horia F Pop, Szerk.: Antal Bege 8th Joint Conference on Mathematics and Computer Science: MaCS 2010 : Komárno, Slovakia, July 14-17, 2010 : selected papers. Győr: Novadat, 2011. pp. 175-184.
type of document: Part of book/Proceedings Paper
language: English
Full text 
2008

Dávid Á, Kozma L, Pozsgai T: On the model checking of a system consisting of many similar components, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 28: pp. 183-195.
type of document: Journal paper/Article
language: English
Full text 
2007

Dávid A, Pozsgai T, Kozma L: Extending a system with verified components, PERIODICA POLYTECHNICA: ELECTRICAL ENGINEERING 51: (3-4) pp. 133-139.
type of document: Journal paper/Article
language: English
Full text 
2006

Dávid Ákos, Kozma László, Varga László: On the correctness of data type classes based on contracts, PURE MATHEMATICS AND APPLICATIONS 17: (3-4) pp. 251-261.
type of document: Journal paper/Article
language: English
2005

Ugron B, Hajdara S, Kozma L: Synthesis of the synchronization of general pipeline systems, ACTA CYBERNETICA-SZEGED 17: (1) pp. 123-151.
type of document: Journal paper/Article
number of independent citations: 1
language: English
2004

Kozma L, Varga L: On the starvation problem of concurrent programs, PURE MATHEMATICS AND APPLICATIONS SERIES C 15: (2-3) pp. 203-212 (2005).
type of document: Journal paper/Article
language: English
Full text 
Number of independent citations to these publications:
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
70
number of scientific publications:
83
monographs and professional books:
1
monographs/books in which chapters/sections were contributed:
3 
art/engineering creative works:
0
number of independent citations to scientific publications and creative works:
20

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 1.2318 ( 2016. XI. 26. )