1. OAR@UM

Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-7 of 7 (Search time: 0.006 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2015StaRVOOrS : a tool for combined static and runtime verification of JavaChimento, Jesus Mauricio; Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2012A unified approach for static and runtime verification : framework and applicationsAhrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2015StaRVOOrS : unifying static and runtime verification of JavaAhrendt, Wolfgang; Chimento, Jesus Mauricio; Pace, Gordon J.; Schneider, Gerardo
2015KeY + LARVA = STARVOORSAhrendt, Wolfgang; Pace, Gordon J.
2016StaRVOOrS - episode II : strengthen and distribute the forceAhrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2015A specification language for static and runtime verification of data and control propertiesAhrendt, Wolfgang; Chimento, Jesus Mauricio; 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

Discover