Supplement Material for the STTT 2018 paper on RV Competition
The manuscript entitled First International Competition on Runtime Verification – Rules, Benchmarks, Tools, and Final Results of CRV 2014 has been accepted for publication in Software Tools for Technology Transfer, a Springer journal.
Below is an abstract of the paper
The First International Competition on Runtime Verification (CRV) was held in September 2014, in Toronto, Canada, as a satellite event of the 14th international conference on Runtime Verification (RV’14). The event was organized in three tracks: (1) offline monitoring, (2) online monitoring of C programs, and (3) online monitoring of Java programs. In this paper we report on the phases and rules, a description of the participating teams and their submitted benchmark, the (full) results, as well as the lessons learned from the competition.
Supplementary material, that is the benchmarks and participant’s evaluation scripts on the Inria GitLab repositories available at:
- https://gitlab.inria.fr/crv14/benchmarks for benchmarks.
- https://gitlab.inria.fr/crv14/evaluation for evaluation scripts.
Supplement Material for the TACAS 2011 paper
- E. Bartocci, R. Grosu, P. Katsaros, C.R. Ramakrishnan, S. A. Smolka Model Repair for Probabilistic Systems. In Proc. of TACAS'11, the 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, Saarbrücken, Germany, March 26–April 3, 2011, pages 326-340, Springer, LNCS, 6605
Supplement Material for the CAV 2011 paper
- R. Grosu, G. Batt, F. Fenton, J. Glimm, C. Le Guernic, S.A. Smolka and E. Bartocci. From Cardiac Cells to Genetic Regulatory Networks. In Proc. of CAV'11, the 23rd International Conference on Computer Aided Verification, Cliff Lodge, Snowbird, Utah, USA, July, 2011, pages 396-411, Springer, LNCS, 6806
| Flavio's Fenton Minimal Conductance Model written in matlab (Single Cell): | Minimal Resistor Model written in matlab (Single Cell): single_cell_mrm4V.m (E. Bartocci) |
 |
 |
| Global Optimal Linear Approximation Algorithm: optimalLinearApproximation.m segmentErr.m (R. Grosu, E. Bartocci) | |
| Segmentation of Mode 1: mode1segmentation.m | Segmentation of Mode 2: mode2segmentation.m |
 |
 |
| Segmentation of Mode 3: mode3segmentation.m | Segmentation of Mode 4: mode4segmentation.m |
 |
 |
| 1D Cable Comparison among the Minimal Resistor Model and the Piecewise MultiAffine Model: | |
| Comparison with a Stimulus every 100 ms | Comparison with a Stimulus every 160 ms: |
 |
 |
| Comparison with a Stimulus every 200 ms | Comparison with a Stimulus every 310 ms: |
 |
 |
| Restitution: | |
 |
|
| Rovergene for Mac (64 bit for Matlab2009R updated) (Author G. Batt): RoVerGeNeMac64BitMatLab2009R.zip | |
| Model File for Rovergene: (Authors: E. Bartocci, G. Batt, Colas Le Guernic, R. Grosu): cell_model.txt | |
| Simulator of Rovergene Cell Model: (Author: E. Bartocci): sim_cell_model.m | |
| Analysis Results: analysis_result.txt, KS_existsP.smv, KS_forallP.smv | |
This site is powered by:
