Viktor Gyuris

Publication Activity (10 Years)

Years Active: 1995-2010
Publications (10 Years): 0

Publications

Kenneth C. Barr, Prashanth P. Bungale, Stephen Deasy, Viktor Gyuris, Perry Hung, Craig Newell, Harvey Tuch, Bruno Zoppis
The VMware mobile virtualization platform: is that a hypervisor in your pocket? ACM SIGOPS Oper. Syst. Rev. 44 (4) (2010)
A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson
SMC: a symmetry-based model checker for verification of safety and liveness properties. ACM Trans. Softw. Eng. Methodol. 9 (2) (2000)
A. Prasad Sistla, Viktor Gyuris
Parameterized Verification of Linear Networks using Automata as Invariants. Formal Aspects Comput. 11 (4) (1999)
Viktor Gyuris, A. Prasad Sistla
On-the-Fly Model Checking Under Fairness that Exploits Symmetry. Formal Methods Syst. Des. 15 (3) (1999)
Ildikó Sain, Viktor Gyuris
Finite Schematizable Algebraic Logic. Log. J. IGPL 5 (5) (1997)
Viktor Gyuris
A Short Proof of Representability of Fork Algebras. Theor. Comput. Sci. 188 (1-2) (1997)
A. Prasad Sistla, L. Miliades, Viktor Gyuris
SMC: A Symmetry Based Model Checker for Verification of Liveness Properties. CAV (1997)
Viktor Gyuris, A. Prasad Sistla
On-the-Fly Model Checking Under Fairness That Exploits Symmetry. CAV (1997)
Viktor Gyuris
A Short Proof of Representability of Fork Algebras. Log. J. IGPL 3 (5) (1995)