Collaborated with:D.Varró O.Semeráth M.Búr G.Szilágyi
Talks about:increment (1) distribut (1) monitor (1) generat (1) system (1) solver (1) runtim (1) physic (1) queri (1) model (1)
Person: András Vörös 0001
DBLP: 0001:Andr=aacute=s_V=ouml=r=ouml=s
Contributed to:
20162018Wrote 2 papers:
- FASE-2016-SemerathVV #generative #incremental #logic
- Iterative and Incremental Model Generation by Logic Solvers (OS, AV0, DV), pp. 87–103.
- FASE-2018-BurSVV #cyber-physical #distributed #graph #monitoring #query #runtime
- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems (MB, GS, AV0, DV), pp. 111–128.