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-01936710v1  Communication dans un congrès
D. BaoR. YangM. LiBenoit ClementAli Mansour. Hardware-in-the-Loop Simulation Applied to AUV Control
Chinese Automation Congress, (CAC 2018), Nov 2018, Xi'an, China
hal-01936730v1  Article dans une revue
Amel BenabbouSafia Nait BahloulPhilippe Dhaussy. Precise use cases in a context-aware model-checking approach
International Journal of Critical Computer-Based Systems, Inderscience, 2018, 8 (3/4), ⟨10.1504/IJCCBS.2018.10017704⟩
...
tel-02366284v1  Thèse
Thibaud Berthomier. Identification et caractérisation du thrombus veineux par imagerie échographique mode B couplée à l’élastographie
Traitement du signal et de l'image [eess.SP]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. Français. ⟨NNT : 2018ENTA0007⟩
hal-01802247v1  Communication dans un congrès
Valentin BesnardMatthias BrunFrédéric JouaultCiprian TeodorovPhilippe Dhaussy. Embedded UML Model Execution to Bridge the Gap Between Design and Runtime
MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
hal-01887948v1  Communication dans un congrès
Valentin BesnardMatthias BrunFrédéric JouaultCiprian TeodorovPhilippe Dhaussy. Unified LTL Verification and Embedded Execution of UML Models
21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
...
tel-02319236v1  Thèse
Théotime Bollengier. Du prototypage à l’exploitation d’overlays FPGA
Systèmes embarqués. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. Français. ⟨NNT : 2018ENTA0003⟩
...
hal-01829251v1  Communication dans un congrès
Ahcène BounceurMadani BezouiLoïc LagadecReinhardt EulerAbdelkader Laouid et al.  DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks
4th International Conference on Mobile, Secure and Programmable Networking (MSPN 2018), Jun 2018, Paris, France. pp.42-53
...
hal-01804280v1  Communication dans un congrès
Ahcène BounceurMadani BezouiMassinissa LounisReinhardt EulerCiprian Teodorov. A new dominating tree routing algorithm for efficient leader election in IoT networks
15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩
...
hal-01829227v1  Communication dans un congrès
Ahcène BounceurMadani BezouiLoïc LagadecReinhardt EulerAbdelkader Laouid et al.  Detecting Gaps and Voids in WSNs and IoT Networks: the Minimum x-Coordinate based Method
International Conference on Future Networks and Distr buted Systems (ICFNDS), Jun 2018, Amman, Jordan. ⟨10.1145/3231053.3231090⟩
...
hal-01977996v1  Communication dans un congrès
Jean-Christophe CexusAli Khenchaf. 2D Teager-Kaiser Energy Operator for the translation motion compensation in ISAR signatures
9th International Symposium on Signal, Image, Video and Communications - ISIVC'2018, Nov 2018, Rabat, Morocco
...
tel-02365087v1  Thèse
Benoît Desrochers. Simultaneous localization and mapping in unstructured environments : a set-membership approach
Robotics [cs.RO]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. English. ⟨NNT : 2018ENTA0006⟩
...
hal-01580604v2  Article dans une revue
Clément DorfferMatthieu PuigtGilles DelmaireGilles Roussel. Informed Nonnegative Matrix Factorization Methods for Mobile Sensor Network Calibration
IEEE transactions on Signal and Information Processing over Networks, IEEE, 2018, 4 (4), pp.667-682. ⟨10.1109/TSIPN.2018.2811962⟩
...
tel-02374816v1  Thèse
Ahmad Hani El Fawal. Machine-to-machine communication congestion mechanism
Networking and Internet Architecture [cs.NI]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. English. ⟨NNT : 2018ENTA0010⟩
...
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-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-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
...
tel-02337138v1  Thèse
Cyrielle Feron. PAnTHErS : un outil d’aide pour l’analyse et l’exploration d’algorithmes de chiffrement homomorphe
Cryptographie et sécurité [cs.CR]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. Français. ⟨NNT : 2018ENTA0004⟩
...
hal-01757093v1  Communication dans un congrès
Cyrielle FeronVianney LapotreLoïc Lagadec. Fast Evaluation of Homomorphic Encryption Schemes Based on Ring-LWE
2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Feb 2018, Paris, France. ⟨10.1109/NTMS.2018.8328693⟩
...
hal-01867913v1  Rapport
Cyrielle Feron. PAnTHErS: User Guide
[Technical Report] ENSTA Bretagne; Lab-STICC. 2018
hal-01804797v1  Communication dans un congrès
Guilherme Schvarcz FrancoFabrice Le Bars. Robust polygon-based localization
2018 IEEE International Conference on Industrial Technology (ICIT), Feb 2018, Lyon, France. pp.304-309, ⟨10.1109/ICIT.2018.8352194⟩
hal-01394059v1  Article dans une revue
Cédric HerzetAngélique DrémeauPatrick Héas. Model Reduction from Partial Observations
International Journal for Numerical Methods in Engineering, Wiley, 2018, 113 (3), pp.479-511. ⟨10.1002/nme.5623⟩