Follow
Jean-Baptiste Jeannin
Title
Cited by
Cited by
Year
NetKAT: Semantic foundations for networks
CJ Anderson, N Foster, A Guha, JB Jeannin, D Kozen, C Schlesinger, ...
Acm sigplan notices 49 (1), 113-126, 2014
5442014
A formally verified hybrid system for the next-generation airborne collision avoidance system
JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ...
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
932015
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
732019
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
572017
Type inference for static compilation of JavaScript
S Chandra, CS Gordon, JB Jeannin, C Schlesinger, M Sridharan, F Tip, ...
ACM SIGPLAN Notices 51 (10), 410-429, 2016
462016
Formal verification of ACAS X, an industrial airborne collision avoidance system
JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ...
2015 International Conference on Embedded Software (EMSOFT), 127-136, 2015
462015
IOTA: a calculus for internet of things automation
JL Newcomb, S Chandra, JB Jeannin, C Schlesinger, M Sridharan
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas …, 2017
412017
Correct by construction networks using stepwise refinement
L Ryzhyk, N Bjørner, M Canini, JB Jeannin, C Schlesinger, DB Terry, ...
14th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2017
402017
dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems
JB Jeannin, A Platzer
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014
322014
Cocaml: Functional programming with regular coinductive types
JB Jeannin, D Kozen, A Silva
Fundamenta Informaticae 150 (3-4), 347-377, 2017
312017
Verifying aircraft collision avoidance neural networks through linear approximations of safe regions
KD Julian, S Sharma, JB Jeannin, MJ Kochenderfer
arXiv preprint arXiv:1903.00762, 2019
272019
Hybrid theorem proving of aerospace systems: Applications and challenges
K Ghorbal, JB Jeannin, E Zawadzki, A Platzer, GJ Gordon, P Capell
Journal of Aerospace Information Systems 11 (10), 702-713, 2014
252014
Language constructs for non-well-founded computation
JB Jeannin, D Kozen, A Silva
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
222013
Computing with capsules
JB Jeannin, D Kozen
Descriptional Complexity of Formal Systems: 14th International Workshop …, 2012
222012
dkal  ⋆ : Constructing Executable Specifications of Authorization Protocols
JB Jeannin, G de Caso, J Chen, Y Gurevich, P Naldurg, N Swamy
Engineering Secure Software and Systems: 5th International Symposium, ESSoS …, 2013
142013
Formal verification of safety buffers for sate-based conflict detection and resolution
H Herencia-Zapana, JB Jeannin, CA Munoz
27th International Congress of the Aeronautical Sciences (ICAS 2010), 2010
142010
Formally verified safe vertical maneuvers for non-deterministic, accelerating aircraft dynamics
Y Kouskoulas, D Genin, A Schmidt, JB Jeannin
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
122017
CoCaml: Programming with coinductive types
JB Jeannin, D Kozen, A Silva
122012
A physics-based finite-state abstraction for traffic congestion control
H Rastgoftar, JB Jeannin
2021 American Control Conference (ACC), 237-242, 2021
112021
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
102022
The system can't perform the operation now. Try again later.
Articles 1–20