Concepedia

Jean-Baptiste Jeannin

JJ

13

Publications

723

Citations

12

H-Index

2012

Active since

Affiliations

Carnegie Mellon University(Current)

Samsung (United States)

Johns Hopkins University Applied Physics Laboratory

Princeton University

Cornell University

Jean-Baptiste Jeannin is an author at Carnegie Mellon University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringComputer EngineeringVerificationAutomated ReasoningSpace EngineeringSoftware Verification

Publications per year

2012–2022

13

Publications

13

NetKAT

Carolyn Jane Anderson, Nate Foster, Arjun Guha et al. · 2014 · 366 citations

Engineering, Network Hardware, Computer Architecture +16

Carolyn Jane Anderson, Nate Foster, Arjun Guha et al. · ACM SIGPLAN Notices · 2014 · 81 citations · Full text

Programming Language Theory, Declarative Programming, Engineering +14

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

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas et al. · International Journal on Software Tools for Technology Transfer · 2016 · 45 citations

Automatic Navigation, Engineering, Aircraft Navigation +8

I4

Haojun Ma, Aman Goel, Jean-Baptiste Jeannin et al. · 2019 · 39 citations · Full text

Formal Specification, Engineering, Automated Reasoning +12

Type inference for static compilation of JavaScript

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin et al. · 2016 · 32 citations

Engineering, Type Theory, Verification +16

Rows per page

1–5 of 13