Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Viktor Gyuris" ( http://dblp.L3S.de/Authors/Viktor_Gyuris )

  Author page on DBLP  Author page in RDF  Community of Viktor Gyuris in ASPL-2

Publication years (Num. hits)
1995 (1) 1997 (4) 1999 (2) 2000 (1) 2010 (1)
Publication types (Num. hits)
article(7) inproceedings(2)
Venues (Conferences, Journals, ...)
CAV(2) Logic Journal of the IGPL(2) ACM Trans. Softw. Eng. Methodo...(1) Formal Asp. Comput.(1) Formal Methods in System Desig...(1) Operating Systems Review(1) Theor. Comput. Sci.(1)
Authors
Viktor Gyuris(9) A. Prasad Sistla(5) Bruno Zoppis(1) Craig Newell(1) E. Allen Emerson(1) Harvey Tuch(1) Ildikó Sain(1) Kenneth C. Barr(1) L. Miliades(1) Perry Hung(1) Prashanth P. Bungale(1) Stephen Deasy(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 7 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Kenneth 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? Search on Bibsonomy Operating Systems Review The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson SMC: a symmetry-based model checker for verification of safety and liveness properties. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF model checking, automata
1A. Prasad Sistla, Viktor Gyuris Parameterized Verification of Linear Networks using Automata as Invariants. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Safety, Invariants, Automata, Induction, Liveness, Linear networks
1Viktor Gyuris, A. Prasad Sistla On-the-Fly Model Checking Under Fairness that Exploits Symmetry. Search on Bibsonomy Formal Methods in System Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Viktor Gyuris A Short Proof of Representability of Fork Algebras. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ildikó Sain, Viktor Gyuris Finite Schematizable Algebraic Logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1A. Prasad Sistla, L. Miliades, Viktor Gyuris SMC: A Symmetry Based Model Checker for Verification of Liveness Properties. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Viktor Gyuris, A. Prasad Sistla On-the-Fly Model Checking Under Fairness That Exploits Symmetry. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Viktor Gyuris A Short Proof of Representability of Fork Algebras. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.