|
||
---|---|---|
hal-01158161v1
Chapitre d'ouvrage
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-00635969v1
Chapitre d'ouvrage
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-02515020v1
Chapitre d'ouvrage
Using Parallel and Distributed Reachability in Model Checking Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩ |
||
hal-02304760v1
Chapitre d'ouvrage
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-00862485v1
Chapitre d'ouvrage
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-00676423v1
Chapitre d'ouvrage
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-00828334v1
Chapitre d'ouvrage
A Column Generation Based Label Correcting Approach for the Sensor Management in an Information Collection Process Nguyen, Ngoc Thanh and Do, Tien and Thi, Hoai An. Advanced Computational Methods for Knowledge Engineering, Springer International Publishing, pp.77-89, 2013, Studies in Computational Intelligence, ⟨10.1007/978-3-319-00293-4_7⟩ |
||
hal-00862488v1
Chapitre d'ouvrage
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-00821955v1
Chapitre d'ouvrage
Case Study Modeling Using MARTE Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013 |
||
hal-00843139v1
Chapitre d'ouvrage
Model-Based Analysis Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013 |
||
hal-01090466v1
Chapitre d'ouvrage
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-01171073v1
Chapitre d'ouvrage
Bi-level Sensor Planning Optimization Process with Calls to Costly Sub-processes Intelligent Information and Database Systems, Springer, 2014, ⟨10.1007/978-3-319-05458-2_40⟩ |
||
hal-01707366v1
Chapitre d'ouvrage
Fast Fourier-Based Block-Matching Algorithm for Sonar Tracks Registration in a Multiresolution Framework Luc Jaulin. Marine Robotics and Applications, Springer, pp.1-14, 2018, 978-3-319-70723-5. ⟨10.1007/978-3-319-70724-2_1⟩ |
||
hal-02501870v1
Chapitre d'ouvrage
DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks Renault É., Boumerdassi S., Bouzefrane S. (eds). Mobile, Secure, and Programmable Networking. MSPN 2018, 11005, Springer, Cham, pp.42-53, 2019, Lecture Notes in Computer Science, 978-3-030-03100-8. ⟨10.1007/978-3-030-03101-5_5⟩ |
||
hal-01271156v1
Chapitre d'ouvrage
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-02515359v1
Chapitre d'ouvrage
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-01936602v1
Chapitre d'ouvrage
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 |
||
inria-00468650v1
Chapitre d'ouvrage
SoC/SoPC development using MDD and MARTE profile Babau, Jean-Philippe and Blay-Fornarino, Mireille and Champeau, Joël and Gèrard, Sèbastien and Robert, Sylvain and Sabetta, Antonino. Model Driven Engineering for Distributed Real-time Embedded Systems, ISTE, 2009 |
||
hal-01575355v1
Chapitre d'ouvrage
Measuring Models Model-Driven Software Development: Integrating Quality Assurance, pp.147-169, 2008, 978-1-60566-006-6. ⟨10.4018/978-1-60566-006-6.ch007⟩ |
||
hal-02520046v1
Chapitre d'ouvrage
Guaranteed Nonlinear Parameter Estimation with Additive Gaussian Noise Olga Kosheleva; Sergey P. Shary; Gang Xiang; Roman Zapatrin. Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications, 835, Springer, pp.341-357, 2020, Studies in Computational Intelligence, 978-3-030-31041-7 (Ebook); 978-3-030-31040-0 (Hardcover). ⟨10.1007/978-3-030-31041-7_19⟩ |
||
hal-01707402v1
Chapitre d'ouvrage
Comparison of Kalman and Interval Approaches for the Simultaneous Localization and Mapping of an Underwater Vehicle Luc Jaulin. Marine Robotics and Applications, Springer, pp.117-136, 2018, 978-3-319-70723-5. ⟨10.1007/978-3-319-70724-2_8⟩ |
||
hal-01867601v1
Chapitre d'ouvrage
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-01707397v1
Chapitre d'ouvrage
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-02924180v1
Chapitre d'ouvrage
Thick Separators Martine Ceberio; Vladik Kreinovich. Decision Making under Constraints, 276, Springer, pp.125-131, 2020, Studies in Systems, Decision and Control, 978-3-030-40813-8. ⟨10.1007/978-3-030-40814-5_15⟩ |
||
hal-01465960v1
Chapitre d'ouvrage
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-01707383v1
Chapitre d'ouvrage
Estimating the Trajectory of Low-Cost Autonomous Robots Using Interval Analysis: Application to the euRathlon Competition Luc Jaulin. Marine Robotics and Applications, Springer, pp.51-68, 2018, 978-3-319-70723-5. ⟨10.1007/978-3-319-70724-2_4⟩ |
||
hal-01833557v1
Chapitre d'ouvrage
Les voiliers robotisés Conception, modélisation et commande en robotique, s7815, Techniques de l'ingénieur, pp.1-23, 2018 |
||
hal-01326533v1
Chapitre d'ouvrage
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-01306701v1
Chapitre d'ouvrage
Global Optimization of Hinfinity Problems: Application to Robust Control Synthesis Under Structural Constraints Mathematical Aspects of Computer and Information Sciences, 2016, 978-3-319-32859-1. ⟨10.1007/978-3-319-32859-1_46⟩ |
||
hal-02924428v1
Chapitre d'ouvrage
Thick sets, multiple-valued mappings, and possibility theory Vladik Kreinovich. Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas, 892, Springer, pp.101-109, 2021, Studies in Computational Intelligence, 978-3-030-45618-4. ⟨10.1007/978-3-030-45619-1_8⟩ |
||
|