Search Results - JEANNIN, JEAN-BAPTISTE

Refine Results
  1. 1
    Efficient Backward Reachability using the Minkowski Difference of Constrained Zonotopes

    Efficient Backward Reachability using the Minkowski Difference of Constrained Zonotopes by Yang, Liren, Zhang, Hang, Jeannin, Jean-Baptiste, Ozay, Necmiye

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system

    A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system by Jeannin, Jean-Baptiste, Ghorbal, Khalil, Kouskoulas, Yanni, Schmidt, Aurora, Gardner, Ryan, Mitsch, Stefan, Platzer, André

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Well-founded coalgebras, revisited

    Well-founded coalgebras, revisited by JEANNIN, JEAN-BAPTISTE, KOZEN, DEXTER, SILVA, ALEXANDRA

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms

    How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms by Ahmad, Hammad, Karas, Zachary, Diaz, Kimberly, Kamil, Amir, Jeannin, Jean-Baptiste, Weimer, Westley

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    A Concurrent Switching Model for Traffic Congestion Control

    A Concurrent Switching Model for Traffic Congestion Control by Rastgoftar, Hossein, Liu, Xun, Jeannin, Jean-Baptiste

    Published in IFAC-PapersOnLine
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    A Physics-Based Finite-State Abstraction for Traffic Congestion Control

    A Physics-Based Finite-State Abstraction for Traffic Congestion Control by Rastgoftar, Hossein, Jeannin, Jean-Baptiste

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Capsules and Separation

    Capsules and Separation by Jeannin, Jean-Baptiste, Kozen, D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Formal Verification of Swerving Maneuvers for Car Collision Avoidance

    Formal Verification of Swerving Maneuvers for Car Collision Avoidance by Abhishek, Aakash, Sood, Harry, Jeannin, Jean-Baptiste

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic

    Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic by Jeannin, Jean-Baptiste, Chen, Jiawei, de Mendonca, Jose Luiz Vargas, Mamouras, Konstantinos

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Towards Verified Rounding Error Analysis for Stationary Iterative Methods

    Towards Verified Rounding Error Analysis for Stationary Iterative Methods by Kellison, Ariel, Tekriwal, Mohit, Jeannin, Jean-Baptiste, Hulette, Geoffrey

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Formal Specification of Continuum Deformation Coordination

    Formal Specification of Continuum Deformation Coordination by Rastgoftar, Hossein, Jeannin, Jean-Baptiste, Atkins, Ella

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Verification of an Airport Taxiway Path-Finding Algorithm

    Verification of an Airport Taxiway Path-Finding Algorithm by He, Siyuan, Du, Ke, Wilhelm, Joshua, Jeannin, Jean-Baptiste

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning

    Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning by Angstadt, Kevin, Tracy, Tommy, Skadron, Kevin, Jeannin, Jean-Baptiste, Weimer, Westley

    Published in IEEE MICRO
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    Capsules and Closures

    Capsules and Closures by Jeannin, Jean-Baptiste

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  15. 15
    Twine: A Chisel Extension for Component-Level Heterogeneous Design

    Twine: A Chisel Extension for Component-Level Heterogeneous Design by Chen, Shibo, Fisseha, Yonathan, Jeannin, Jean-Baptiste, Austin, Todd

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Synchronous Programming with Refinement Types

    Synchronous Programming with Refinement Types by Chen, Jiawei, de Mendonça, José Luiz Vargas, Ayele, Bereket Shimels, Bekele, Bereket Ngussie, Jalili, Shayan, Sharma, Pranjal, Wohlfeil, Nicholas, Zhang, Yicheng, Jeannin, Jean-Baptiste

    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Security Verification of Low-Trust Architectures

    Security Verification of Low-Trust Architectures by Tan, Qinhan, Fisseha, Yonathan, Chen, Shibo, Biernacki, Lauren, Jeannin, Jean-Baptiste, Malik, Sharad, Austin, Todd

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Formalization of Asymptotic Convergence for Stationary Iterative Methods

    Formalization of Asymptotic Convergence for Stationary Iterative Methods by Tekriwal, Mohit, Miller, Joshua, Jeannin, Jean-Baptiste

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Falsification of a Vision-based Automatic Landing System

    Falsification of a Vision-based Automatic Landing System by Shoouri, Sara, Jalili, Shayan, Xu, Jiahong, Gallagher, Isabelle, Zhang, Yuhao, Wilhelm, Joshua, Necmiye Ozay, Jeannin, Jean-Baptiste

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report

    A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report by Hammad, Ahmad, Jeannin, Jean-Baptiste

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: