Travelled to:1 × Romania
2 × Hungary
Collaborated with:Z.Horváth T.Kozsik G.Dévai D.Leskó M.Tóth I.Bozó L.Lövei
Talks about:program (2) behaviour (1) properti (1) struggl (1) analysi (1) tempor (1) sparkl (1) proven (1) impact (1) erlang (1)
Person: Máté Tejfel
DBLP: Tejfel:M=aacute=t=eacute=
Contributed to:
201320092005Wrote 3 papers:
- CEFP-2013-DevaiLT
- The EDSL’s Struggle for Their Sources (GD, DL, MT), pp. 300–335.
- CEFP-2009-TothBHLTK #behaviour #dependence #erlang #graph #impact analysis #source code #using
- Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs (MT, IB, ZH, LL, MT, TK), pp. 372–390.
- CEFP-2005-TejfelHK #source code
- Temporal Properties of Clean Programs Proven in Sparkle-T (MT, ZH, TK), pp. 168–190.