Christian Pardillo Laursen

According to our database, Christian Pardillo Laursen authored at least 6 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

The Kolmogorov-Chentsov theorem.

Christian Pardillo Laursen, Simon Foster

Arch. Formal Proofs, 2025

2024

IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale.

Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman

J. Autom. Reason., December, 2024

Brownian Motion in Isabelle/HOL.

Christian Pardillo Laursen, Simon Foster, Mark Post

CoRR, 2024

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL.

Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman

CoRR, 2024

2022

ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL.

Thomas Hickman, Christian Pardillo Laursen, Simon Foster

CoRR, 2021