Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 15:04, 17 September 2019

Search the publication database

  . Return

Your search returned the following 20 documents:

  1. Andreas Podelski and Andrey Rybalchenko
    ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
    In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, Nice, France, 2007, 245-259

  2. Andrey Rybalchenko and Viorica Sofronie-Stokkermans
    Constraint Solving for Interpolation
    In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), Nice, France, 2007
  3. Dirk Beyer, Thomas Henzinger, Rupak Majumdar, and Andrey Rybalchenko
    Invariant Synthesis for Combined Theories
    In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, 2007, 378-394
  4. Dirk Beyer, Thomas Henzinger, Rupak Majumdar, and Andrey Rybalchenko
    Path Invariants
    In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, CA, USA, 2007, 300-309

  5. Andrey Rybalchenko
    Precise Thread-Modular Verification
    In: 14th International Static Analysis Symposium (SAS 2007), Kongens Lyngby, Denmark, 2007
  6. Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, and Moshe Vardi
    Proving that programs eventually do something good
    In: 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), Nice, France, 2007, 265-276
  7. Byron Cook, Andreas Podelski, and Andrey Rybalchenko
    Proving Thread Termination
    In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, CA, USA, 2007, 320-330

  8. Andreas Podelski and Andrey Rybalchenko
    Transition Predicate Abstraction and Fair Termination
    ACM Transactions on Programming Languages and Systems 29 (3): 30 p., 2007
  9. Roland Meyer, Johannes Faber, and Andrey Rybalchenko
    Model checking Duration Calculus: a practical approach
    In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, 2006, 332-346
  10. Byron Cook, Andreas Podelski, and Andrey Rybalchenko
    Termination Proofs for Systems Code
    In: PLDI 2006 : Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, 2006, 415-426
  11. Byron Cook, Andreas Podelski, and Andrey Rybalchenko
    Terminator: Beyond Safety
    In: Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, 2006, 415-418
  12. Ganesh Gopalakrishnan and John O'Leary(Ed.)
    Alexander Malkis, Andreas Podelski, and Andrey Rybalchenko
    Thread-Modular Verification and Cartesian Abstraction


  13. Alexander Malkis, Andreas Podelski, and Andrey Rybalchenko
    Thread-Modular Verification is Cartesian Abstract Interpretation
    In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, 2006, 183-197
  14. Byron Cook, Andreas Podelski, and Andrey Rybalchenko
    Abstraction-refinement for Termination
    In: Static analysis : 12th International Symposium, SAS 2005, London, UK, 2005, 87-101
  15. Andreas Podelski, Andrey Rybalchenko, and Byron Cook
    Counterexample-Guided Abstraction Refinement for Termination

  16. Amir Pnueli, Andreas Podelski, and Andrey Rybalchenko
    Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
    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
  17. Andreas Podelski and Andrey Rybalchenko
    Transition predicate abstraction and fair termination
    In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, CA, USA, 2005, 124-139
  18. Andrey Rybalchenko
    A Model Checker based on Abstraction Refinement
    Master's thesis, Universität des Saarlandes, 2002. Note: 1.0
    [PS: Download: DiplomRybalchenko.ps]
  19. Andreas Podelski and Andrey Rybalchenko
    A Complete Method for the Synthesis of Linear Ranking Functions
    In: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, 2004, 239-251
  20. Andreas Podelski and Andrey Rybalchenko
    Transition Invariants
    In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 2004, 32-41