Skip to Main content Skip to Navigation
New interface


hal-01326533v1  Book sections
Luc JaulinLopez DanielDoze Vincent LeMenec Stéphane LeNinin Jordan et al.  Computing capture tubes
Scientific Computing, Computer Arithmetic, and Validated Numerics, 9553, Springer, pp.209-224, 2016, 978-3-319-31768-7. ⟨10.1007/978-3-319-31769-4_17⟩
hal-03752031v1  Book sections
Gabin FodopAurélien OlivierClément HoffmannAli MansourSandrine Jousse-Joulin et al.  Siamese Network for Salivary Glands Segmentation
Intelligent Decision Technologies, 309, Springer Nature Singapore, pp.449-457, 2022, Smart Innovation, Systems and Technologies, ⟨10.1007/978-981-19-3444-5_39⟩
hal-00517288v1  Book sections
Joël ChampeauPhilippe DhaussyFrançois MekerkeJean-Charles Roger. Model Management for Formal Validation
Summer School MDD4DRES, Hermes, pp.149-174, 2006
hal-01867601v1  Book sections
Luc JaulinN.R. MahatoS. Chakraverty. Fuzzy Matrix Contractor Based Approach for Localization of Robots
Recent Advances in Applications of Computational and Fuzzy Mathematics, Springer, 2018, 978-981-13-1152-9
hal-02515359v1  Book sections
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Proposed Algorithms to the State Explosion Problem
Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩
hal-02304760v1  Book sections
Ahmad Hani El FawalAli MansourMohamad Najem. V2V Influence on M2M and H2H Traffics During Emergency Scenarios
Global Advancements in Connected and Intelligent Mobility: Emerging Research and Opportunities, IGI Global, pp.93-134, 2019, 9781522590194. ⟨10.4018/978-1-5225-9019-4.ch003⟩
hal-01465960v1  Book sections
Abbass NasserAli MansourKoffi Clément YaoH. Abdallah. Spectrum Sensing for Half and Full-Duplex Cognitive Radio
Matin Mohammad. Spectrum Access and Management for Cognitive Radio Networks, Springer, pp.15-50, 2017, 978-981-10-2253-1. ⟨10.1007/978-981-10-2254-8_2⟩
hal-00843139v1  Book sections
Frederic BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Model-Based Analysis
Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
hal-01707397v1  Book sections
Khadimoullah VencatasamyLuc JaulinBenoit Zerr. Secure a Zone from Intruders with a Group Robots
Luc Jaulin. Marine Robotics and Applications, Springer, pp.101-116, 2018, 978-3-319-70723-5. ⟨10.1007/978-3-319-70724-2_7⟩
hal-01171054v1  Book sections
Dambreville Frédéric. Optimizing a Sensor Deployment with Network Constraints Computable by Costly Requests
Ngoc Thanh Nguyen, Tao Pham Dinh, Hoai An Le Thi. Modelling, Computation and Optimization in Information Systems and Management Sciences, 360, Springer, pp.247-259, 2015, 978-3-319-18166-0. ⟨10.1007/978-3-319-18167-7_22⟩
hal-01833557v1  Book sections
Frédéric PlumetYves BriereFabrice Le Bars. Les voiliers robotisés
Conception, modélisation et commande en robotique, s7815, Techniques de l'ingénieur, pp.1-23, 2018
hal-01271156v1  Book sections
Ion George TodoranLaurent LecornuAli KhenchafJean-Marc Le Caillec. Fusion Systems Evaluation: An information Quality Perspective
Multisensor data fusion : from algorithms and architectural design to applications, CRC Press, pp.147 - 156, 2015, Devices, Circuits, and Systems, 978-1-48-226374-9
hal-01139253v1  Book sections
Frédéric Dambreville. Planning Sensors with Cost-Restricted Subprocess Calls: A Rare-Event Simulation Approach
Springer. Advanced Computational Methods for Knowledge Engineering, Studies in Computational Intelligence (479), pp.91-104, 2013, Advanced Computational Methods for Knowledge Engineering, ⟨10.1007/978-3-319-00293-4⟩
hal-01936602v1  Book sections
Mohamed AbazaRaed MeslehAli MansourEl-Hadi M. Aggoune. Cooperative MIMO and multi-hop relaying techniques for free-space optical communications: a survey
Advanced Secure Optical Image Processing for Communications, IOP, pp.3.1-3.19, 2018, 978-0-7503-1455-8
hal-01090466v1  Book sections
Nader KhammassiJean-Christophe Le Lann. XPU: A C++ Metaprogramming Approach to Ease Parallelism Expression: Parallelization Methodology, Internal Design and Practical Application
Parallel Programming: Practical Aspects, Models and Current Limitations, NOVA publishers, pp.175-198, 2014, 978-1-60741-263-2
hal-00862488v1  Book sections
Frédéric BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Analyse à partir du modèle
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
hal-00676041v1  Book sections
Luc Jaulin. Probabilistic set-membership state estimator
Mathematical Engineering, Springer-Verlag, Vol 3 p. 117-128, 2011, ⟨10.1007/978-3-642-15956-5⟩
hal-00517473v1  Book sections
Denis AulagnierVéronique Le GallJoël Champeau. Synthèse d'architecture reconfigurable dans un contexte MDA
Synthèse d'architecture reconfigurable dans un contexte MDA, Non renseigne, pp.Non renseigne, 2004
hal-00862485v1  Book sections
Jérôme DelatourJoël Champeau. Modélisation de l'étude de cas avec MARTE
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
hal-00635969v1  Book sections
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-00676423v1  Book sections
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-01158161v1  Book sections
Francis CélesteFrédéric Dambreville. Optimal Path Planning for Information based Localization
Advanced Computational Methods for Knowledge Engineering, 282, Springer, pp.377-388, 2014, Advanced Computational Methods for Knowledge Engineering, 978-3-319-06568-7. ⟨10.1007/978-3-319-06569-4_28⟩
hal-00821955v1  Book sections
Jérôme DelatourJoël Champeau. Case Study Modeling Using MARTE
Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013