Skip to Main content Skip to Navigation
New interface


hal-02515359v1  Book sections
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Proposed Algorithms to the State Explosion Problem
Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩
hal-01153568v1  Conference papers
Chagun Basha Basheer AhmedSébastien PillementLoïc LagadecArnaud Tisserand. Fast Prototyping of a New Reconfigurable Architecture : Toward Tailored Space FPGA
Conférence d’informatique en Parallélisme, Architecture et Système (Compas), Jun 2015, Villeneuve d'Ascq, France. pp.10
hal-02515160v1  Conference papers
Ousmane DialloPhilippe DhaussyCiprian Teodorov. Data Management Mechanisms for Internet of Things: A position paper
CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩
...
hal-02135669v1  Conference papers
Hadi HijaziMarc Le RoyRaafat LababidiDenis Le JeuneAndré Pérennec. Diviseur de Puissance Compact Ultra-Large-Bande 3-40 GHz
21èmes Journées Nationales Microondes, May 2019, Caen, France. pp.1-2
hal-03648191v1  Conference papers
Mira Kaissar AbboudAli KhenchafPhilippe Pouliguen. Gaussian beams formalism for high frequency scattering problems by metallic targets
2021 IEEE Conference on Antenna Measurements & Applications (CAMA), Nov 2021, Antibes Juan-les-Pins, France. pp.109-112, ⟨10.1109/CAMA49227.2021.9703614⟩
hal-02461502v1  Conference papers
Bastien DrouotFahad R. GolraJoël Champeau. A Role Modeling Based Approach for Cyber Threat Analysis
MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.76-100, ⟨10.1007/978-3-030-37873-8_4⟩
...
tel-03419041v1  Theses
Auguste Bourgois. Safe & collaborative autonomous underwater docking : interval methods for proving the feasibility of an underwater docking problem
Robotics [cs.RO]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. English. ⟨NNT : 2021ENTA0002⟩
...
hal-03647680v1  Conference papers
Anne-Laure WozniakSergio SeguraRaúl MazoSarah Leroy. Robustness Testing of a Machine Learning-based Road Object Detection System: An Industrial Case
1st International Workshop on Software Engineering for Responsible Artificial Intelligence (SE4RAI), May 2022, Pittsburgh (virtual), United States. ⟨10.1145/3526073.3527592⟩
hal-01373335v1  Journal articles
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-01623030v1  Conference papers
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-03217672v1  Conference papers
Amina ChikhaouiLaurent LemarchandKamel BoukhalfaJalil Boukhobza. StorNIR , a multi-objective replica placement strategy for cloud federations
SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Mar 2021, Virtual Event Republic of Korea, France. pp.50-59, ⟨10.1145/3412841.3441886⟩
...
tel-03772878v1  Theses
Hadi Hijazi. Ultra-wideband antenna systems for in-band full-duplex applications
Electronics. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne; Université de Bretagne Occidentale, 2021. English. ⟨NNT : 2021ENTA0011⟩
...
hal-01289454v1  Conference papers
S HeimXavier DumasE BonnafousPhilippe DhaussyC Teodorov et al.  Model Checking of SCADE Designed Systems
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
hal-01802247v1  Conference papers
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-01804797v1  Conference papers
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-01164623v1  Conference papers
M. DaakirMarc Pierrot-DeseillignyF. PichardPierre BosserC. Thom et al.  Photogrammétrie aéroportée par drone et positionnement GPS embarqué pour le terrassement.
Journées de la Recherche à l'IGN, IGN, Mar 2015, Marne La Vallée, France
hal-01326351v1  Journal articles
Nadia MenadPhilippe DhaussyZoé DreyRachida 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