Concepedia

Viktor Gyuris

VG

Statistics

Publications

4

Citations

253

H-Index

4

Active since

1999

Affiliations

University of Illinois Chicago(Current)

Viktor Gyuris is an author at University of Illinois Chicago specializing in computing, computer science, and concurrent program verification.

Publications per year

1999–2010

4

Publications

4

The VMware mobile virtualization platform

Prashanth Bungale, Stephen Deasy, Viktor Gyuris et al. · ACM SIGOPS Operating Systems Review · 2010 · 134 citations

, , +17

SMC

A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson · ACM Transactions on Software Engineering and Methodology · 2000 · 80 citations · Full text

, , +17

On-the-Fly Model Checking Under Fairness that Exploits Symmetry

Viktor Gyuris, A. Prasad Sistla · Formal Methods in System Design · 1999 · 27 citations

, , +5

Parameterized Verification of Linear Networks using Automata as Invariants

A. Prasad Sistla, Viktor Gyuris · Formal Aspects of Computing · 1999 · 12 citations · Full text

, , +16

1–4 of 4