Search Results - Thomas Baar

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Towards Measuring the Abstractness of State Machines based on Mutation Testing

    Towards Measuring the Abstractness of State Machines based on Mutation Testing by Thomas Baar

    Published 2017-12-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Notes on Recent Achievements in Proving Stability using KeYmaeraX

    Notes on Recent Achievements in Proving Stability using KeYmaeraX by Thomas Baar, Horst Schulte

    Published 2021-12-01
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Safety Analysis of Longitudinal Motion Controllers during Climb Flight

    Safety Analysis of Longitudinal Motion Controllers during Climb Flight by Thomas Baar, Horst Schulte

    Published 2019-12-01
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier

    A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier by Thomas Baar, Sergey Staroletov

    Published 2018-10-01
    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study

    Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study by Tatiana Liakh, Andrei Rozov, Vladimir Zyubin, Sergey Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov

    Published 2021-09-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: