Your search returned the following 20 documents:

20. ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
    Andreas Podelski and Andrey Rybalchenko
    In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, Nice, France, 2007, 245-259
    
    
19. Constraint Solving for Interpolation
    Andrey Rybalchenko and Viorica Sofronie-Stokkermans
    In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), Nice, France, 2007
    
18. Invariant Synthesis for Combined Theories
    Dirk Beyer, Thomas Henzinger, Rupak Majumdar, and Andrey Rybalchenko
    In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, 2007, 378-394
    
17. Path Invariants
    Dirk Beyer, Thomas Henzinger, Rupak Majumdar, and Andrey Rybalchenko
    In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, CA, USA, 2007, 300-309
    
    
16. Precise Thread-Modular Verification
    Andrey Rybalchenko
    In: 14th International Static Analysis Symposium (SAS 2007), Kongens Lyngby, Denmark, 2007
    
15. Proving that programs eventually do something good
    Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, and Moshe Vardi
    In: 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), Nice, France, 2007, 265-276
    
14. Proving Thread Termination
    Byron Cook, Andreas Podelski, and Andrey Rybalchenko
    In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, CA, USA, 2007, 320-330
    
    
13. Transition Predicate Abstraction and Fair Termination
    Andreas Podelski and Andrey Rybalchenko
    ACM Transactions on Programming Languages and Systems 29 (3): 30 p., 2007
    
12. Model checking Duration Calculus: a practical approach
    Roland Meyer, Johannes Faber, and Andrey Rybalchenko
    In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, 2006, 332-346
    
11. Termination Proofs for Systems Code
    Byron Cook, Andreas Podelski, and Andrey Rybalchenko
    In: PLDI 2006 : Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, 2006, 415-426
    
10. Terminator: Beyond Safety
    Byron Cook, Andreas Podelski, and Andrey Rybalchenko
    In: Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, 2006, 415-418
    
9. Thread-Modular Verification and Cartesian Abstraction
   Ganesh Gopalakrishnan and John O'Leary(Ed.)
   Alexander Malkis, Andreas Podelski, and Andrey Rybalchenko
   
   
   
8. Thread-Modular Verification is Cartesian Abstract Interpretation
   Alexander Malkis, Andreas Podelski, and Andrey Rybalchenko
   In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, 2006, 183-197
   
7. Abstraction-refinement for Termination
   Byron Cook, Andreas Podelski, and Andrey Rybalchenko
   In: Static analysis : 12th International Symposium, SAS 2005, London, UK, 2005, 87-101
   
6. Counterexample-Guided Abstraction Refinement for Termination
   Andreas Podelski, Andrey Rybalchenko, and Byron Cook
   
   
5. Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
   Amir Pnueli, Andreas Podelski, and Andrey Rybalchenko
   In: Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, 2005, 124-139
   
4. Transition predicate abstraction and fair termination
   Andreas Podelski and Andrey Rybalchenko
   In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, CA, USA, 2005, 124-139
   
3. A Model Checker based on Abstraction Refinement
   Andrey Rybalchenko
   Master's thesis, Universität des Saarlandes, 2002. Note: 1.0
   [PS: Download: DiplomRybalchenko.ps]
   
2. A Complete Method for the Synthesis of Linear Ranking Functions
   Andreas Podelski and Andrey Rybalchenko
   In: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, 2004, 239-251
   
1. Transition Invariants
   Andreas Podelski and Andrey Rybalchenko
   In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 2004, 32-41