Zum Inhalt springen

  1. Ben Rayana - Tekaya, Souha [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Bensalem, Saddek [MitwirkendeR]; Bozga, Marius [MitwirkendeR]

    Compositional verification of component-based real-time systems and applications ; Vérification compositionnelle des systèmes temps-réel à base de composants et applications

    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

  2. Lauer, Michaël [VerfasserIn] ; Toulouse, INPT [MitwirkendeR]; Boniol, Frédéric [MitwirkendeR]; Ermont, Jérôme [MitwirkendeR]

    Une méthode globale pour la vérification d’exigences temps réel : application à l’avionique modulaire intégrée ; A comprehensive method for the verification of real-time requirements : application to integrated modular avionics

    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-06-12

  3. Le Berre, Tanguy [VerfasserIn] ; Toulouse, INPT [MitwirkendeR]; Padiou, Gérard [MitwirkendeR]; Quéinnec, Philippe [MitwirkendeR]

    Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles ; Formal specification of distributed real time systems using an approach based on temporally constrained data flows

    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, 2010-03-23

  4. Ge, Ning [VerfasserIn] ; Toulouse, INPT [MitwirkendeR]; Pantel, Marc [MitwirkendeR]; Aït-Ameur, Yamine [MitwirkendeR]

    Property driven verification framework : application to real time property for UML MARTE software design ; Les outils de vérification dédiés à partir des familles de propriétés : une application aux propriétés temps réel pour les modèles UML-MARTE

    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-05-13

  5. Mzid, Rania [VerfasserIn] ; Brest [MitwirkendeR]; École nationale d'ingénieurs de Sfax (Tunisie) [MitwirkendeR]; Babau, Jean-Philippe [MitwirkendeR]; Abid, Mohamed [MitwirkendeR]

    Rétro-ingénierie des plateformes pour le déploiement des applications temps-réel ; Reverse-engineering of platforms for the deployment of real-time applications

    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-05-12

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

  7. Cohen, Raphaël P. [VerfasserIn] ; Toulouse, ISAE [MitwirkendeR]; Georgia institute of technology [MitwirkendeR]; Garoche, Pierre-Loïc [MitwirkendeR]; Feron, Eric [MitwirkendeR]

    Formal Verification and Validation of Convex Optimization Algorithms For model Predictive Control ; Vérification formelle et validation des algorithmes d'optimisation convexe appliqués à la commande prédictive

    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-12-03

  8. Foughali, Mohammed [VerfasserIn] ; Toulouse, INSA [MitwirkendeR]; Ghallab, Malik [MitwirkendeR]; Ingrand, Félix [MitwirkendeR]

    Vérification Formelle des Modules Fonctionnels de Systèmes Robotiques et Autonomes ; Formal verification of the functionnal layer of robotic and autonomous systems

    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-12-17

  9. Siron, Fabien [VerfasserIn] ; Université Côte d'Azur [MitwirkendeR]; Potop-Butucaru, Dumitru [MitwirkendeR]; Simone, Robert de [MitwirkendeR]

    Méthodologie de vérification formelle de propriétés temporelles pour les applications temps-réel critiques basées sur le concept de temps logique ; Methodology for the formal verification of temporal properties for real-time safety-critical applications based on logical time

    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-12-11

  10. Pinisetty, Srinivas [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Jéron, Thierry [MitwirkendeR]; Marchand, Hervé [MitwirkendeR]

    Enforcement à l'éxécution de propriétés temporisées ; Runtime enforcement of timed properties

    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-01-23

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

  12. Abid, Nouha [VerfasserIn] ; Toulouse, INSA [MitwirkendeR]; Vernadat, François B. [MitwirkendeR]; Dal Zilio, Silvano [MitwirkendeR]; Le botlan, Didier [MitwirkendeR]

    Verification of real time properties in Fiacre language ; Vérification des propriétés temps réel dans le langage Fiacre

    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-12-11

  16. Chadli, Mounir [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Legay, Axel [MitwirkendeR]

    Analyse of real-time systems from scheduling perspective ; Analyse des systèmes temps réel de point de vue ordonnancement

    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-11-21

  17. Binder, Benjamin [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Jan, Mathieu [MitwirkendeR]; Asavoae, Mihail [MitwirkendeR]; Ben Hedia, Belgacem [MitwirkendeR]; Brandner, Florian [MitwirkendeR]

    Definitions and Detection Procedures of Timing Anomalies for the Formal Verification of Predictability in Real-Time Systems ; Définitions et procédures de détection des anomalies temporelles pour la vérification formelle de la prédictibilité des systèmes 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, 2022-12-13

  18. Vassiliev, Pavel [VerfasserIn] ; Paris Est [MitwirkendeR]; Sankt-Peterburgskij gosudarstvennyj universitet [MitwirkendeR]; Beauquier, Danièle [MitwirkendeR]; Soloviev, Igor [MitwirkendeR]

    Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre ; Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time

    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, 2008-11-27

  19. Robert, Thomas [VerfasserIn] ; Toulouse, INPT [MitwirkendeR]; Fabre, Jean-Charles [MitwirkendeR]

    Détection d'erreur au plus tôt dans les systèmes temps-réel : une approche basée sur la vérification en ligne ; Early error detection for real time applications : an approach using runtime verification

    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, 2009-06-26

  20. Peres, Florent [VerfasserIn] ; Toulouse, INSA [MitwirkendeR]; Vernadat, François B. [MitwirkendeR]; Berthomieu, Bernard [MitwirkendeR]

    Réseaux de Petri temporels à inhibitions / permissions : application à la modélisation et vérification de systèmes de tâches temps réel ; Forbid/Allow time Petri nets – Application to the modeling and checking of real time tasks systems

    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, 2010-01-26