Jess Mauricio Chimento
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2015–2018
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ICSE | Testing meets static and runtime verification. | Jess Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider |
| 2015 | FM | A Specification Language for Static and Runtime Verification of Data and Control Properties. | Wolfgang Ahrendt, Jess Mauricio Chimento, Gordon J. Pace, Gerardo Schneider |
| 2015 | RV | StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. | Jess Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider |