Items where Author is "Havelund, Klaus"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Article
Number of items: 3.
Article
Barringer, Howard and Rydeheard, David and Havelund, Klaus (2010) Rule Systems for Run-time Monitoring: from EAGLE to RULER. Journal of Logic and Computation, 20 (3). pp. 675-706. ISSN 0955-792X
Barringer, Howard and Rydeheard, David and Havelund, Klaus (2010) Rule Systems for Run-time Monitoring: from EAGLE to RULER. Journal of Logic and Computation, 20 (3). pp. 675-706. ISSN 0955-792X
Barringer, Howard and Havelund, Klaus and Rydeheard, David and Groce, Alex (2009) Rule Systems for Runtime Verification: A Short Tutorial. Lecture Notes in Computer Science, 5779. pp. 1-24. ISSN 978-3-642-04693-3