Travelled to:1 × The Netherlands
1 × USA
2 × Hungary
Collaborated with:T.Gyimóthy D.Binkley S.Danicic M.Harman B.Korel J.Jász G.Lehotai L.Schrettner L.J.Fülöp Á.Beszédes L.Ouarbya
Talks about:slice (5) relationship (2) between (2) execut (2) form (2) interprocedur (1) framework (1) industri (1) formalis (1) softwar (1)
Person: Ákos Kiss
DBLP: Kiss:=Aacute=kos
Contributed to:
2012
2005200620042003Wrote 5 papers:
- CSMR-2012-SchrettnerFBKG #framework #industrial #quality
- Software Quality Model and Framework with Applications in Industrial Context (LS, LJF, ÁB, ÁK, TG), pp. 453–456.
- SCAM-2005-BinkleyDGHKK #slicing
- Minimal Slicing and the Relationships Between Forms of Slicing (DB, SD, TG, MH, ÁK, BK), pp. 45–56.
- SCAM-J-2005-BinkleyDGHKK06 #formal method #slicing
- A formalisation of the relationship between forms of program slicing (DB, SD, TG, MH, ÁK, BK), pp. 228–252.
- SCAM-2004-BinkleyDGHKO #execution #formal method #slicing
- Formalizing Executable Dynamic and Forward Slicing (DB, SD, TG, MH, ÁK, LO), pp. 43–52.
- SCAM-2003-KissJLG #bytecode #interprocedural #slicing
- Interprocedural Static Slicing of Binary Executables (ÁK, JJ, GL, TG), p. 118–?.