Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Jeannin, Jean-Baptiste
74  Ergebnisse:
Personensuche X
?
1

ICSE'23: How Do We Read Formal Claims? Eye-Tracking and the..:

Ahmad, Hammad ; Karas, Zachary ; Diaz, Kimberly...
doi:10.5281/zenodo.7626900.  , 2023
Link: https://zenodo.org/recor..
 
?
2

How Do We Read Formal Claims? Eye-Tracking and the Cognitio..:

Ahmad, Hammad ; Karas, Zachary ; Diaz, Kimberly...
qt9g92v4h9.  , 2023
Link: https://escholarship.org..
 
?
3

Falsification of a Vision-based Automatic Landing System:

Shoouri, Sara ; Jalili, Shayan ; Xu, Jiahong...
http://arxiv.org/abs/2307.01925.  , 2023
Link: http://arxiv.org/abs/230..
 
?
4

Security Verification of Low-Trust Architectures:

Tan, Qinhan ; Fisseha, Yonathan ; Chen, Shibo...
http://arxiv.org/abs/2309.00181.  , 2023
Link: http://arxiv.org/abs/230..
 
?
5

Automating Geometric Proofs of Collision Avoidance with Act..:

Kheterpal, Nishant ; Tang, Elanor ; Jeannin, Jean-Baptiste
http://arxiv.org/abs/2207.07259.  , 2022
Link: http://arxiv.org/abs/220..
 
?
6

Efficient Backward Reachability Using the Minkowski Differe..:

Yang, Liren ; Zhang, Hang ; Jeannin, Jean-Baptiste.
http://arxiv.org/abs/2207.04272.  , 2022
Link: http://arxiv.org/abs/220..
 
?
7

Dandelion: Certified Approximations of Elementary Functions:

Becker, Heiko ; Tekriwal, Mohit ; Darulova, Eva..
http://arxiv.org/abs/2202.05472.  , 2022
Link: http://arxiv.org/abs/220..
 
?
8

Formal verification of iterative convergence of numerical a..:

Tekriwal, Mohit ; Miller, Joshua ; Jeannin, Jean-Baptiste
http://arxiv.org/abs/2202.05587.  , 2022
Link: http://arxiv.org/abs/220..
 
?
9

Dandelion : Certified Approximations of Elementary Function:

Becker, Heiko ; Tekriwal, Mohit ; Darulova, Eva..
Leibniz International Proceedings in Informatics (LIPIcs), 1868-8969.  , 2022
Link: http://urn.kb.se/resolve..
 
?
10

A Concurrent Switching Model for Traffic Congestion Control:

Rastgoftar, Hossein ; Liu, Xun ; Jeannin, Jean-Baptiste
http://arxiv.org/abs/2204.05358.  , 2022
Link: http://arxiv.org/abs/220..
 
?
11

Dandelion: Certified Approximations of Elementary Functions:

Becker, Heiko ; Tekriwal, Mohit ; Darulova, Eva..
Is Part Of LIPIcs, Volume 237, 13th International Conference on Interactive Theorem Proving (ITP 2022).  , 2022
Link: https://doi.org/10.4230/..
 
?
12

Formally verified asymptotic consensus in robust networks:

Tekriwal, Mohit ; Tachna-Fram, Avi ; Jeannin, Jean-Baptiste..
http://arxiv.org/abs/2202.13833.  , 2022
Link: http://arxiv.org/abs/220..
 
?
13

A formal proof of the Lax equivalence theorem for finite di..:

Tekriwal, Mohit ; Duraisamy, Karthik ; Jeannin, Jean-Baptiste
http://arxiv.org/abs/2103.13534.  , 2021
Link: http://arxiv.org/abs/210..
 
?
14

A Program Logic to Verify Signal Temporal Logic Specificati..:

Ahmad, Hammad ; Jeannin, Jean-Baptiste
http://arxiv.org/abs/2103.08117.  , 2021
Link: http://arxiv.org/abs/210..
 
?
15

A Physics-Based Finite-State Abstraction for Traffic Conges..:

Rastgoftar, Hossein ; Jeannin, Jean-Baptiste
http://arxiv.org/abs/2101.07865.  , 2021
Link: http://arxiv.org/abs/210..
 
1-15