Zum Inhalt springen

  1. Roussanaly, Victor [VerfasserIn]; Falcone, Yliès [VerfasserIn] ; Victor Roussanaly and Yliès Falcone [MitwirkendeR]

    Decentralised Runtime Verification of Timed Regular Expressions

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  2. Dellabani, Mahieddine [VerfasserIn]; Combaz, Jacques [VerfasserIn]; Bensalem, Saddek [VerfasserIn]; Bozga, Marius [VerfasserIn] ; Mahieddine Dellabani and Jacques Combaz and Saddek Bensalem and Marius Bozga [MitwirkendeR]

    Local Planning Semantics: A Semantics for Distributed Real-Time Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  3. Busatto-Gaston, Damien [VerfasserIn]; Monmege, Benjamin [VerfasserIn]; Reynier, Pierre-Alain [VerfasserIn] ; Damien Busatto-Gaston and Benjamin Monmege and Pierre-Alain Reynier [MitwirkendeR]

    Symbolic Approximation of Weighted Timed Games

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  4. Brihaye, Thomas [VerfasserIn]; Geeraerts, Gilles [VerfasserIn]; Ho, Hsi-Ming [VerfasserIn]; Monmege, Benjamin [VerfasserIn] ; Thomas Brihaye and Gilles Geeraerts and Hsi-Ming Ho and Benjamin Monmege [MitwirkendeR]

    Timed-Automata-Based Verification of MITL over Signals

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  5. Akshay, S. [VerfasserIn]; Gastin, Paul [VerfasserIn]; Krishna, Shankara Narayanan [VerfasserIn]; Sarkar, Ilias [VerfasserIn] ; S. Akshay and Paul Gastin and Shankara Narayanan Krishna and Ilias Sarkar [MitwirkendeR]

    Towards an Efficient Tree Automata Based Technique for Timed Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  6. Akshay, S. [VerfasserIn]; Gastin, Paul [VerfasserIn]; Krishna, Shankara Narayanan [VerfasserIn] ; S. Akshay and Paul Gastin and Shankara Narayanan Krishna [MitwirkendeR]

    Analyzing Timed Systems Using Tree Automata

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  7. Zbrzezny, Agnieszka M. [VerfasserIn]; Zbrzezny, Andrzej [VerfasserIn] ; Agnieszka M. Zbrzezny and Andrzej Zbrzezny [MitwirkendeR]

    Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  8. Brihaye, Thomas [VerfasserIn]; Geeraerts, Gilles [VerfasserIn]; Haddad, Axel [VerfasserIn]; Lefaucheux, Engel [VerfasserIn]; Monmege, Benjamin [VerfasserIn] ; Thomas Brihaye and Gilles Geeraerts and Axel Haddad and Engel Lefaucheux and Benjamin Monmege [MitwirkendeR]

    Simple Priced Timed Games are not That Simple

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  9. Akshay, S. [VerfasserIn]; Genest, Blaise [VerfasserIn]; Hélouët, Loïc [VerfasserIn]; Krishna, S. [VerfasserIn]; Roychowdhury, Sparsa [VerfasserIn] ; S. Akshay and Blaise Genest and Loïc Hélouët and S. Krishna and Sparsa Roychowdhury [MitwirkendeR]

    Resilience of Timed Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  10. Droste, Manfred [VerfasserIn]; Gastin, Paul [VerfasserIn]; Larsen, Kim Gulstrand [VerfasserIn]; Legay, Axel [VerfasserIn] ; Manfred Droste and Paul Gastin and Kim Gulstrand Larsen and Axel Legay [MitwirkendeR]

    Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014

  11. Dellabani, Mahieddine [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Bensalem, Saddek [MitwirkendeR]

    Formal methods for distributed real-time systems ; Méthodes formelles pour les systèmes distribués temps-réel

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-10-31

  12. Sankur, Ocan [VerfasserIn] ; Cachan, Ecole normale supérieure [MitwirkendeR]; Markey, Nicolas [MitwirkendeR]

    Robustness in timed automata : analysis, synthesis, implementation ; Robustesse dans les automates temporisés : analyse, synthèse, implémentation

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-05-24

  13. Baier, Christel [VerfasserIn]; Droste, Manfred [VerfasserIn]; Gastin, Paul [VerfasserIn]; Larsen, Kim Guldstrand [VerfasserIn] ; Christel Baier and Manfred Droste and Paul Gastin and Kim Guldstrand Larsen [MitwirkendeR]

    10031 Abstracts Collection – Quantitative Models: Expressiveness and Analysis

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010

  14. Baier, Christel [VerfasserIn]; Droste, Manfred [VerfasserIn]; Gastin, Paul [VerfasserIn]; Larsen, Kim Guldstrand [VerfasserIn] ; Christel Baier and Manfred Droste and Paul Gastin and Kim Guldstrand Larsen [MitwirkendeR]

    10031 Executive Summary – Quantitative Models: Expressiveness and Analysis

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010

  15. Esparza, Javier [VerfasserIn]; Finkel, Alain [VerfasserIn]; McKenzie, Pierre [VerfasserIn]; Ouaknine, Joel [VerfasserIn] ; Javier Esparza and Alain Finkel and Pierre McKenzie and Joel Ouaknine [MitwirkendeR]

    Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014

  16. Didier, Jean-Yves [VerfasserIn]; Djafri, Bachir [VerfasserIn]; Klaudel, Hanna [VerfasserIn]

    The MIRELA framework: modeling and analyzing mixed reality applications using timed automata

    Elektronische Ressourcen
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    DiPP NRW (Digital Peer Publishing North-Rhine Westphalia), 2008-06-25

    Erschienen in: JVRB - Journal of Virtual Reality and Broadcasting ; 6(2009) , 1