MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Runtime Verification" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 258 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Runtime Verification Revisited  
  • by Alle Rechte Vorbehalten, Technischen Universität München, Oliver Arafat, Oliver Arafat, Andreas Bauer, Andreas Bauer, Martin Leucker, Martin Leucker, Christian Schallhart — 2005
  • …T U M I N S T I T U T F Ü R I N F O R M A T I K Runtime verification revisited Oliver Arafat…
  • Cited by 3 (3 self) – Add To MetaCart
  • Automated runtime verification with Eagle  
  • by Allen Goldberg, Klaus Havelund — 2005 — Workshop on Verification and Validation of Enterprise Information Systems (VVEIS). INSTICC
  • …Automated Runtime Verification with Eagle Allen Goldberg and Klaus Havelund Kestrel Technology…
  • Cited by 4 (0 self) – Add To MetaCart
  • Runtime Verification of Concurrent Haskell  
  • by Volker Stolz, Frank Huch — 2003 — Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP’03), Technical Report DSIC-II/13/03, Universidad Politécnica de
  • …Runtime Verification of Concurrent Haskell (work in progress) Volker Stolz 1 and Frank Huch 2 1…
  • Add To MetaCart
  • Rule-Based Runtime Verification  
  • by Howard Barringer, Howard Barringer, Allen Goldberg, Allen Goldberg, Klaus Havelund, Klaus Havelund, Koushik Sen, Koushik Sen — 2003
  • …August 2003 Computer Science University of Manchester Rule-Based Runtime Verification Howard…
  • Cited by 59 (21 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB