Travelled to:1 × Spain
1 × USA
Collaborated with:H.Seidl L.Gönczy R.Dimitrova B.Finkbeiner M.N.Rabe
Talks about:analysi (2) inform (2) model (2) flow (2) interprocedur (1) processor (1) workflow (1) reactiv (1) system (1) formal (1)
Person: Máté Kovács
DBLP: Kov=aacute=cs:M=aacute=t=eacute=
Contributed to:
2014
2012
2008Wrote 3 papers:
- LATA-2014-SeidlK #analysis #data flow #interprocedural #xml
- Interprocedural Information Flow Analysis of XML Processors (HS, MK), pp. 34–61.
- VMCAI-2012-DimitrovaFKRS #data flow #model checking
- Model Checking Information Flow in Reactive Systems (RD, BF, MK, MNR, HS), pp. 169–185.
- GT-VMT-2006-KovacsG08 #analysis #formal method #modelling #simulation #workflow
- Simulation and Formal Analysis of Workflow Models (MK, LG), pp. 221–230.