Guy Avni
 

Family


I am a PHD student under the supervision of Prof. Orna Kupferman


Academic interests: Formal verification, Automata theory, Weighted automata, Game theory.


Contact:

Email: guy.avni@mail.huji.ac.il

Office: 0733886950

 
  1. Congestion Games with Multisets of Resources and Application in Synthesis
    FSTTCS 15 paper with Orna Kupferman and Tami Tamir
    pdf

  2. Cost-Sharing Scheduling Games on Restricted Unrelated Machines
    SAGT 15 paper with Tami Tamir
    pdf

  3. Repairing Multi-Player Games
    CONCUR 15 paper with Shaull Almagor and Orna Kupferman
    pdf

  4. Stochastization of Weighted Automata
    MFCS 15 paper with Orna Kupferman
    short long

  5. Synthesis from Component Libraries with Costs
    CONCUR 14 paper with Orna Kupferman
    short long

  6. Network-Formation Games with Regular Objectives
    FoSSaCS 14 paper with Orna Kupferman and Tami Tamir
    pdf

  7. When Does Abstraction Help?
    IPL 13 article with Orna Kupferman
    pdf

  8. Automatic Generation of Quality Specification
    CAV 13 paper with Shaull Almagor and Orna Kupferman
    pdf implementation

  9. Parametric Weighted Containment
    FoSSaCS 13 paper with Orna Kupferman
    short long

  10. Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction
    CONCUR 12 paper with Orna Kupferman
    short long

  11. An Abstraction-Refinement Framework For Trigger-Querying
    SAS 11 paper with Orna Kupferman
    pdf
    FMSD 14
    full version

  12. Msc Thesis
    (extended version of the SAS 11 paper)
    pdf

 

Publications