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

shimomura 2002 [13 articles]

最近 shimomura さんのライブラリに追加された論文の中から タグ 2002. You can also see everyone's 2002.
  • Generating Abstract Explanations of Spurious Counterexamples in C Programs
    (2002)
    by Thomas Ball, Sriram K Rajamani
    posted to slam booleanprogram abstraction 2002 by shimomura on 2008-06-15 07:43:56 as **
  • Setuid demystified
    (2002)
    by H Chen, D Wagner, D Dean
    posted to modelchecking 2002 by shimomura on 2008-06-11 09:20:38 as ** along with 2 people heiko_reese msakai
  • MOPS: an Infrastructure for Examining Security Properties of Software
    (2002)
    by Hao Chen, David A Wagner
    posted to technicalreport modelchecking 2002 by shimomura on 2008-06-11 09:20:08 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 verification slam modelchecking blast 2002 by shimomura on 2008-05-28 03:15:05 as ** along with 3 people and 1 group msakai bec pganty groupverif
  • The S<scp>LAM</scp> project: debugging system software via static analysis
    (2002), pp. 1-3.
    by Thomas Ball, Sriram K Rajamani
    posted to verification slam modelchecking blast 2002 by shimomura on 2008-05-28 03:12:54 as ** along with 1 person msakai
  • Generalizing Hindley-Milner type inference algorithms
    (2002)
    by B Heeren, J Hage, D Swierstra
    posted to type 2002 by shimomura on 2008-05-19 09:47:37 as **
  • MOPS: an infrastructure for examining security properties of software
    (2002), pp. 235-244.
    by Hao Chen, David Wagner
    posted to read modelchecking 2002 by shimomura on 2008-05-16 04:51:17 as read along with 2 people and 1 group srccheck rdyer Laboratory for Software Design
  • Bounded model checking for the universal fragment of CTL
    (2002)
    by W Penczek, B Wo'zna, A Zbrzezny
    posted to modelchecking bounded 2002 by shimomura on 2008-05-12 09:52:14 as **
  • Bounded Model Checking for Timed Systems
    Formal Techniques for Networked and Distributed Sytems — FORTE 2002 (2002), pp. 243-259.
    by G Audemard, A Cimatti, A Kornilowicz, R Sebastiani
    posted to timed modelchecking bounded 2002 by shimomura on 2008-05-12 09:46:18 as ***
  • Final Shift for Call/cc: Direct Implementation of Shift and Reset
    (2002)
    by Martin Gasbichler, Michael Sperber
    posted to continuation 2002 by shimomura on 2008-05-05 16:23:23 as ** along with 2 people harshrc cdiggins
  • Formal Modelling of Java GUI Event Handling
    (2002), pp. 359-370.
    by Jessica Chen
    posted to modelchecking gui 2002 by shimomura on 2008-04-07 22:36:33 as ** along with 1 person keigoi
  • Formal Modelling of Java GUI Event Handling
    Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002. Proceedings (2002), pp. 359-370.
    by Jessica Chen
    posted to modelchecking gui 2002 by shimomura on 2008-04-07 22:36:11 as ** along with 1 person keigoi
  • Specification-based Testing for Gui-based Applications
    Software Quality Journal, Vol. 10, No. 3. (1 November 2002), pp. 205-224.
    by Jessica Chen, Suganthan Subramaniam
    posted to testing read java gui 2002 by shimomura on 2008-02-16 13:21:32 as read along with 1 person keigoi
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/shimomura/tag/2002

    RIS BibTeX RSS
    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.