More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-Baptiste Jeannin

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ChenMABJSWZJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ChenMABJSWZJ24
Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, Jean-Baptiste Jeannin:
Synchronous Programming with Refinement Types. Proc. ACM Program. Lang. 8(ICFP): 938-972 (2024)
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/TekriwalMJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/TekriwalMJ24
Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin:
Formalization of Asymptotic Convergence for Stationary Iterative Methods. NFM 2024: 37-56
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/TekriwalTJKP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/TekriwalTJKP24
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou:
Formally verified asymptotic consensus in robust networks. TACAS (1) 2024: 248-267
[i16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-06221
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-06221
Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, Jean-Baptiste Jeannin:
Synchronous Programming with Refinement Types. CoRR abs/2406.06221 (2024)
2023
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/TanFCBJMA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/TanFCBJMA23
Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin:
Security Verification of Low-Trust Architectures. CCS 2023: 945-959
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AhmadKDKJW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AhmadKDKJW23
Hammad Ahmad, Zachary Karas, Kimberly Diaz, Amir Kamil, Jean-Baptiste Jeannin, Westley Weimer:
How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms. ICSE 2023: 208-220
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/TekriwalAKBJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/TekriwalAKBJ23
Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin:
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method. CICM 2023: 206-221
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-01925
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-01925
Sara Shoouri, Shayan Jalili, Jiahong Xu, Isabelle Gallagher, Yuhao Zhang, Joshua Wilhelm, Necmiye Ozay, Jean-Baptiste Jeannin:
Falsification of a Vision-based Automatic Landing System. CoRR abs/2307.01925 (2023)
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-00181
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-00181
Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin:
Security Verification of Low-Trust Architectures. CoRR abs/2309.00181 (2023)
2022
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/micro/AngstadtTSJW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/micro/AngstadtTSJW22
Kevin Angstadt, Tommy Tracy II, Kevin Skadron, Jean-Baptiste Jeannin, Westley Weimer:
Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning. IEEE Micro 42(5): 70-77 (2022)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/YangZJO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/YangZJO22
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay:
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 3969-3980 (2022)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/correctness/KellisonTJH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/correctness/KellisonTJH22
Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette:
Towards Verified Rounding Error Analysis for Stationary Iterative Methods. Correctness@SC 2022: 10-17
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ChenFJA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ChenFJA22
Shibo Chen, Yonathan Fisseha, Jean-Baptiste Jeannin, Todd M. Austin:
Twine: A Chisel Extension for Component-Level Heterogeneous Design. DATE 2022: 466-471
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/JeanninCMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/JeanninCMM22
Jean-Baptiste Jeannin, Jiawei Chen, José Luiz Vargas de Mendonça, Konstantinos Mamouras:
Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic. EMSOFT 2022: 11-12
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/KheterpalTJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/KheterpalTJ22
Nishant Kheterpal, Elanor Tang, Jean-Baptiste Jeannin:
Automating Geometric Proofs of Collision Avoidance with Active Corners. FMCAD 2022: 1-10
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/ChenMJABQSSZJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/ChenMJABQSSZJ22
Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, Jean-Baptiste Jeannin:
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation. FTSCS 2022: 68-79
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/BeckerTDVJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/BeckerTDVJ22
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin:
Dandelion: Certified Approximations of Elementary Functions. ITP 2022: 6:1-6:19
[c26]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/usenix/MaAGGJKK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/MaAGGJKK22
Haojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci:
Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. USENIX ATC 2022: 151-166
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-05472
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-05472
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin:
Dandelion: Certified Approximations of Elementary Functions. CoRR abs/2202.05472 (2022)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-05587
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-05587
Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin:
Formal verification of iterative convergence of numerical algorithms. CoRR abs/2202.05587 (2022)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-13833
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-13833
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou:
Formally verified asymptotic consensus in robust networks. CoRR abs/2202.13833 (2022)
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-05358
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-05358
Hossein Rastgoftar, Xun Liu, Jean-Baptiste Jeannin:
A Concurrent Switching Model for Traffic Congestion Control. CoRR abs/2204.05358 (2022)
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-04272
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-04272
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay:
Efficient Backward Reachability using the Minkowski Difference of Constrained Zonotopes. CoRR abs/2207.04272 (2022)
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-07259
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-07259
Nishant Kheterpal, Elanor Tang, Jean-Baptiste Jeannin:
Automating Geometric Proofs of Collision Avoidance with Active Corners. CoRR abs/2207.07259 (2022)
2021
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/RastgoftarJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/RastgoftarJ21
Hossein Rastgoftar, Jean-Baptiste Jeannin:
A Physics-Based Finite-State Abstraction for Traffic Congestion Control. ACC 2021: 237-242
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AhmadJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AhmadJ21
Hammad Ahmad, Jean-Baptiste Jeannin:
A program logic to verify signal temporal logic specifications of hybrid systems. HSCC 2021: 10:1-10:11
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/TekriwalDJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/TekriwalDJ21
Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin:
A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes. NFM 2021: 322-339
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07865
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07865
Hossein Rastgoftar, Jean-Baptiste Jeannin:
A Physics-Based Finite-State Abstraction for Traffic Congestion Control. CoRR abs/2101.07865 (2021)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-08117
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-08117
Hammad Ahmad, Jean-Baptiste Jeannin:
A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report. CoRR abs/2103.08117 (2021)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-13534
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-13534
Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin:
A formal proof of the Lax equivalence theorem for finite difference schemes. CoRR abs/2103.13534 (2021)
2020
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/AbhishekSJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/AbhishekSJ20
Aakash Abhishek, Harry Sood, Jean-Baptiste Jeannin:
Formal Verification of Swerving Maneuvers for Car Collision Avoidance. ACC 2020: 4729-4736
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/AngstadtJW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/AngstadtJW20
Kevin Angstadt, Jean-Baptiste Jeannin, Westley Weimer:
Accelerating Legacy String Kernels via Bounded Automata Learning. ASPLOS 2020: 235-249
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AbhishekSJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AbhishekSJ20
Aakash Abhishek, Harry Sood, Jean-Baptiste Jeannin:
Formal verification of braking while swerving in automobiles. HSCC 2020: 27:1-27:11
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-06585
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-06585
Wayne P. Burleson, Kevin Fu, Denise L. Anthony, Jorge Guajardo, Carl A. Gunter, Kyle Ingols, Jean-Baptiste Jeannin, Farinaz Koushanfar, Carl E. Landwehr, Susan Squires:
Grand Challenges for Embedded Security Research in a Connected World. CoRR abs/2005.06585 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/RastgoftarJA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/RastgoftarJA19
Hossein Rastgoftar, Jean-Baptiste Jeannin, Ella M. Atkins:
Formal Specification of Continuum Deformation Coordination. ACC 2019: 3358-3363
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/hotos/MaGJKKS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/MaGJKKS19
Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah:
Towards Automatic Inference of Inductive Invariants. HotOS 2019: 30-36
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/MaGJKKS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/MaGJKKS19
Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah:
I4: incremental inference of inductive invariants for verification of distributed protocols. SOSP 2019: 370-384
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-00762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-00762
Kyle D. Julian, Shivam Sharma, Jean-Baptiste Jeannin, Mykel J. Kochenderfer:
Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions. CoRR abs/1903.00762 (2019)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-12913
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-12913
Hossein Rastgoftar, Jean-Baptiste Jeannin, Ella M. Atkins:
Formal Specification of Continuum Deformation Coordination. CoRR abs/1907.12913 (2019)
2017
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/JeanninKS17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/JeanninKS17a
Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva:
CoCaml: Functional Programming with Regular Coinductive Types. Fundam. Informaticae 150(3-4): 347-377 (2017)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/JeanninKS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/JeanninKS17
Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva:
Well-founded coalgebras, revisited. Math. Struct. Comput. Sci. 27(7): 1111-1131 (2017)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/JeanninGKSGMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JeanninGKSGMP17
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer:
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. Int. J. Softw. Tools Technol. Transf. 19(6): 717-741 (2017)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/DanS0JV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DanS0JV17
Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin T. Vechev:
Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts. CAV (2) 2017: 521-541
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/KouskoulasGSJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/KouskoulasGSJ17
Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt, Jean-Baptiste Jeannin:
Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics. ITP 2017: 336-353
[c14]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nsdi/RyzhykBCJSTV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsdi/RyzhykBCJSTV17
Leonid Ryzhyk, Nikolaj S. Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese:
Correct by Construction Networks Using Stepwise Refinement. NSDI 2017: 683-698
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Newcomb0JSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Newcomb0JSS17
Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan:
I¿¿¿: a calculus for internet of things automation. Onward! 2017: 119-133
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/snapl/GuhaJNTS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snapl/GuhaJNTS17
Arjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen, Rian Shambaugh:
Fission: Secure Dynamic Code-Splitting for JavaScript. SNAPL 2017: 5:1-5:13
2016
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/0001GJSSTC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/0001GJSSTC16
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi:
Type inference for static compilation of JavaScript. OOPSLA 2016: 410-429
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ChandraGJSSTC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChandraGJSSTC16
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi:
Type Inference for Static Compilation of JavaScript (Extended Version). CoRR abs/1608.07261 (2016)
2015
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/JeanninGKGSZP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/JeanninGKGSZP15
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer:
Formal verification of ACAS X, an industrial airborne collision avoidance system. EMSOFT 2015: 127-136
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/JeanninGKGSZP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JeanninGKGSZP15
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer:
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. TACAS 2015: 21-36
2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jacic/GhorbalJZPGC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacic/GhorbalJZPGC14
Khalil Ghorbal, Jean-Baptiste Jeannin, Erik Zawadzki, André Platzer, Geoffrey J. Gordon, Peter Capell:
Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges. J. Aerosp. Inf. Syst. 11(10): 702-713 (2014)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/JeanninP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/JeanninP14
Jean-Baptiste Jeannin, André Platzer:
dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems. IJCAR 2014: 292-306
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/AndersonFGJKSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AndersonFGJKSW14
Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker:
NetkAT: semantic foundations for networks. POPL 2014: 113-126
2013
[b1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - phd/us/Jeannin13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Jeannin13
Jean-Baptiste Jeannin:
Capsules and Non-Well-Founded Computation. Cornell University, USA, 2013
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/JeanninKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/JeanninKS13
Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva:
Language Constructs for Non-Well-Founded Computation. ESOP 2013: 61-80
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/essos/JeanninCCGNS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/essos/JeanninCCGNS13
Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy:
dkal ⋆ : Constructing Executable Specifications of Authorization Protocols. ESSoS 2013: 139-154
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jalc/JeanninK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jalc/JeanninK12
Jean-Baptiste Jeannin, Dexter Kozen:
Computing with Capsules. J. Autom. Lang. Comb. 17(2-4): 185-204 (2012)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Jeannin12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Jeannin12
Jean-Baptiste Jeannin:
Capsules and Closures: A Small-Step Approach. Logic and Program Semantics 2012: 106-123
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/JeanninK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/JeanninK12
Jean-Baptiste Jeannin, Dexter Kozen:
Computing with Capsules. DCFS 2012: 1-19
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/JeanninK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/JeanninK12
Jean-Baptiste Jeannin, Dexter Kozen:
Capsules and Separation. LICS 2012: 425-430
2011
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Jeannin11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Jeannin11
Jean-Baptiste Jeannin:
Capsules and Closures. MFPS 2011: 191-213

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.