WING 2010: Author IndexAuthor | Papers |
---|
A | Atkey, Robert | Refinement and Term Synthesis in Loop Invariant Generation | B | Badban, Bahareh | Automated Invariant Generation for the Verification of Real-Time Systems | Bjorner, Nikolaj | Applications and Challenges in Satisfiability Modulo Theories | Blech, Jan Olaf | Invariants and Robustness of BIP Models | Bozga, Marius | Tool Demonstration of the FLATA Counter Automata Toolset | C | Chin, Wei-Ngan | Discovering Specifications for Unknown Procedures - Work in Progress | Craciun, Florin | Discovering Specifications for Unknown Procedures - Work in Progress | D | Dixon, Lucas | Refinement and Term Synthesis in Loop Invariant Generation | F | Franssen, Michael | Cocktail II | G | Gaubert, Stéphane | Tropical linear programming and parametric mean payoff games | Gawlitza, Thomas Martin | Abstract Interpretation over Zones without Widening | Grov, Gudmund | Towards Automated Property Discovery within Hume Synthesising Functional Invariants in Separation Logic | H | He, Guanhua | Discovering Specifications for Unknown Procedures - Work in Progress | I | Iosif, Radu | Tool Demonstration of the FLATA Counter Automata Toolset | Ireland, Andrew | Towards Automated Property Discovery within Hume Refinement and Term Synthesis in Loop Invariant Generation Synthesising Functional Invariants in Separation Logic | K | Katz, Ricardo D. | Tropical linear programming and parametric mean payoff games | Kolchin, Alexander | Formal Requirements Capturing using VRS system | Konecny, Filip | Tool Demonstration of the FLATA Counter Automata Toolset | Konnov, Igor | CheAPS: a Checker of Asynchronous Parameterized Systems | Kroening, Daniel | Loopfrog — loop summarization for static analysis | Kuntz, Matthias | Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs | L | Labed Jilani, Lamia | A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions | Letichevsky, Alexander | Formal Requirements Capturing using VRS system | Letychevskyi, Oleksandr | Formal Requirements Capturing using VRS system | Leue, Stefan | Automated Invariant Generation for the Verification of Real-Time Systems Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs | Lisitsa, Alexei | Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol | Louhichi, Asma | A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions | Luo, Chenguang | Discovering Specifications for Unknown Procedures - Work in Progress | M | Maclean, Ewen | Refinement and Term Synthesis in Loop Invariant Generation Synthesising Functional Invariants in Separation Logic | Mili, Ali | A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions | Mraihi, Olfa | A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions | N | Nguyen, Thanh-Hung | Invariants and Robustness of BIP Models | P | Perin, Michael | Invariants and Robustness of BIP Models | Potiyenko, Stepan | Formal Requirements Capturing using VRS system | Q | Qin, Shengchao | Discovering Specifications for Unknown Procedures - Work in Progress | S | Scheben, Christoph | Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs | Seidl, Helmut | Abstract Interpretation over Zones without Widening | Sergeev, Sergei | Tropical linear programming and parametric mean payoff games | Sharygina, Natasha | Loopfrog — loop summarization for static analysis | Sinn, Moritz | LOOPUS - A Tool for Computing Loop Bounds for C Programs | Smaus, Jan-Georg | Automated Invariant Generation for the Verification of Real-Time Systems | T | Tonetta, Stefano | Loopfrog — loop summarization for static analysis | Tsitovich, Aliaksei | Loopfrog — loop summarization for static analysis | V | Vojnar, Tomas | Tool Demonstration of the FLATA Counter Automata Toolset | Volkov, Vlad | Formal Requirements Capturing using VRS system | W | Wallenburg, Angela | Generalisation of Induction Formulae based on Proving by Symbolic Execution | Weigert, Thomas | Formal Requirements Capturing using VRS system | Wintersteiger, Christoph M. | Loopfrog — loop summarization for static analysis | Z | Zuleger, Florian | LOOPUS - A Tool for Computing Loop Bounds for C Programs | d | de Moura, Leonardo | Applications and Challenges in Satisfiability Modulo Theories |
|
|