BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jeannin:Jean=Baptiste

Contributed to:

TACAS 20152015
IJCAR 20142014
POPL 20142014
ESOP 20132013
LICS 20122012
CAV (2) 20172017
OOPSLA 20162016
Onward! 20172017
ASPLOS 20202020

Wrote 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.
Language Constructs for Non-Well-Founded Computation (JBJ, DK, AS), pp. 61–80.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.