Viktor Gyuris

According to our database, Viktor Gyuris authored at least 7 papers between 1997 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

The VMware mobile virtualization platform: is that a hypervisor in your pocket?

Kenneth C. Barr, Prashanth P. Bungale, Stephen Deasy, Viktor Gyuris, Perry Hung, Craig Newell, Harvey Tuch, Bruno Zoppis

ACM SIGOPS Oper. Syst. Rev., 2010

2000

SMC: a symmetry-based model checker for verification of safety and liveness properties.

A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson

ACM Trans. Softw. Eng. Methodol., 2000

1999

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

Viktor Gyuris, A. Prasad Sistla

Formal Methods Syst. Des., 1999

Parameterized Verification of Linear Networks using Automata as Invariants.

A. Prasad Sistla, Viktor Gyuris

Formal Aspects Comput., 1999

1997

A Short Proof of Representability of Fork Algebras.

Viktor Gyuris

Theor. Comput. Sci., 1997

Finite Schematizable Algebraic Logic.

Ildikó Sain, Viktor Gyuris

Log. J. IGPL, 1997

SMC: A Symmetry Based Model Checker for Verification of Liveness Properties.

A. Prasad Sistla, L. Miliades, Viktor Gyuris

Proceedings of the Computer Aided Verification, 9th International Conference, 1997