Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2016. IX. 14.
Personal data
name Máté Tejfel
year of birth 1977
name of institution
doctoral school
ELTE Doctoral School of Informatics (Supervisor)
Contact details
E-mail address matejinf.elte.hu
phone number +36 1 381-2319
Academic title
scientific degree, title Ph.D.
year degree was obtained 2009
discipline to which degree belongs computer sciences
institution granting the degree Eötvös Lóránd Tudományegyetem (to be translated)
Employment
2003 - Eötvös Loránd University, Budapest
university professor or researcher
Thesis topic supervisor
number of doctoral students supervised until now 4
number of students who fulfilled course requirements 1
students who obtained their degrees:
completed course requirement, without degree or degree granting in process:
(50%) Dániel Leskó (PhD) 2013/08  IDI2-ELTE
(50%) Judit Kőszegi (PhD) 2013/08  IDI2-ELTE
Máté Karácsony (PhD) 2016/08  IDI2-ELTE
present PhD students:
Boldizsár Németh (PhD) (2017/08)  IDI2-ELTE
Gergely Buday (PhD) (2017/08)  IDI2-ELTE
  Thesis topic proposals
Research
research area Verification, functional programming, parallel programming
research field in which current research is conducted computer sciences
Publications
2013

Leskó Dániel, dr Tejfel Máté: Testing framework for embedded languages, COMPUTER SCIENCE AND INFORMATION SYSTEMS 10: (4) pp. 1647-1659.
type of document: Journal paper/Article
language: English
2013

Gergely Dévai, Máté Tejfel, Dániel Leskó: The EDSL's struggle for their sources, In: Domain Specific Languages Summer School.Cluj-Napoca, Románia, 2013.07.08-2013.07.20. pp. & Kiadvány: 2013.
type of document: Conference paper/Előadás vagy poszter cikke
language: English
Full text 
2013

Gergely Dévai, Dániel Leskó, Máté Tejfel: Embedding and Parsing Combined for Efficient Language Design, In: International Conference on Software Engineering and Applications (ICSOFT-EA 2013).Reykjavik, Izland, 2013.07.29-2013.07.31. SciTePress, pp. 244-250. Kiadvány: SciTePress, 2013.
type of document: Conference paper/Előadás vagy poszter cikke
language: English
2012

Máté Tejfel, Melinda Tóth, István Bozó, Dániel Horpácsi, Zoltán Horváth: Improving quality of software analyser and transformer tools using specification based testing, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 37: pp. 355-368.
type of document: Journal paper/Article
language: English
Full text 
2012

Dániel Leskó, Máté Tejfel: A DOMAIN BASED NEW CODE COVERAGE METRIC AND A RELATED AUTOMATED TEST DATA GENERATION METHOD, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 36: pp. 217-240.
type of document: Journal paper/Article
language: English
Full text 
2011

Bozó I, Horpácsi D, Horváth Z, Kitlei R, Köszegi J, Tejfel M, Tóth M: RefactorErl - Source Code Analysis and Refactoring in Erlang, In: Szerk.: Jaan Phenjam 12th Symposium on Programming Languages and Software Tools. Tallinn: TUT Press, 2011. pp. 138-148.
type of document: Part of book/Proceedings Paper
language: English
2011

Bozó I, Tóth M, Tejfel M, Horpácsi D, Kitlei R, Kőszegi J, Horváth Z: Using impact analysis based knowledge for validating refactoring steps, In:Szerk.: Militon Frentiu, Szerk.: Horia F Pop, Szerk.: Simona Motogna International Conference on Knowledge Engineering, Principles and Techniques, KEPT 2011, Selected papers.Cluj-Napoca, Románia, 2011.07.04-2011.07.06. Cluj-Napoca: Presa Universitara Clujeana, pp. 325-336. Kiadvány: Cluj-Napoca: Presa Universitara Clujeana, 2011.
type of document: Conference paper/Előadás vagy poszter cikke
language: English
2011

Horváth Zoltán, Bozó István, Tóth Melinda, Tejfel Máté: FIRST ORDER FLOW ANALYSIS FOR ERLANG, 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. 403-416.
type of document: Part of book/Proceedings Paper
language: English
Full text 
2011

Bozó I, Tóth M, Tejfel M, Horpácsi D, Kitlei R, Kőszegi J, Horváth Z: Using impact analysis based knowledge for validating refactoring steps, STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA 56: (3) pp. 57-64.
type of document: Journal paper/Article
language: English
Full text 
2006

Tejfel M, Horváth Z, Kozsik T: Temporal properties of clean programs proven in Sparkle-T, LECTURE NOTES IN COMPUTER SCIENCE 4164 LNCS: pp. 168-190.
type of document: Journal paper/Article
number of independent citations: 3
language: English
DOI 
Number of independent citations to these publications:
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
38
number of scientific publications:
46
monographs and professional books:
0
monographs/books in which chapters/sections were contributed:
2 
art/engineering creative works:
0
scientific publications published abroad that meet the accreditation criteria:
19
publications not in Hungarian, published in Hungary, meeting the accreditation criteria:
13
number of independent citations to scientific publications and creative works:
46

 
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. )