Zum Inhalt springen

  2. Clement, Emily [Verfasser:in] ; Rennes 1 [Mitwirkende:r]; Jéron, Thierry [Mitwirkende:r]; Markey, Nicolas [Mitwirkende:r]

    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 [Verfasser:in] ; Aix-Marseille [Mitwirkende:r]; Reynier, Pierre-Alain [Mitwirkende:r]; Monmege, Benjamin [Mitwirkende:r]

    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

  5. Zhao, Yulong [Verfasser:in] ; Rennes 1 [Mitwirkende:r]; Cordier, Marie-Odile [Mitwirkende:r]; Gascuel, Chantal [Mitwirkende:r]

    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

  12. Kempf, Jean-Francois [Verfasser:in] ; Grenoble [Mitwirkende:r]; Maler, Oded [Mitwirkende:r]; Bozga, Marius [Mitwirkende:r]

    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 [Verfasser:in] ; Université de Rennes (2023-.) [Mitwirkende:r]; Largouët, Christine [Mitwirkende:r]; Termier, Alexandre [Mitwirkende:r]

    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

  15. Renard, Matthieu [Verfasser:in] ; Bordeaux [Mitwirkende:r]; Mosbah, Mohamed [Mitwirkende:r]; Rollet, Antoine [Mitwirkende:r]

    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 [Verfasser:in] ; Rennes 1 [Mitwirkende:r]; Markey, Nicolas [Mitwirkende:r]; Jéron, Thierry [Mitwirkende:r]

    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. [Verfasser:in] ; Bordeaux [Mitwirkende:r]; Desainte-Catherine, Myriam [Mitwirkende:r]; Rueda, Camilo [Mitwirkende:r]

    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 [Verfasser:in] ; Clermont-Ferrand 2 [Mitwirkende:r]; Toumani, Farouk [Mitwirkende:r]; Bastide, Rémi [Mitwirkende:r]

    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 [Verfasser:in] ; Rennes 1 [Mitwirkende:r]; Jéron, Thierry [Mitwirkende:r]

    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