Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

zuleger's Henzinger [5 articles]

Recent papers posted to zuleger's library by the author Henzinger. You can also see everyone's Henzinger.
  • Cadence Berkeley Labs.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L Mcmillan
    posted to model_checking abstraction by zuleger on 2008-08-06 13:01:58 as ****
  • Lazy shape analysis
    Vol. 4144 (2006), pp. 532-546.
    by Dirk Beyer, Thomas A Henzinger, Grégory Théoduloz
    posted to shape_analysis model_checking by zuleger on 2008-08-05 11:03:46 as ***
  • Program Analysis with Dynamic Precision Adjustment
    (2008, accepted)
    by Dirk Beyer, Thomas A Henzinger, Grégory Théoduloz
    posted to model_checking by zuleger on 2008-08-05 11:00:32 as ****
  • Configurable software verification: Concretizing the convergence of model checking and program analysis
    Vol. 4590 (2007), pp. 504-518.
    by Dirk Beyer, Thomas A Henzinger, Grégory Théoduloz
    posted to model_checking abstract_interpretation by zuleger on 2008-08-05 10:57:17 as read
  • 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 model_checking by zuleger on 2008-07-28 11:03:51 as ** along with 4 people and 1 group msakai shimomura bec pganty groupverif
    • Note: You may cite this page as: http://www.citeulike.org/user/zuleger/author/Henzinger

    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.