Jean-Baptiste Jeannin

Available identifiers

Publication	Date of Publication	Type
Dandelion: certified approximations of elementary functions	2024-07-15	Paper
Verified correctness, accuracy, and convergence of a stationary iterative linear solver: Jacobi method	2024-02-28	Paper
A program logic to verify signal temporal logic specifications of hybrid systems	2024-02-21	Paper
Finding fix locations for CFL-reachability analyses via minimum cuts	2022-08-12	Paper
A formal proof of the Lax equivalence theorem for finite difference schemes	2021-03-24	Paper
Formal verification of braking while swerving in automobiles	2021-01-25	Paper
CoCaml: Functional Programming with Regular Coinductive Types	2017-11-10	Paper
Well-founded coalgebras, revisited	2017-09-27	Paper
Capsules and Separation	2017-05-16	Paper
Capsules and Closures	2016-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q5178454	2015-03-16	Paper
dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems	2014-09-26	Paper
Language Constructs for Non-Well-Founded Computation	2013-08-05	Paper
Computing with Capsules	2012-11-02	Paper
Capsules and Closures: A Small-Step Approach	2012-07-16	Paper
Formalization of Asymptotic Convergence for Stationary Iterative Methods	N/A	Paper

This page was built for person: Jean-Baptiste Jeannin