 | 2010 |
|---|
| 9 |       | 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?
Operating Systems Review 44(4): 124-135 (2010) |
| 2000 |
|---|
| 8 | | 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): 133-166 (2000) |
| 1999 |
|---|
| 7 | | A. Prasad Sistla,
Viktor Gyuris:
Parameterized Verification of Linear Networks using Automata as Invariants.
Formal Asp. Comput. 11(4): 402-425 (1999) |
| 6 | | Viktor Gyuris,
A. Prasad Sistla:
On-the-Fly Model Checking Under Fairness that Exploits Symmetry.
Formal Methods in System Design 15(3): 217-238 (1999) |
| 1997 |
|---|
| 5 | | Viktor Gyuris,
A. Prasad Sistla:
On-the-Fly Model Checking Under Fairness That Exploits Symmetry.
CAV 1997: 232-243 |
| 4 | | A. Prasad Sistla,
L. Miliades,
Viktor Gyuris:
SMC: A Symmetry Based Model Checker for Verification of Liveness Properties.
CAV 1997: 464-467 |
| 3 | | Ildikó Sain,
Viktor Gyuris:
Finite Schematizable Algebraic Logic.
Logic Journal of the IGPL 5(5): 699-751 (1997) |
| 2 | | Viktor Gyuris:
A Short Proof of Representability of Fork Algebras.
Theor. Comput. Sci. 188(1-2): 211-220 (1997) |
| 1995 |
|---|
| 1 | | Viktor Gyuris:
A Short Proof of Representability of Fork Algebras.
Logic Journal of the IGPL 3(5): 791-796 (1995) |
Data released under the ODC-BY 1.0 license — See also our legal information page