Articles with public access mandates - Jean-Baptiste JeanninLearn more
Available somewhere: 16
I4: incremental inference of inductive invariants for verification of distributed protocols
H Ma, A Goel, JB Jeannin, M Kapritsos, B Kasikci, KA Sakallah
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 370-384, 2019
Mandates: US National Science Foundation
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system
JB Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ...
International Journal on Software Tools for Technology Transfer 19, 717-741, 2017
Mandates: US National Science Foundation
Efficient backward reachability using the minkowski difference of constrained zonotopes
L Yang, H Zhang, JB Jeannin, N Ozay
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022
Mandates: US National Science Foundation, US Department of Defense
A physics-based finite-state abstraction for traffic congestion control
H Rastgoftar, JB Jeannin
2021 American Control Conference (ACC), 237-242, 2021
Mandates: US National Science Foundation
Accelerating legacy string kernels via bounded automata learning
K Angstadt, JB Jeannin, W Weimer
Proceedings of the Twenty-Fifth International Conference on Architectural …, 2020
Mandates: US National Science Foundation, US Department of Defense
Verified correctness, accuracy, and convergence of a stationary iterative linear solver: Jacobi method
M Tekriwal, AW Appel, AE Kellison, D Bindel, JB Jeannin
International Conference on Intelligent Computer Mathematics, 206-221, 2023
Mandates: US National Science Foundation, US Department of Energy
Sift: Using refinement-guided automation to verify complex distributed systems
H Ma, H Ahmad, A Goel, E Goldweber, JB Jeannin, M Kapritsos, B Kasikci
2022 USENIX Annual Technical Conference (USENIX ATC 22), 151-166, 2022
Mandates: US National Science Foundation
Well-founded coalgebras, revisited
JB Jeannin, D Kozen, A Silva
Mathematical Structures in Computer Science 27 (7), 1111-1131, 2017
Mandates: US Department of Defense, Netherlands Organisation for Scientific Research
Fission: Secure dynamic code-splitting for JavaScript
A Guha, JB Jeannin, R Nigam, J Tangen, R Shambaugh
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
Mandates: US National Science Foundation
An integrative behavioral-based physics-inspired approach to traffic congestion control
H Rastgoftar, JB Jeannin, E Atkins
Dynamic Systems and Control Conference 84287, V002T23A003, 2020
Mandates: US National Science Foundation
How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms
H Ahmad, Z Karas, K Diaz, A Kamil, JB Jeannin, W Weimer
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
Mandates: US National Science Foundation, US Department of Defense
Formal specification of continuum deformation coordination
H Rastgoftar, JB Jeannin, E Atkins
2019 American Control Conference (ACC), 3358-3363, 2019
Mandates: US National Science Foundation
Towards verified rounding error analysis for stationary iterative methods
A Kellison, M Tekriwal, JB Jeannin, G Hulette
2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC …, 2022
Mandates: US National Science Foundation, US Department of Energy
Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning
K Angstadt, T Tracy, K Skadron, JB Jeannin, W Weimer
IEEE Micro 42 (5), 70-77, 2022
Mandates: US National Science Foundation, US Department of Defense
Twine: a chisel extension for component-level heterogeneous design
S Chen, Y Fisseha, JB Jeannin, T Austin
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 466-471, 2022
Mandates: US Department of Defense
Towards a Formalization of the Active Corner Method for Collision Avoidance in PVS
N Kheterpal, JB Jeannin
Mandates: US National Aeronautics and Space Administration
Publication and funding information is determined automatically by a computer program