Connexion utilisateur
Accueil | Olivier H. Roux
  • strict warning: Non-static method view::load() should not be called statically in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/views.module on line 1118.
  • strict warning: Declaration of views_handler_field::query() should be compatible with views_handler::query($group_by = false) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_field.inc on line 1148.
  • strict warning: Declaration of views_handler_argument::options_validate() should be compatible with views_handler::options_validate($form, &$form_state) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_argument.inc on line 917.
  • strict warning: Declaration of views_handler_argument::query() should be compatible with views_handler::query($group_by = false) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_argument.inc on line 917.
  • strict warning: Declaration of views_handler_sort::options_validate() should be compatible with views_handler::options_validate($form, &$form_state) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_sort.inc on line 165.
  • strict warning: Declaration of views_handler_sort::options_submit() should be compatible with views_handler::options_submit($form, &$form_state) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_sort.inc on line 165.
  • strict warning: Declaration of views_handler_sort::query() should be compatible with views_handler::query($group_by = false) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_sort.inc on line 165.
  • strict warning: Declaration of views_handler_filter::options_validate() should be compatible with views_handler::options_validate($form, &$form_state) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_filter.inc on line 599.
  • strict warning: Declaration of views_handler_filter::query() should be compatible with views_handler::query($group_by = false) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_filter.inc on line 599.
  • strict warning: Declaration of views_plugin_query::options_submit() should be compatible with views_plugin::options_submit($form, &$form_state) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/plugins/views_plugin_query.inc on line 181.
  • strict warning: Declaration of views_plugin_row::options_validate() should be compatible with views_plugin::options_validate(&$form, &$form_state) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/plugins/views_plugin_row.inc on line 136.
  • user warning: You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near 'FROM drupal_twitter twitter WHERE .uid = 4 ) count_alias' at line 2 query: SELECT COUNT(*) FROM (SELECT FROM drupal_twitter twitter WHERE .uid = 4 ) count_alias in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/plugins/views_plugin_pager.inc on line 141.
  • user warning: You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near 'FROM drupal_twitter twitter WHERE .uid = 4 LIMIT 0, 10' at line 2 query: SELECT FROM drupal_twitter twitter WHERE .uid = 4 LIMIT 0, 10 in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/plugins/views_plugin_query_default.inc on line 1191.

Olivier H. Roux

Professeur - Ecole Centrale de Nantes

Laboratoire IRCCyN (UMR CNRS 6597).

no-spam.olivier-h.roux@irccyn.ec-nantes.fr - Tél : (+33) 2 40 37 69 76

Page web : http://www.irccyn.ec-nantes.fr/~olivier

Thèmes de recherche

  • Vérification et contrôle d'applications temps réel embarquées.
  • Expressivité, model-checking et contrôle des réseaux de Petri :
    • temporels,
    • paramétriques,
    • à chronomètres.

Publications

http://www.irccyn.ec-nantes.fr/~olivier/publications.html