MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Eric Bodden" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 10 documents found, showing 1 through 10.
ATOM RSS
  • The abc Group  
  • by Eric Bodden, Laurie Hendren — 2006
  • … abc Technical Report No. abc-2006-4 Eric Bodden 1 , Laurie Hendren 1 , Ondˇrej Lhoták 2 1 Mc…
  • Add To MetaCart
  • Collaborative runtime verification with  
  • by Eric Bodden, Laurie Hendren, Patrick Lam, Ondřej Lhoták, Nomair A. Naeem
  • …Collaborative runtime verification with tracematches Eric Bodden 1 , Laurie Hendren 1 , Patrick…
  • Add To MetaCart
  • Programming Languages Group  
  • by Pavel Avgustinov, Julian Tibble, Eric Bodden, Laurie Hendren, Oege De Moor, Neil Ongkingco, Ganesh Sittampalam
  • …Efficient Trace Monitoring Pavel Avgustinov1 , Julian Tibble1 , Eric Bodden2 , Laurie Hendren2…
  • Add To MetaCart
  • angefertigt am  
  • by Eric Bodden, In Informatik, Rheinisch-westfälischen Technischen, Hochschule Aachen, Lehrstuhl Informatik Für, Programmiersprachen Und Programmanalyse — 2005
  • … Eigenschaften zur Laufzeit von Eric Bodden Diplomarbeit in Informatik vorgelegt der Fakultät für Mathematik…
  • Add To MetaCart
  • Efficient trace monitoring  
  • by Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie Hendren, Oege De Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere — 2006 — Formal Approaches to Testing Systems and Runtime Verification (FATES/RV), Lecture Notes in Computer Science
  • …Aspects for Trace Monitoring Pavel Avgustinov 1 , Eric Bodden 2 , Elnar Hajiyev 1 , Laurie Hendren…
  • Cited by 5 (1 self) – Add To MetaCart
Help! Showing 1 through 10.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB