Ecole Polytechnique Fédérale de Lausanne
WING 2009
english only
ETAPS 2009
Home Committee Submission Registration Accepted Papers Program

Accepted Papers

  • Gudmund Grov and Andrew Ireland.
    Towards Automated Property Discovery within Hume

  • Asma Louhichi, Olfa Mraihi, Lamia Labed and Ali Mili.
    Invariant Assertions, Invariant Relations, and Invariant Functions

  • Ewen Maclean, Andrew Ireland, Lucas Dixon and Robert Atkey.
    Refinement and Term Synthesis in Loop Invariant Generation

  • Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin and Wei-Ngan Chin.
    Discovering Specifications for Unknown Procedures - Work in Progress

  • Jan Olaf Blech, Thanh-Hung Nguyen and Michael Perin.
    Invariants and Robustness of BIP Models

  • Bahareh Badban, Stefan Leue and Jan-Georg Smaus.
    Automated Invariant Generation for the Verification of Real-Time Systems

  • Angela Wallenburg.
    Generalisation of Induction Formulae based on Proving by Symbolic Execution

Page maintained by Laura Kovács.