Travelled to:1 × Austria
1 × Croatia
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:D.Kozen A.Platzer M.Sridharan C.Schlesinger S.C.0001 A.Silva Kevin Angstadt W.Weimer A.M.Dan M.T.Vechev Julie L. Newcomb K.Ghorbal Y.Kouskoulas R.Gardner A.Schmidt E.Zawadzki C.J.Anderson N.Foster A.Guha D.Walker S.Chandra C.S.Gordon F.Tip Y.Choi
Talks about:system (3) tempor (2) hybrid (2) javascript (1) differenti (1) construct (1) reachabl (1) internet (1) calculus (1) automata (1)
Person: Jean-Baptiste Jeannin
DBLP: Jeannin:Jean=Baptiste
Contributed to:
2015
2014
2014
2013
2012
2017
2016
2017
2020Wrote 9 papers:
- TACAS-2015-JeanninGKGSZP #hybrid
- A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System (JBJ, KG, YK, RG, AS, EZ, AP), pp. 21–36.
- IJCAR-2014-JeanninP #difference #hybrid #logic #named
- dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.
- POPL-2014-AndersonFGJKSW #named #network #semantics
- NetkAT: semantic foundations for networks (CJA, NF, AG, JBJ, DK, CS, DW), pp. 113–126.
- ESOP-2013-JeanninKS
- Language Constructs for Non-Well-Founded Computation (JBJ, DK, AS), pp. 61–80.
- LICS-2012-JeanninK
- Capsules and Separation (JBJ, DK), pp. 425–430.
- CAV-2017-DanS0JV #analysis
- Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts (AMD, MS, SC0, JBJ, MTV), pp. 521–541.
- OOPSLA-2016-ChandraGJSSTC #compilation #javascript #type inference
- Type inference for static compilation of JavaScript (SC, CSG, JBJ, CS, MS, FT, YIC), pp. 410–429.
- Onward-2017-Newcomb0JSS #automation #calculus #internet
- I¿¿¿: a calculus for internet of things automation (JLN, SC0, JBJ, CS, MS), pp. 119–133.
- ASPLOS-2020-AngstadtJW #automaton #bound #kernel #learning #legacy #string
- Accelerating Legacy String Kernels via Bounded Automata Learning (KA, JBJ, WW), pp. 235–249.