1. OAR@UM

Search


Current filters:



Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-4 of 4 (Search time: 0.02 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2008A practical approach to runtime verification of real-time properties for Java programsColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2008Dynamic event-based runtime monitoring of real-time and contextual propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2017Verifying data- and control-oriented properties combining static and runtime verification : theory and toolsAhrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2009Resource-bounded runtime verification of Java programs with real-time propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo

Discover