Accéder directement au contenu Accéder directement à la navigation


hal-01716143v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian 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-02303242v1  Article dans une revue
Ahcène BounceurBezoui MadaniMohammad HammoudehLoïc LagadecReinhardt Euler. 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-01194766v1  Communication dans un congrès
Benoit ClementDominique MonnetJordan Ninin. $H_\infty$ control synthesis under structural constraints based on Global Optimization
13thEUROPT Workshop on Advances in Continuous Optimization, Jul 2015, Edinburgh, United Kingdom
hal-00771748v1  Communication dans un congrès
Stephen CreffJoël Champeau. 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
Bourdon BenoitDescours QuentinDrouot BastienOlivier ReynetThibault Viravau. SWARMON—Real-Time Localization System
International Robotic Sailing Conference, Aug 2015, Åland, Finland. ⟨10.1007/978-3-319-23335-2⟩
hal-01206527v1  Communication dans un congrès
Philippe Dhaussy. Formal Validation with Model-Checking Techniques
ICNTC'2012, Dec 2012, Chlef, Algérie
...
hal-01194742v1  Communication dans un congrès
Jordan NininGilles Chabert. Global Optimization based on Contractor Programming
XII GLOBAL OPTIMIZATION WORKSHOP, Sep 2014, Malaga, Spain. pp.77-80
...
hal-00349542v1  Communication dans un congrès
Cedric CornuCornel IoanaAndré QuinquisSrdjan Stankovic. Time-Frequency Characterization using Instantaneous Moment Concept: Theory and Applications
IEEE International Symposium on Industrial Electronics, Jul 2006, Montreal, Canada. pp.559-564, ⟨10.1109/ISIE.2006.295519⟩
hal-01194756v1  Communication dans un congrès
Jordan NininDominique MonnetBenoit Clement. Global Optimization based on Contractor Programming
8th Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
hal-01194764v1  Communication dans un congrès
Jordan Ninin. Continuous Global Optimization based on Contractor Programming
27th Europeen Conference on Operational Research, Jul 2015, Glasgow, United Kingdom
...
hal-00771758v1  Communication dans un congrès
Jean-Christophe Le LannJoël ChampeauPapa Issa DialloPierre-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-02902490v1  Communication dans un congrès
Thomas Paviet-SalomonClément DorfferJulien BonnelBarbara NicolasThierry Chonavel et al.  Dispersive Grid-free Orthogonal Matching Pursuit for Modal Estimation in Ocean Acoustics
ICASSP 2020 : IEEE International Conference on Acoustics, Speech and Signal Processing, May 2020, Barcelona, Spain. pp.4602-4606, ⟨10.1109/ICASSP40776.2020.9054365⟩
hal-01864787v1  Communication dans un congrès
Obeid FadiPhilippe Dhaussy. 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
Obeid FadiPhilippe Dhaussy. 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
Obeid FadiPhilippe Dhaussy. 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
Amel BenabbouSafia Nait BahloulPhilippe Dhaussy. An Automated Transformation Approach for Requirement Specification
Conf ITQM’16, Aug 2016, Séoul, South Korea
hal-01867638v1  Communication dans un congrès
Jean-Christophe Le LannThéotime BollengierMohamad NajemLoïc Lagadec. 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
Ahmad Hani El FawalAli MansourM. NajemFrederic Le RoyDenis Le Jeune. 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-01867840v1  Communication dans un congrès
Azza MahdyKoffi Clement YaoAli MansourRoland Gautier. Autospectrum Approach for Spectrum Sensing in Cognitive Radio
15th International symposium on wireless communication systems 2018 (ISWCS 2018), Aug 2018, Lisbonne, Portugal
...
hal-00517466v1  Communication dans un congrès
Martin MonperrusAntoine BeugnardJoël Champeau. 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⟩
hal-00877445v1  Communication dans un congrès
Cedric GervaiseAmélie BarazzuttiFlorian DadouchiCornel IoanaYann Stéphan. A new scheme to estimate the nature of superficial sediment with dolphin whistles
4th international conference and exhibition on Underwater Acoustic Measurements: Technologies and Results (UAM 2011), Jun 2011, Kos, Greece. p425
hal-00875381v1  Article dans une revue
Julien BonnelGrégoire Le TouzéBarbara NicolasJerome Mars. Physics-Based Time-Frequency Representations for Underwater Acoustics
IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers, 2013, 30 (6), pp.120-129. ⟨10.1109/MSP.2013.2267651⟩