Zum Inhalt springen

  2. Clement, Emily [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Jéron, Thierry [MitwirkendeR]; Markey, Nicolas [MitwirkendeR]

    Robustness of timed automata : computing the maximally-permissive strategies ; Robustesse des automates temporisés : calculer les stratégies les plus permissives

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2022-03-11

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

    Symbolic controller synthesis for timed systems : robustness and optimality ; Synthèse symbolique de contrôleurs pour systèmes temporisés : robustesse et optimalité

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2019-12-03

  4. 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
    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

  5. Zhao, Yulong [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Cordier, Marie-Odile [MitwirkendeR]; Gascuel, Chantal [MitwirkendeR]

    Modélisation qualitative des agro-écosystèmes et aide à leur gestion par utilisation d’outils de model-checking ; Qualitative modelling and strategy synthesis of grazing activities

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2014-01-13

  6. Soulat, Romain [VerfasserIn] ; Cachan, Ecole normale supérieure [MitwirkendeR]; Fribourg, Laurent [MitwirkendeR]

    Synthesis of correct-by-design schedulers for hybrid systems ; Synthèse d'ordonnanceurs corrects par conception pour les systèmes hybrides

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2014-02-18

  7. 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
    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

  9. Roussanaly, Victor [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Markey, Nicolas [MitwirkendeR]; Sankur, Ocan [MitwirkendeR]

    Efficient verification of real time systems ; Vérification efficace de systèmes en temps réel

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2020-11-30

  10. Tran, Thanh tung [VerfasserIn] ; Bordeaux [MitwirkendeR]; Walukiewicz, Igor [MitwirkendeR]

    Verification of timed automata : reachability, liveness and modelling ; Vérification d'automates temporisés : sûreté, vivacité et modélisation

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2016-11-04

  12. Kempf, Jean-Francois [VerfasserIn] ; Grenoble [MitwirkendeR]; Maler, Oded [MitwirkendeR]; Bozga, Marius [MitwirkendeR]

    On computer-aided design-space exploration for multi-cores ; Exploration de l'espace de design assistée par ordinateur pour les systèmes multi-coeurs

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2012-10-29

  13. Cornanguer, Lénaïg [VerfasserIn] ; Université de Rennes (2023-.) [MitwirkendeR]; Largouët, Christine [MitwirkendeR]; Termier, Alexandre [MitwirkendeR]

    Timed automata learning from time series ; Apprentissage automatique d'automates temporisés à partir de séries temporelles

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2023-11-02

  14. Bertrand, Clément [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Klaudel, Hanna [MitwirkendeR]

    Reconnaissance de motifs dynamiques par automates temporisés à mémoire ; Matching of dynamic patterns with timed memory automata

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2020-12-17

  15. Renard, Matthieu [VerfasserIn] ; Bordeaux [MitwirkendeR]; Mosbah, Mohamed [MitwirkendeR]; Rollet, Antoine [MitwirkendeR]

    Runtime Enforcement of (Timed) Properties with Uncontrollable Events ; Enforcement à l’exécution de propriétés temporisées régulières en présence d’évènements incontrôlables

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2017-12-11

  16. Henry, Léo [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Markey, Nicolas [MitwirkendeR]; Jéron, Thierry [MitwirkendeR]

    There and back again : formal methods and model learning for real-time systems : acting upon reality and learning from its reactions ; Histoire d’un aller et retour : méthodes formelles et apprentissage de modèles pour les systèmes en temps réel

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2021-12-03

  17. Arias Almeida, Jaime E. [VerfasserIn] ; Bordeaux [MitwirkendeR]; Desainte-Catherine, Myriam [MitwirkendeR]; Rueda, Camilo [MitwirkendeR]

    Sémantique formelle et vérification automatique de scénarios hiérarchiques multimédia avec des choix interactifs ; Formal semantics and automatic verification of hierarchical multimedia scenarios with interactive choices

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2015-11-27

  18. Gani, Kahina [VerfasserIn] ; Clermont-Ferrand 2 [MitwirkendeR]; Toumani, Farouk [MitwirkendeR]; Bastide, Rémi [MitwirkendeR]

    Using timed automata formalism for modeling and analyzing home care plans ; L'utilisation du formalisme des automates temporisés pour la modélisation et l'analyse des plans de soins à domicile

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2015-12-02

  19. Stainer, Amélie [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Jéron, Thierry [MitwirkendeR]

    Contribution à la vérification d'automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates ; Contribution to the verification of timed automata : determinization, quantitative verification and reachability in networks of automata

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2013-11-25