Jean-Baptiste Jeannin

Identifiers

No identifiers captured yet.

Papers (4)

1. Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types cs.PL · 2026 · author #4
2. Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities cs.LO · 2026 · author #4
3. Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions cs.SY · 2019 · author #3
4. Type Inference for Static Compilation of JavaScript (Extended Version) cs.PL · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Jiawei Chen 2 shared papers
• Cole Schlesinger 1 shared papers
• Colin S. Gordon 1 shared papers
• Frank Tip 1 shared papers
• Hongfei Fu 1 shared papers
• Kyle D. Julian 1 shared papers
• Manu Sridharan 1 shared papers
• Marc Pouzet 1 shared papers
• Mykel J. Kochenderfer 1 shared papers
• Satish Chandra 1 shared papers
• Serra Z. Dane 1 shared papers
• Shivam Sharma 1 shared papers
• Yichen Tao 1 shared papers
• Youngil Choi 1 shared papers