Jean-Baptiste Jeannin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Lecture Notes in Computer Science	2024-02-28	Paper
A program logic to verify signal temporal logic specifications of hybrid systems Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control	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 Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control	2021-01-25	Paper
CoCaml: functional programming with regular coinductive types Fundamenta Informaticae	2017-11-10	Paper
Well-founded coalgebras, revisited Mathematical Structures in Computer Science	2017-09-27	Paper
Capsules and separation 2012 27th Annual IEEE Symposium on Logic in Computer Science	2017-05-16	Paper
Capsules and closures Electronic Notes in Theoretical Computer Science	2016-07-15	Paper
Computing with capsules	2015-03-16	Paper
dTL\(^{2}\): differential temporal dynamic logic with nested temporalities for hybrid systems Automated Reasoning	2014-09-26	Paper
Language constructs for non-well-founded computation Programming Languages and Systems	2013-08-05	Paper
Computing with capsules Descriptional Complexity of Formal Systems	2012-11-02	Paper
Capsules and closures: a small-step approach Logic and Program Semantics	2012-07-16	Paper
Formalization of Asymptotic Convergence for Stationary Iterative Methods (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Jean-Baptiste Jeannin