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

hal-00840663v1  Communication dans un congrès
Mohamed Abbas TurkiGilles DucBenoit Clement. Multi-Objective Controller Design for a Space Launcher
European Control Conference, Jul 2007, Kos, Greece
hal-00635969v1  Chapitre d'ouvrage
Jean-Philippe BabauPhilippe DhaussyPierre-Yves Pillain. Model integration for formal qualification of timing-aware software data acquisition components
Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010
hal-00635904v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. User context models : a framework to ease software formal verifications
ICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal
hal-00635897v1  Communication dans un congrès
Xavier DumasFrédéric BoniolPhilippe DhaussyEric Bonnafous. Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems
IEEE SIES'10 - Symposium on industrial Embedded Systems, Jul 2010, Trento, Italy
hal-00636026v1  Communication dans un congrès
Fabrice Le BarsAlain BertholomJan SliwkaLuc Jaulin. Interval SLAM for underwater robots; a new experiment
NOLCOS 2010, Sep 2010, France. pp.XX
hal-00635533v1  Communication dans un congrès
Xavier DumasFrédéric BoniolPhilippe DhaussyEric Bonnafous. Application of partial-order methods for the verification of closed-loop SDL systems
SAC'11 - 26th Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. pp.ACM 978-1-4503-0113-8/11/03
hal-00678272v1  Communication dans un congrès
Ali KoudriTeodora PetrisorJoël ChampeauVincent Leilde. Framework for Integrating ESL Tools
PMDE 2011, Jun 2011, United Kingdom
hal-00670414v1  Communication dans un congrès
M. LudwigNicolas FarcetJean-Philippe BabauJoël Champeau. Integrating Design and Runtime Variability Support into a System ADL
7th European Conference Modelling Foundations and Applications ECMFA 2011, Jun 2011, Birmingham, United Kingdom. pp.270-281, ⟨10.1007/978-3-642-21470-7_19⟩
hal-00626514v1  Communication dans un congrès
Sarab TayFrederic MaussangArnaud CoatanhayThierry ChonavelRené Garello. Near sea surface target tracking by extended Kalman filtering of the GPS reflected signals
IEEE Oceans 2011, Jun 2011, Santander, Espagne. pp.978-1-61284-4577-0088-0/11
hal-00663182v1  Communication dans un congrès
Pierre-Yves PillainJoël ChampeauHanh Nhi Tran. Towards an Enactment Mechanism for MODAL Process Models
ECMFA 2011, Jun 2011, United Kingdom
hal-00670288v1  Communication dans un congrès
Virginie JaudJean-Pierre SessaregoCedric GervaiseYann Stephan. Bistatic scattering from an anisotropic rough surface in water tank
4th International Conference on Underwater Acoustics Measurements, Jun 2011, Kos, Greece. pp.809-816
hal-00640407v1  Communication dans un congrès
Richard LeloupFrédéric Le PivertSébastien ThomasGabriel BouvartNicolas Douale et al.  Breizh Spirit, a Reliable Boat for Crossing the Atlantic Ocean
International Robot Sailing Conference, Aug 2011, Lübeck, Germany. pp.55-70, ⟨10.1007/978-3-642-22836-0_4⟩
hal-00636368v1  Article dans une revue
PIER -Progress In Electromagnetics Research, 2011, 111, pp.229-251. ⟨10.2528/PIER10083005⟩