Showing 1 - 5 results of 5 for search 'Karin Quaas', query time: 0.03s Refine Results
  1. 1
    Verification for Timed Automata extended with Unbounded Discrete Data Structures

    Verification for Timed Automata extended with Unbounded Discrete Data Structures by Karin Quaas

    Published 2015-09-01
    Get full text
    Article
  2. 2
    MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable

    MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable by Karin Quaas

    Published 2014-03-01
    Get full text
    Article
  3. 3
    Path Checking for MTL and TPTL over Data Words

    Path Checking for MTL and TPTL over Data Words by Shiguang Feng, Markus Lohrey, Karin Quaas

    Published 2017-09-01
    Get full text
    Article
  4. 4
    The Complexity of Flat Freeze LTL

    The Complexity of Flat Freeze LTL by Benedikt Bollig, Karin Quaas, Arnaud Sangnier

    Published 2019-09-01
    Get full text
    Article
  5. 5
    On the Expressiveness of TPTL and MTL over ω-Data Words

    On the Expressiveness of TPTL and MTL over ω-Data Words by Claudia Carapelle, Shiguang Feng, Oliver Fernández Gil, Karin Quaas

    Published 2014-05-01
    Get full text
    Article

Search Tools: