 |
|
|
||
|---|---|---|
| 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-01236736v1
Brevet
FILTRE RECONFIGURABLE, COMMUTABLE ET DESACTIVABLE France, Patent n° : FR3018969. 2015 |
||
| 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-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-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-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-01255219v1
Brevet
METHOD FOR CONTROLLING A SET OF ROBOTS, AND SET OF ROBOTS United States, Patent n° : US20150331421. 2015 |
||
| 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-02565053v1
Chapitre d'ouvrage
Decision-Making and Artificial Intelligence: From Technical Mechanisms to Legal Concepts Marie-Eve Arbour; Lara Khoury. Concilier la sécurité des produits et la responsabilité civile à l'ère du risque et de l'incertitude, Éditions Yvon Blais, 2019, 9782897305543 |
||
| hal-00843139v1
Chapitre d'ouvrage
Model-Based Analysis Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013 |
||
| 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-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-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⟩ |
||
|
|
||