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

shimomura Jhala [7 articles]

最近 shimomura さんのライブラリに追加された論文の中から 著者が Jhala. であるものをリストアップしています. You can also see everyone's Jhala.
  • Thread-Modular Abstraction Refinement
    Computer Aided Verification (2003), pp. 262-274.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer
    posted to verification concurrent 2003 by shimomura on 2008-09-23 14:29:11 as **
  • Race checking by context inference
    Vol. 39, No. 6. (May 2004), pp. 1-13.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to 2004 concurrent modelchecking verification by shimomura on 2008-07-14 11:05:12 as ***** along with 1 person bec
  • notes The software model checker Blast
    International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (6 October 2007), pp. 505-525.
    by Dirk Beyer, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to verification read modelchecking blast 2007 by shimomura on 2008-05-28 03:29:09 as read along with 2 people msakai zuleger
  • The Blast Query Language for Software Verification
    Static Analysis (2004), pp. 2-18.
    by Dirk Beyer, Adam J Chlipala, Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to 2004 blast modelchecking slam verification by shimomura on 2008-05-28 03:16:54 as **
  • Lazy abstraction
    Vol. 37, No. 1. (January 2002), pp. 58-70.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar, Gr&\#233;goire Sutre
    posted to 2002 blast modelchecking slam verification by shimomura on 2008-05-28 03:15:05 as *** along with 4 people and 1 group bec pganty msakai zuleger groupverif
  • Checking Memory Safety with Blast
    Fundamental Approaches to Software Engineering (2005), pp. 2-18.
    by Dirk Beyer, Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to 2005 blast modelchecking by shimomura on 2008-05-14 06:47:42 as ** along with 2 people yoriyuki msakai
  • Software Verification with BLAST
    Model Checking Software (2003), pp. 624-624.
    by Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    posted to 2003 blast modelchecking slam by shimomura on 2008-05-14 06:37:15 as ** along with 1 person msakai
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/shimomura/author/Jhala

    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.