Accéder directement au contenu Accéder directement à la navigation

hal-01203649v1  Communication dans un congrès
Khaoula Es-SalhiSiham Rim BoudaoudCiprian TeodorovZoé DreyVincent Ribaud. KriQL: a query language for the diagnosis of transition systems
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
hal-01236498v1  Communication dans un congrès
Luc Jaulin. Separator Algebra for State Estimation
SMART 2015, Université de Manchester, Sep 2015, Manchester, United Kingdom
hal-01087442v1  Communication dans un congrès
Julien DeantoniPapa Issa DialloCiprian TeodorovJoël ChampeauBenoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
hal-01182607v1  Communication dans un congrès
Benoît DesrochersSimon LacroixLuc Jaulin. Set-Membership Approach to the Kidnapped Robot Problem
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015), Sep 2015, Hamburg, Germany. 9p