新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

zuleger Rybalchenko [5 articles]

最近 zuleger さんのライブラリに追加された論文の中から 著者が Rybalchenko. であるものをリストアップしています. You can also see everyone's Rybalchenko.
  • ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
    Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Vol. 4354 (2007), pp. 245-259.
    by Andreas Podelski, Andrey Rybalchenko
    posted to counterexamples model_checking program_verification by zuleger on 2008-08-28 12:08:06 as read along with 1 person pganty
  • Proving non-termination
    (2008), pp. 147-158.
    by Ashutosh Gupta, Thomas A Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu
    posted to model_checking non-termination program_verification by zuleger on 2008-08-28 12:05:07 as read
  • Proving Conditional Termination
    Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, Vol. 5123 (2008), pp. 328-340.
    by Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv
    posted to quantifier_elimination termination by zuleger on 2008-08-28 12:01:39 as read
  • Termination proofs for systems code
    (2006), pp. 415-426.
    by Byron Cook, Andreas Podelski, Andrey Rybalchenko
    posted to model_checking by zuleger on 2008-07-25 13:35:03 as read
  • A Complete Method for the Synthesis of Linear Ranking Functions
    Verification, Model Checking, and Abstract Interpretation (2004), pp. 465-486.
    by Andreas Podelski, Andrey Rybalchenko
    posted to model_checking by zuleger on 2008-07-25 13:29:38 as read
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/zuleger/author/Rybalchenko

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.