Jean-Baptiste Jeannin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
19
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | A General Framework for Robust Quantitative Semantics of Signal Temporal Logic. | Jiawei Chen, Jos Luiz Vargas de Mendona, Konstantinos Mamouras, Jean-Baptiste Jeannin |
| 2024 | TACAS | Formally verified asymptotic consensus in robust networks. | Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou |
| 2023 | CCS | Security Verification of Low-Trust Architectures. | Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin |
| 2023 | ICSE | How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms. | Hammad Ahmad, Zachary Karas, Kimberly Diaz, Amir Kamil, Jean-Baptiste Jeannin, Westley Weimer |
| 2022 | DATE | Twine: A Chisel Extension for Component-Level Heterogeneous Design. | Shibo Chen, Yonathan Fisseha, Jean-Baptiste Jeannin, Todd M. Austin |
| 2022 | EMSOFT | Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic. | Jean-Baptiste Jeannin, Jiawei Chen, Jos Luiz Vargas de Mendona, Konstantinos Mamouras |
| 2022 | FMCAD | Automating Geometric Proofs of Collision Avoidance with Active Corners. | Nishant Kheterpal, Elanor Tang, Jean-Baptiste Jeannin |
| 2022 | ITP | Dandelion: Certified Approximations of Elementary Functions. | Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin |
| 2022 | USENIX | Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. | Haojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci |
| 2020 | ASPLOS | Accelerating Legacy String Kernels via Bounded Automata Learning. | Kevin Angstadt, Jean-Baptiste Jeannin, Westley Weimer |
| 2019 | HotOS | Towards Automatic Inference of Inductive Invariants. | Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah |
| 2019 | SOSP | I4: incremental inference of inductive invariants for verification of distributed protocols. | Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah |
| 2017 | CAV | Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts. | Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin T. Vechev |
| 2017 | ITP | Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics. | Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt, Jean-Baptiste Jeannin |
| 2017 | NSDI | Correct by Construction Networks Using Stepwise Refinement. | Leonid Ryzhyk, Nikolaj S. Bjrner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese |
| 2017 | OOPSLA | I¿¿¿: a calculus for internet of things automation. | Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan |
| 2016 | OOPSLA | Type inference for static compilation of JavaScript. | Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi |
| 2015 | EMSOFT | Formal verification of ACAS X, an industrial airborne collision avoidance system. | Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, Andr Platzer |
| 2015 | TACAS | A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. | Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, Andr Platzer |
| 2014 | CADE | dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems. | Jean-Baptiste Jeannin, Andr Platzer |
| 2014 | POPL | NetkAT: semantic foundations for networks. | Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker |
| 2013 | ESOP | Language Constructs for Non-Well-Founded Computation. | Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva |
| 2012 | LICS | Capsules and Separation. | Jean-Baptiste Jeannin, Dexter Kozen |