|
||
---|---|---|
hal-00677183v1
Article dans une revue
L'IDM, un levier pour l'intégration d'outils : l'approche iFEST Génie logiciel, C & S, 2011, pp.10-15 |
||
hal-00518661v1
Article dans une revue
Robust Speech/Non-Speech Detection based on LDA-derived parameter and voicing parameter for Speech Recognition in Noisy Environments Speech Communication, Elsevier : North-Holland, 2006, pp.Non renseigne |
||
hal-01716143v1
Article dans une revue
Distributed algorithm to fight the state explosion problem INDERSCIENCE International Journal of Internet Technology and Secured Transactions., Inderscience Enterprises, 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩ |
||
hal-02303242v1
Article dans une revue
Finding the polygon hull of a network without conditions on the starting vertex Transactions on emerging telecommunications technologies, Wiley-Blackwell, In press, pp.e3696. ⟨10.1002/ett.3696⟩ |
||
hal-00518532v1
Article dans une revue
Hypercycles and dissimilarities Journal of Classification, Springer Verlag, 2009, pp.Non renseigne |
||
hal-00518771v1
Article dans une revue
Scattering Near a Plane Interface Using a Generalized Method of Images Approach Journal of Computational Acoustics, World Scientific Publishing, 2004, pp.Non renseigne |
||
hal-00518509v1
Article dans une revue
HFSW Radar model: Simulation and measurement IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2010, 48 (9), pp.3539-3549 |
||
inria-00261891v1
Communication dans un congrès
Model-free control of shape memory alloys antagonistic actuators 17th IFAC World Congress, Jul 2008, Seoul, South Korea. pp.CDROM |
||
inria-00424933v2
Communication dans un congrès
A new control strategy for shape memory alloys actuators 8th European Symposium on Martensitic Transformations, Sep 2009, Prague, Czech Republic. pp.CDROM |
||
inria-00563941v1
Article dans une revue
Experimental comparison of classical pid and model-free control: position control of a shape memory alloy active spring Control Engineering Practice, Elsevier, 2011, 19 (5), pp.433-441. ⟨10.1016/j.conengprac.2011.01.005⟩ |
||
hal-01192720v1
Communication dans un congrès
Role Framework to Support Collaborative Virtual Prototyping of System of Systems WETICE 2015, IEEE, Jun 2015, Larnaca, Cyprus |
||
hal-00771748v1
Communication dans un congrès
Relationships in Variability Modeling Approaches: A Survey and Classification 5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France |
||
hal-01206069v1
Communication dans un congrès
SWARMON—Real-Time Localization System International Robotic Sailing Conference, Aug 2015, Åland, Finland. ⟨10.1007/978-3-319-23335-2⟩ |
||
hal-01203701v1
Communication dans un congrès
Context-Aware Verification of a Cruise-Control System MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩ |
||
hal-01206522v1
Communication dans un congrès
Approche pour la Vérification Formelle de Propriétés : Application au Développement Industriel de Logiciels Embarqués JDIM’14, Jun 2014, Mostaganem, Algeria |
||
hal-01206527v1
Communication dans un congrès
Formal Validation with Model-Checking Techniques ICNTC'2012, Dec 2012, Chlef, Algérie |
||
hal-00777127v1
Communication dans un congrès
Subpixel image registration for coherent change detection between two high resolution sonar passes ICoURS'12, Oct 2012, Brest, France |
||
hal-00771758v1
Communication dans un congrès
From system-level models to heterogeneous embedded systems RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX |
||
hal-01864787v1
Communication dans un congrès
Model-checking for Secured Component Implementation. 17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States |
||
hal-01864790v1
Communication dans un congrès
Secure Communication Protocol: Application to Large Number of Distributed Sensors 17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States |
||
hal-01864805v1
Communication dans un congrès
Validation formelle d’architecture logicielle basée sur des patrons de sécurité 17e journées AFADL 2018, Approches Formelles dans l’Assistance au Développement de Logiciel, Jun 2018, Grenoble, France |
||
hal-01864825v1
Communication dans un congrès
An Automated Transformation Approach for Requirement Specification Conf ITQM’16, Aug 2016, Séoul, South Korea |
||
hal-01867638v1
Communication dans un congrès
An Integrated Toolchain for Overlay-centric System-on-chip 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip 2018 (ReCoSoC 2018), Jul 2018, Lille, France. ⟨10.1109/ReCoSoC.2018.8449388⟩ |
||
hal-01867767v1
Communication dans un congrès
CTMC modeling for M2M/H2H coexistence in a NB-IoT Adaptive eNodeB 11th IEEE International Conference on Internet of Things (iThings-2018), Jul 2018, Halifax, Canada |
||
hal-00517466v1
Communication dans un congrès
A Definition of Abstraction Level for Metamodels 7th IEEE Workshop on Model-Based Development for Computer Based systems, 2009, San Francisco, United States. ⟨10.1109/ECBS.2009.41⟩ |
||
tel-01505280v2
Thèse
Conception d'un algorithme de coordination hybride de groupes de robots sous-marins communicants. Application : acquisition optique systématique et détaillée des fonds marins Système multi-agents [cs.MA]. Université de Bretagne occidentale - Brest, 2016. Français. ⟨NNT : 2016BRES0052⟩ |
||
hal-02303250v1
Communication dans un congrès
Temperature-based models of batteries for the simulation of Wireless Sensor Networks 3rd International Conferenceon on Future Networks and Distributed Systems, Jul 2019, Paris, France. pp.1-6, ⟨10.1145/3341325.3342013⟩ |
||
hal-02439264v1
Communication dans un congrès
Hardware Architecture for a Bit-Serial Odd-Even Transposition Sort Network with On-The-Fly Compare and Swap 7th International Workshop Applications in Electronics Pervading Industry, Environment & Society (ApplePies 2019), Sep 2019, Pisa, Italy |
||
hal-00541450v1
Communication dans un congrès
FPGA development with UML/MDA Workshop CEPA2, 2005, Bruxelles, Belgium. pp.Non renseigné |
||
hal-02441878v1
Communication dans un congrès
Automatic Verification of BPMN Models 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France |
||
|