Browsing by Author Chimento, Jesús Mauricio
Showing results 1 to 4 of 4
Issue Date | Title | Author(s) |
2015 | A specification language for static and runtime verification of data and control properties | Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo |
2015 | StaRVOOrS : a tool for combined static and runtime verification of Java | Chimento, Jesús Mauricio; Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo |
2015 | StaRVOOrS : unifying static and runtime verification of Java | Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo |
2017 | Verifying data- and control-oriented properties combining static and runtime verification : theory and tools | Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo |