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


hal-00635594v1  Communication dans un congrès
Papa Issa DialloJoël ChampeauVincent Leilde. Model Based Engineering for the support of Models of Computation: The Cometa Approach
International Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
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-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-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-00670420v1  Communication dans un congrès
Marie LudwigNicolas FarcetJean-Philippe BabauJoël Champeau. Organizational Configurations in Executable Enterprise Architecture Models
poster session of Complex Systems Design and Management 2011, Dec 2011, Paris, France
hal-00676423v1  Chapitre d'ouvrage
Philippe DhaussyJean-Charles RogerFrédéric Boniol. Context Aware Model-Checking for Embedded Software
Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012
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-00678285v1  Article dans une revue
Othmane BenhmammouchAli KhenchafNatacha Caouren. Modelling roughness effects on propagation of electromagnetic waves in a maritime environment: a hybrid approach
IET Radar Sonar and Navigation, Institution of Engineering and Technology, 2011, 5 (9), pp.1018-1025. ⟨10.1049/iet-rsn.2009.0078⟩
hal-00684402v1  Article dans une revue
Dominique PastorFrançois-Xavier Socheleau. Robust Estimation of Noise Standard Deviation in Presence of Signals with Unknown Distributions and Occurrences
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2012, 60 (4), pp.1545-1555. ⟨10.1109/TSP.2012.2184534⟩
hal-00690412v1  Article dans une revue
Cedric GervaiseBazile G. KindaJulien BonnelYann StephanSimon Vallez. Passive geoacoustic inversion with a single hydrophone using broadband ship noise
Journal of the Acoustical Society of America, Acoustical Society of America, 2012, 131 (3), pp.1999-2010. ⟨10.1121/1.3672688⟩
hal-00726481v1  Communication dans un congrès
Youenn CorreJean-Philippe DiguetDominique HellerLoïc Lagadec. A framework for high-level synthesis of heterogeneous MP-SoC
GLSVLSI, May 2012, Salt Lake City, United States. pp.283-286, ⟨10.1145/2206781.2206850⟩
hal-00746058v1  Communication dans un congrès
Luc Jaulin. Interval analysis and robotics
SCAN 2012, Sep 2012, France. pp.66
hal-00773530v1  Article dans une revue
Clément AubryRozenn DesmareLuc Jaulin. Loop detection of mobile robots using interval analysis
Automatica, Elsevier, 2013, 49 (2), pp.463-470
hal-00773673v1  Article dans une revue
Isabelle QuiduLuc JaulinAlain BertholomYann Dupas. Robust Multitarget Tracking in Forward-Looking Sonar Image Sequences Using Navigational Data
IEEE Journal of Oceanic Engineering, Institute of Electrical and Electronics Engineers, 2012, 37 (3), pp.417 - 430. ⟨10.1109/JOE.2012.2190572⟩
hal-00777095v1  Article dans une revue
Imen JdeyAbdelmalek ToumiAli KhenchafMounir DhibiM.S Bouhlel. Fuzzy Fusion System for Radar Target Recognition
International Journal of Computer Applications & Information Technology, 2012, 1 (3), pp.136-142