This pages gives a brief overview of the publications of CORA. We first state the core publications of CORA and afterwards some publications using CORA.
To cite CORA, please use the following reference:
@inproceedings{Althoff2015ARCH,
author = {Matthias Althoff},
title = {An Introduction to CORA 2015},
year = {2015},
month = {December},
booktitle = {Proc. of the 1st and 2nd Workshop on Applied Verification for Continuous and Hybrid Systems},
doi = {10.29007/zbkv},
url = {https://easychair.org/publications/paper/xMm}
publisher = {EasyChair},
pages = {120-151}
}The list below is composed of papers published at the ARCH workshop that explain how a certain functionality is implemented in CORA.
The novelties in the papers below are implemented in CORA.
The publications below integrate CORA functionality in the implementation of their contributions.
Let us know if any of your publications is missing!