Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-01716143v1  Article dans une revue
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. 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-02289669v1  Communication dans un congrès
Ethel Djeumen, Quentin Sourisseau, Sylvain Chataigner, Romain Creac'hcadec, Marie-Odette Quemere et al.  Creep investigations on steel fasteners adhesively bonded to steel plates
24è Congrès Français de Mécanique, CFM 2019, Aug 2019, BREST, France. 15p
...
hal-00771758v1  Communication dans un congrès
Jean-Christophe Le Lann, Joël Champeau, Papa Issa Diallo, Pierre-Laurent Lagalaye. 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-02493830v1  Communication dans un congrès
Imane Zergout, Souad Ajana, Soumia Bakkali, Catherine Adam. Systemic approach to address complexity in the training of engineers in innovation and creativity: Modelling process of implementing innovative projects
47th SEFI Annual Conference 2019 - Varietas Delectat: Complexity is the New Normality, Sep 2019, Budapest, Hungary. pp. 1296-1306
...
hal-02493873v1  Communication dans un congrès
Libor Navratil, Louis Leveuf, Vincent Le Saux, Yann Marco, J. Olhagaray et al.  A model to describe the cyclic anisotropic mechanical behavior of short fiber-reinforced thermoplastics
24e Congrès Français de Mécanique, Aug 2019, Brest, France
...
hal-02270373v2  Pré-publication, Document de travail
Romain Hascoet, Nicolas Jacques, Yves-Marie Scolan, Alan Tassin. A two-dimensional analytical model of vertical water entry for asymmetric bodies with flow separation
2019
hal-01867365v1  Communication dans un congrès
Honglei Zheng, Ali Khenchaf, Yunhua Wang, Helmi Ghanmi, Chaofang Zhao. Estimation of NRCS of Oil-free and Oil-covered Marine Surfaces in L-band. Assessment with UAVSAR data
International Conference on Radar 2018, Aug 2018, Brisbane, Australia
hal-01867385v1  Communication dans un congrès
Honglei Zheng, Ali Khenchaf, Helmi Ghanmi, Yunhua Wang, Chaofang Zhao. Normalized radar cross sections of sea surface estimated using asymptotic and semi-empirical methods in C band
International Geoscience and Remote Sensing Symposium 2018 (IGARSS 2018), Jul 2018, Valencia, Spain
hal-01867225v1  Communication dans un congrès
Helmi Ghanmi, Ali Khenchaf, P. Pouliguen, P.O. Leye. RCS of Radar Targets using Gaussian Beam Summation Method. Experimental Evaluation
19th International Radar Symposium (IRS), Jun 2018, Bonn, Germany. ⟨10.23919/IRS.2018.8448088⟩
hal-02434619v1  Communication dans un congrès
Ngoc Tan Truong, Ali Khenchaf, Fabrice Comblet. Estimating Ambiguity and Using Model Weight To Improve the Positioning Accuracy of a Stand-alone Receiver
13th European Conference on Antennas and Propagation, EuCAP 2019, Mar 2019, Krakow, Poland. pp.8739397
hal-02433746v1  Communication dans un congrès
Marwa Ibrahim, H. Harb, A. Nasser, Ali Mansour, Christophe Osswald. Adaptive Strategy and Decision Making Model for Sensing-Based Network Applications
19th International Symposium on Communications and Information Technologies, ISCIT 2019, 2019, Ho Chi Minh, Vietnam. pp.96-101, ⟨10.1109/ISCIT.2019.8905211⟩
...
hal-01710686v1  Communication dans un congrès
Rémy Balze, Nedeleg Bigi, Kostia Roncin, Jean-Baptiste Leroux, Alain Nême et al.  An innovative tool to study and optimize racing yacht appendages using fluid structure interactions
VII International Conference on Computational Methods in Marine Engineering, May 2017, Nantes, France. pp.616-624
...
hal-02441878v1  Communication dans un congrès
Mihal Brumbulli, Emmanuel Gaudin, Ciprian Teodorov. Automatic Verification of BPMN Models
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
hal-00517282v1  Article dans une revue
Philippe Dhaussy, Frédéric Boniol. Mise en oeuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2007, 12 (5), pp.133-157. ⟨10.3166/isi.12.5.133-157⟩
hal-03104224v1  Article dans une revue
Viet-Dung Nguyen, Huy Phan, Ali Mansour, Arnaud Coatanhay, Thierry Marsault. On the proof of recursive Vogler algorithm for multiple knife-edge diffraction
IEEE Transactions on Antennas and Propagation, Institute of Electrical and Electronics Engineers, In press, pp.1-1. ⟨10.1109/TAP.2020.3037748⟩
hal-01373317v1  Article dans une revue
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. A Parallel Algorithm for the State Space Exploration
Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
hal-01298623v1  Article dans une revue
Amel Benabbou, Safia Nait Bahloul, Dhaussy Philippe. Context-aware approach for formal verification
EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩
hal-00862488v1  Chapitre d'ouvrage
Frédéric Boniol, Philippe Dhaussy, Luka Le Roux, Jean-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-01326351v1  Article dans une revue
Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki. TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION
Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031
...
hal-00471931v1  Communication dans un congrès
Amine Raji, Philippe Dhaussy. USER CONTEXT MODELS : A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS
12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.1
...
hal-02982281v1  Article dans une revue
Sébastien Bonnieux, Dorian Cazau, Sébastien Mosser, Mireille Blay-Fornarino, Yann Hello et al.  MeLa: A Programming Language for a New Multidisciplinary Oceanographic Float
Sensors, MDPI, 2020, 20 (21), pp.6081. ⟨10.3390/s20216081⟩
hal-01090466v1  Chapitre d'ouvrage
Nader Khammassi, Jean-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-00777095v1  Article dans une revue
Imen Jdey, Abdelmalek Toumi, Ali Khenchaf, Mounir Dhibi, M.S Bouhlel. Fuzzy Fusion System for Radar Target Recognition
International Journal of Computer Applications & Information Technology, 2012, 1 (3), pp.136-142