Roux, Olivier-Henri (1966-.... ; professeur des universités au sein du Laboratoire des Sciences du Numérique de Nantes (2024))

Roux, Olivier-Henri (1966-.... ; professeur des universités au sein du Laboratoire des Sciences du Numérique de Nantes (2024))

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 066922836

URI de l'entité : http://www.idref.fr/066922836/id

Notice de type Personne

Point d'accès autorisé

Roux, Olivier-Henri (1966-.... ; professeur des universités au sein du Laboratoire des Sciences du Numérique de Nantes (2024))

Sur le web

Variante de point d'accès

Roux, Olivier H.

[Nom de personne]

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : français

Pays : France

Date de naissance : 1966

Genre : Masculin

Notes

Note publique d'information :

Ne pas confondre avec Olivier F. Roux, maître de conférences travaillant aussi au Laboratoire des Sciences du Numérique de Nantes (2024)

Note publique d'information :

Titulaire d'un doctorat en Automatique - Informatique (Nantes, 1985). Travaille à l'École Centrale de Nantes depuis 1997. Travaille au sein du Laboratoire des Sciences du Numérique de Nantes (2024)

Affiliation institutionnelle

Membre de Centrale Nantes (1991-....) (à partir de 2010)

Membre de Laboratoire des Sciences du Numérique de Nantes (à partir de 2010)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/189489438

Identifiant HAL : olivier-roux

Source

CONCURRENCE ET COMMUNICATION DANS LE LANGAGE REACTIF REPARTI ORESTE / OLIVIER H. ROUX [thèse] ; SOUS LA DIRECTION DE JEAN-PIERRE ELLOY

Contribution à la vérification et au contrôle des systèmes temps réel : application aux réseaux de Petri temporels et aux automates temporisés / Guillaume Gardey [thèse] ; Olivier (F.) Roux, directeur de thèse ; Olivier (H.) Roux, co-encadrant

Internet juin 2011

Information trouvée : http://www.irccyn.ec-nantes.fr/~roux/index.html

Vérification d'applications temps réel à l'aide de réseaux de Petri temporels étendus / Didier Lime [thèse] ; sous la dir. de Yvon Trinquet, co-encadrant Olivier H. Roux

aLe test des systèmes temps-réel paramétrés : application à la conception d'architectures avioniques / Armelle Prigent [thèse] sous la direction d'Olivier Roux, co-encadrant Philippe Dhaussy

http://www.irccyn.ec-nantes.fr/~olivier/ (2017-08-24)

Information trouvée : travaux de recherche sur la vérification et le contrôle d'applications temps réel

https://fr.linkedin.com/in/olivier-roux-8b704118, 2024-04-25

Information trouvée : Professeur d'Université chez Ecole Centrale de Nantes

... Références liées : ...