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

hal-01698372v1  Article dans une revue
Anthony WelteLuc JaulinMartine CeberioVladik Kreinovich. Computability of the Avoidance Set and of the Set-Valued Identification Problem
Journal of Uncertain Systems, World Academic Press, 2017, 11, pp.129 - 136
hal-01538135v1  Article dans une revue
Jordan NininLaurène Mazeau. La recherche opérationnelle: De quelques enjeux juridiques des mécanismes d'aide à la décision
Lex Electronica, Centre de recherche en droit public, Université de Montréal, 2017, 22, pp.57-79
hal-01405531v1  Article dans une revue
Mohamed Ben HammoudaPhilippe CoussyLoïc Lagadec. A Unified Design Flow to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware Accelerators
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (3), pp.384-397. ⟨10.1109/TCAD.2016.2587278⟩
hal-01657530v1  Communication dans un congrès
Ayoub KarineAbdelmalek ToumiAli KhenchafMohammed El Hassouni. Saliency Attention and SIFT Keypoints Combination for Automatic Target Recognition on MSTAR dataset
3rd International Conference on Advanced Technologies for Signal and Image Processing - ATSIP’2017, Mar 2017, fez Morocco. ⟨10.1109/ATSIP.2017.8075558⟩
hal-01373335v1  Article dans une revue
Ciprian TeodorovPhilippe DhaussyLuka Le Roux. Environment-driven reachability for timed systems
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩
hal-01475251v1  Communication dans un congrès
Théotime BollengierLoïc LagadecMohamad NajemJean-Christophe Le LannPierre Guilloux. Soft timing closure for soft programmable logic cores: The ARGen approach
ARC 2017 - 13th International Symposium on Applied Reconfigurable Computing, Delft University of Technology Apr 2017, Delft, Netherlands
hal-01719919v1  Communication dans un congrès
Ahmad-Hani El-FawalAli MansourFrédéric Le RoyDenis Le JeuneAli Hamié. RACH overload congestion mechanism for M2M communication in LTE-A: issues and approaches
2017 International Symposium on Networks, Computers and Communications (ISNCC), May 2017, Marrakech, Morocco. ⟨10.1109/ISNCC.2017.8071981⟩
tel-01661569v1  Thèse
Xuan Sang Le. software/FPGA co-design for Edge-computing : Promoting object-oriented design
Other [cs.OH]. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0041⟩
hal-01961429v1  Communication dans un congrès
Tobias van BaarselPhilippe RouxBarbara NicolasJerome MarsJulien Bonnel et al.  Dynamic imaging of a gravity wave caused by laser-induced breakdown in a fluid waveguide using acoustic waves
Acoustics '17 173rd Meeting of the Acoustical Society of America and the 8th Forum Acusticum, Jun 2017, Boston, United States. pp.3589-3589
hal-01516228v1  Article dans une revue
Simon RohouLuc JaulinLyudmila MihaylovaFabrice Le BarsSandor Veres. Guaranteed computation of robot trajectories
Robotics and Autonomous Systems, Elsevier, 2017, 93, pp.76 - 84. ⟨10.1016/j.robot.2017.03.020⟩
hal-01623030v1  Communication dans un congrès
Erwan FabianiLoïc LagadecMohamed Ben HammoudaCiprian Teodorov. Asserting causal properties in High Level Synthesis
2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
hal-01595789v1  Communication dans un congrès
Cyrielle FeronVianney LapotreLoïc Lagadec. PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption Schemes
SECRYPT: 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain
hal-01698424v1  Article dans une revue
Benoît DesrochersLuc Jaulin. Thick set inversion
Artificial Intelligence, Elsevier, 2017, 249, pp.1 - 18. ⟨10.1016/j.artint.2017.04.004⟩
hal-01655646v1  Communication dans un congrès
UACE2017 - 4th Underwater Acoustics Conference and Exhibition, Sep 2017, SKIATHOS ISLAND, Greece
hal-01780556v1  Communication dans un congrès
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Using Parallel and Distributed Reachability in Model Checking
Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
hal-01559688v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Diagnosis Framework for Critical Systems Verification
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
hal-01585318v1  Communication dans un congrès
Valentin BesnardMatthias BrunPhilippe DhaussyFrédéric JouaultDavid Olivier et al.  Towards one Model Interpreter for Both Design and Deployment
3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
hal-01698582v1  Communication dans un congrès
Vincent RibaudVincent Leilde. Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project
International Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506
hal-01756186v1  Communication dans un congrès
Vincent LeildeVincent Ribaud. Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project
2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩
tel-03010085v1  Thèse
Simon Rohou. Reliable robot localization: a constraint programming approach over dynamical systems
Robotics [cs.RO]. Lab-STICC; UBO Brest; ENSTA Bretagne; University of Sheffield, 2017. English