Citations

This page lists publications citing JuliaReach, such as packages or papers from the JuliaReach ecosystem.

Conference Proceedings

Bogomolov, S., Frehse, G., Gurung, A., Li, D., Martius, G., & Ray, R. (2019). Falsification of hybrid systems using symbolic reachability and trajectory splicing. In Proceedings of HSCC'19: 22nd ACM International Conference on Hybrid Systems: Computation and Control (pp. 1-10). ACM.
Bak, Stanley, Hoang-Dung Tran, and Taylor T. Johnson. Numerical Verification of Affine Systems with up to a Billion Dimensions. arXiv preprint arXiv:1804.01583 (2018). Accepted in Proceedings of HSCC'19: 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC'19).
Schupp, Stefan, and Erika Ábrahám. Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. International Conference on Software Engineering and Formal Methods. Springer, Cham, 2018.
Schupp, Stefan, Justin Winkens, and Erika Ábrahám. Context-Dependent Reachability Analysis for Hybrid Systems. 2018 IEEE International Conference on Information Reuse and Integration (IRI). IEEE, 2018.

Althoff, M. (2019). Reachability analysis of large linear systems with uncertain inputs in the Krylov subspace. IEEE Transactions on Automatic Control.

Roehm, H., Oehlerking, J., Woehrle, M., & Althoff, M. (2019). Model Conformance for Cyber-Physical Systems: A Survey. ACM Transactions on Cyber-Physical Systems, 3(3), 30.
Minghui, S., Bakirtzis, G., Jafarzadeh, H., & Fleming, C. (2019). Correct-by-construction: a contract-based semi-automated requirement decomposition process. arXiv preprint arXiv:1909.02070.
Liu, C., Arnon, T., Lazarus, C., Barrett, C., & Kochenderfer, M. J. (2019). Algorithms for Verifying Deep Neural Networks. arXiv preprint arXiv:1903.06758.
Julian, K. D., & Kochenderfer, M. J. (2019). A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers. arXiv preprint arXiv:1903.00520.
Mitchell, Ian M., Jacob Budzis, and Andriy Bolyachevets. Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling. arXiv preprint arXiv:1901.01006 (2019).
Dang, T. (2019). Reachability Analysis and Hybrid Systems Biology - In Memoriam Oded Maler. In International Workshop on Hybrid Systems Biology (pp. 16-29). Springer, Cham.

Report on compositional verification and incremental verification in interaction with online controller adaptation. Maria Prandini - PoliMi, Olaf Stursberg, Zonglin Liu - UKS, Goran Frehse - UGA, Matthias Althoff - TUM, Alexander Rausch, Jens Oehlerking - Bosch. Unifying Control and Verification of Cyber-Physical Systems (UnCoVerCPS)

Gupta, A. (2019). Safety verification of model based reinforcement learning controllers using reachability analysis. (Doctoral dissertation, Purdue University Graduate School).
Rocca, A. (2018). Formal methods for modelling and validation of biological models (Doctoral dissertation, Grenoble Alpes).
Schilling, C. (2018). Fundamental techniques for the scalable analysis of systems.
Kekatos, N. (2018). Formal Verification of Cyber-Physical Systems in the Industrial Model-Based Design Process (Doctoral dissertation, Université Grenoble Alpes).