Jean-Baptiste Jeannin

According to our database, Jean-Baptiste Jeannin authored at least 52 papers between 2011 and 2024.

Collaborative distances:

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

2024

Synchronous Programming with Refinement Types.

Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, Jean-Baptiste Jeannin

Proc. ACM Program. Lang., 2024

Formally verified asymptotic consensus in robust networks.

Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Formalization of Asymptotic Convergence for Stationary Iterative Methods.

Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023

Falsification of a Vision-based Automatic Landing System.

Sara Shoouri, Shayan Jalili, Jiahong Xu, Isabelle Gallagher, Yuhao Zhang, Joshua Wilhelm, Necmiye Ozay, Jean-Baptiste Jeannin

CoRR, 2023

Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method.

Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

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

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Security Verification of Low-Trust Architectures.

Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes.

Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning.

Kevin Angstadt, Tommy Tracy II, Kevin Skadron, Jean-Baptiste Jeannin, Westley Weimer

IEEE Micro, 2022

A Concurrent Switching Model for Traffic Congestion Control.

Hossein Rastgoftar, Xun Liu, Jean-Baptiste Jeannin

CoRR, 2022

Formal verification of iterative convergence of numerical algorithms.

Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin

CoRR, 2022

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

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

Dandelion: Certified Approximations of Elementary Functions.

Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation.

Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, Jean-Baptiste Jeannin

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

Automating Geometric Proofs of Collision Avoidance with Active Corners.

Nishant Kheterpal, Elanor Tang, Jean-Baptiste Jeannin

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic.

Jean-Baptiste Jeannin, Jiawei Chen, José Luiz Vargas de Mendonça, Konstantinos Mamouras

Proceedings of the International Conference on Embedded Software, 2022

Twine: A Chisel Extension for Component-Level Heterogeneous Design.

Shibo Chen, Yonathan Fisseha, Jean-Baptiste Jeannin, Todd M. Austin

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

Towards Verified Rounding Error Analysis for Stationary Iterative Methods.

Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette

Proceedings of the Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2022

2021

A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report.

Hammad Ahmad, Jean-Baptiste Jeannin

CoRR, 2021

A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes.

Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

A program logic to verify signal temporal logic specifications of hybrid systems.

Hammad Ahmad, Jean-Baptiste Jeannin

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

A Physics-Based Finite-State Abstraction for Traffic Congestion Control.

Hossein Rastgoftar, Jean-Baptiste Jeannin

Proceedings of the 2021 American Control Conference, 2021

2020

Grand Challenges for Embedded Security Research in a Connected World.

Wayne P. Burleson, Kevin Fu, Denise L. Anthony, Jorge Guajardo, Carl A. Gunter, Kyle Ingols, Jean-Baptiste Jeannin, Farinaz Koushanfar, Carl E. Landwehr, Susan Squires

CoRR, 2020

Formal verification of braking while swerving in automobiles.

Aakash Abhishek, Harry Sood, Jean-Baptiste Jeannin

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Accelerating Legacy String Kernels via Bounded Automata Learning.

Kevin Angstadt, Jean-Baptiste Jeannin, Westley Weimer

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

Formal Verification of Swerving Maneuvers for Car Collision Avoidance.

Aakash Abhishek, Harry Sood, Jean-Baptiste Jeannin

Proceedings of the 2020 American Control Conference, 2020

2019

Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions.

Kyle D. Julian, Shivam Sharma, Jean-Baptiste Jeannin, Mykel J. Kochenderfer

CoRR, 2019

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

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Towards Automatic Inference of Inductive Invariants.

Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

Formal Specification of Continuum Deformation Coordination.

Hossein Rastgoftar, Jean-Baptiste Jeannin, Ella M. Atkins

Proceedings of the 2019 American Control Conference, 2019

2017

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system.

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer

Int. J. Softw. Tools Technol. Transf., 2017

Well-founded coalgebras, revisited.

Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva

Math. Struct. Comput. Sci., 2017

CoCaml: Functional Programming with Regular Coinductive Types.

Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva

Fundam. Informaticae, 2017

Fission: Secure Dynamic Code-Splitting for JavaScript.

Arjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen, Rian Shambaugh

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

I¿¿¿: a calculus for internet of things automation.

Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

Correct by Construction Networks Using Stepwise Refinement.

Leonid Ryzhyk, Nikolaj S. Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics.

Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt, Jean-Baptiste Jeannin

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts.

Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin T. Vechev

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Type Inference for Static Compilation of JavaScript (Extended Version).

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi

CoRR, 2016

Type inference for static compilation of JavaScript.

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

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

Proceedings of the 2015 International Conference on Embedded Software, 2015

2014

Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges.

Khalil Ghorbal, Jean-Baptiste Jeannin, Erik Zawadzki, André Platzer, Geoffrey J. Gordon, Peter Capell

J. Aerosp. Inf. Syst., 2014

NetkAT: semantic foundations for networks.

Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems.

Jean-Baptiste Jeannin, André Platzer

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Capsules and Non-Well-Founded Computation.

Jean-Baptiste Jeannin

PhD thesis, 2013

dkal ⋆ : Constructing Executable Specifications of Authorization Protocols.

Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

Language Constructs for Non-Well-Founded Computation.

Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva

Proceedings of the Programming Languages and Systems, 2013

2012

Computing with Capsules.

Jean-Baptiste Jeannin, Dexter Kozen

J. Autom. Lang. Comb., 2012

Capsules and Separation.

Jean-Baptiste Jeannin, Dexter Kozen

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Capsules and Closures: A Small-Step Approach.

Jean-Baptiste Jeannin

Proceedings of the Logic and Program Semantics, 2012

2011

Capsules and Closures.

Jean-Baptiste Jeannin

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011