Follow
Christian Pardillo Laursen
Christian Pardillo Laursen
PhD Computer Science student, University of York
Verified email at york.ac.uk
Title
Cited by
Cited by
Year
ARCH-COMP22 category report: hybrid systems theorem proving
S Mitsch, B Zhan, H Sheng, A Bentkamp, X Jin, S Wang, S Foster, ...
ARCH22. EPiC Series in Computing 90, 185-203, 2022
62022
Certifying differential equation solutions from computer algebra systems in isabelle/hol
T Hickman, CP Laursen, S Foster
arXiv preprint arXiv:2102.02679, 2021
52021
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
JJH y Munive, S Foster, M Gleirscher, G Struth, CP Laursen, T Hickman
12024
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
JJ Huerta y Munive, S Foster, M Gleirscher, G Struth, C Pardillo Laursen, ...
Journal of Automated Reasoning 68 (4), 21, 2024
2024
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
SD Foster, M Gleirscher, G Struth, C Pardillo Laursen, T Hickman
Journal of Automated Reasoning, 2024
2024
Brownian Motion in Isabelle/HOL
CP Laursen, S Foster, M Post
arXiv preprint arXiv:2410.14718, 2024
2024
Brownian Motion in Isabelle/HOL
C Pardillo Laursen, S Foster, M Post
arXiv e-prints, arXiv: 2410.14718, 2024
2024
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
S Foster, M Gleirscher, G Struth, CP Laursen, T Hickman
arXiv preprint arXiv:2401.12061, 2024
2024
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
J Julián Huerta y Munive, S Foster, M Gleirscher, G Struth, ...
arXiv e-prints, arXiv: 2401.12061, 2024
2024
Integrating Theorem Proving with Computational Algebra Systems
CP Laursen
2020
The system can't perform the operation now. Try again later.
Articles 1–10