Recherche - ENSTA Bretagne

	1 2 3 4 5 Suivant Dernière	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Merci d'indiquer la raison de votre demande Pour les 129 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	hal-00485825v1 Communication dans un congrès Emanuel Radoi, Felix Totir, André Quinquis, Lucian Anton. Superresolution Imagery Based SVM Classification of Radar Targets EUSAR 2006, May 2006, Dresde, Germany. pp.1-4
	hal-01072079v1 Article dans une revue M. Sanchez-Soriano, Yves Quéré, Vincent Le Saux, C. Quendo, S. Cadiou. Average power handling capability of microstrip passive circuits considering metal housing and environment conditions IEEE Transactions on Components, Packaging and Manufacturing Technology, Institute of Electrical and Electronics Engineers, 2014, 4, pp.1624-1633. ⟨10.1109/TCPMT.2014.2345100⟩
	hal-00645827v1 Communication dans un congrès Øivind Midtgaard, Roy Hansen, Torstein Sæbø, Vincent Myers, John Dubberley et al. Change Detection Using Synthetic Aperture Sonar: Preliminary Results from the Larvik Trial OCEANS 2011 MTS/IEEE conference, Sep 2011, Kona, United States
	hal-00504817v1 Communication dans un congrès Isabelle Quidu, Jean-Philippe Malkasse, Gilles Burel, Pierre Vilbé. Mine Classification based on raw sonar data: an approach combining Fourier Descriptors, Statistical Models and Genetic Algorithms IEEE OCEANS'2000, Sep 2000, Providence, Rhode Island, United States
	hal-00504822v1 Communication dans un congrès Isabelle Quidu, Jean-Philippe Malkasse, Gilles Burel, Pierre Vilbé. Mine classification using a hybrid set of descriptors IEEE OCEANS'2000, Sep 2000, Providence, Rhode Island, United States
	inria-00468650v1 Chapitre d'ouvrage Denis Aulagnier, Ali Koudri, Stéphane Lecomte, Philippe Soulard, Joël Champeau et al. SoC/SoPC development using MDD and MARTE profile Babau, Jean-Philippe and Blay-Fornarino, Mireille and Champeau, Joël and Gèrard, Sèbastien and Robert, Sylvain and Sabetta, Antonino. Model Driven Engineering for Distributed Real-time Embedded Systems, ISTE, 2009
	hal-01119571v1 Communication dans un congrès Vincent Ribaud, Ciprian Teodorov, Zoé Drey, Luka Leroux, Philippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
	hal-01090362v1 Communication dans un congrès Jean-Philippe Schneider, Ciprian Teodorov, Eric Senn, Joël Champeau. Towards a Dynamic Infrastructure for Playing withSystems of Systems ECSA 2014, Aug 2014, Vienne, Austria
	hal-01203649v1 Communication dans un congrès Khaoula Es-Salhi, Siham Rim Boudaoud, Ciprian Teodorov, Zoé Drey, Vincent Ribaud. KriQL: a query language for the diagnosis of transition systems 15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
	hal-02515020v1 Chapitre d'ouvrage Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Using Parallel and Distributed Reachability in Model Checking Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩
	hal-01559688v1 Communication dans un congrès Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe 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-02924010v1 Article dans une revue Mahmoud Almasri, Ali Mansour, Christophe Moy, Ammar Assoum, Christophe Osswald et al. Distributed algorithm under cooperative or competitive priority users in cognitive networks EURASIP Journal on Wireless Communications and Networking, SpringerOpen, 2020, 2020 (2020:145), ⟨10.1186/s13638-020-01738-w⟩
	hal-02295954v1 Communication dans un congrès Houssem Chemingui, Ines Gam, Raul Mazo, Camille Salinesi, Henda Hajjami Ben Ghézala. Product Line Configuration Meets Process Mining CENTERIS, Oct 2019, Sousse, Tunisia. pp.199-210, ⟨10.1016/j.procs.2019.12.173⟩
	hal-00676423v1 Chapitre d'ouvrage Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol. Context Aware Model-Checking for Embedded Software Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012
	hal-02418297v1 Communication dans un congrès Mahmoud Almasri, Ali Mansour, Christophe Moy, A. Assoum, Christophe Osswald et al. Distributed Algorithm to Learn OSA Channels Availability and Enhance the Transmission Rate of Secondary Users 19th International Symposium on Communications and Information Technologies, ISCIT 2019, Sep 2019, Ho Chi Minh City, Vietnam. pp.356-360, ⟨10.1109/ISCIT.2019.8905171⟩
	hal-00670459v1 Article dans une revue Fabrice Le Bars, Jan Sliwka, Luc Jaulin, Olivier Reynet. Set-membership state estimation with fleeting data Automatica, Elsevier, 2012, 48 (2), page 381-387. ⟨10.1016/j.automatica.2011.11.004⟩
	hal-03188878v1 Article dans une revue Marwa Ibrahim, Hassan Harb, Ali Mansour, Abbass Nasser, Christophe Osswald. All-in-one Peer-to-Peer Networking and Applications, Springer, In press, ⟨10.1007/s12083-021-01095-5⟩
	hal-02303379v1 Ouvrage (y compris édition critique et traduction) Ali Mansour, Christophe Osswald. Mise en œuvre des probabilités et des statistiques Ellipses, 552 p., 2019, 9782340032965
	hal-02434617v1 Communication dans un congrès Marwa Ibrahim, Hassan Harb, Abbass Nasser, Ali Mansour, Christophe Osswald. On-in: An on-node and in-node based mechanism for big data collection in large-scale sensor networks 27th European Signal Processing Conference, EUSIPCO 2019, Sep 2019, Coruna, Spain. ⟨10.23919/EUSIPCO.2019.8902628⟩
	hal-00635594v1 Communication dans un congrès Papa Issa Diallo, Joël Champeau, Vincent Leilde. Model Based Engineering for the support of Models of Computation: The Cometa Approach International Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
	hal-03127383v1 Communication dans un congrès Mahmoud Almasri, Ali Mansour, Christophe Moy, Ammar Assoum, Denis Le Jeune et al. Managing Single or Multi-Users Channel Allocation for the Priority Cognitive Access 2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.1722-1726, ⟨10.23919/Eusipco47968.2020.9287628⟩
	hal-00676640v1 Communication dans un congrès Philippe Dhaussy, Jean-Charles Roger, Luka Leroux, Frédéric Boniol. Context Aware Model Exploration with OBP tool to Improve Model-Checking ERTS 2012, Feb 2012, Toulouse, France
	hal-02433746v1 Communication dans un congrès Marwa Ibrahim, H. Harb, Abdelkader 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-02418325v1 Communication dans un congrès Mahmoud Almasri, Ali Mansour, Christophe Moy, A. Assoum, Christophe Osswald et al. All-Powerful Learning Algorithm for the Priority Access in Cognitive Network 27th European Signal Processing Conference (EUSIPCO), Sep 2019, A Coruna, Spain. pp.1-5, ⟨10.23919/EUSIPCO.2019.8903016⟩
	hal-00738735v1 Article dans une revue Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Luka Leroux. Improving Model Checking with Context Modelling Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩
	hal-03002104v1 Article dans une revue M. Almasri, Ali Mansour, Christophe Moy, A. Assoum, Denis Le Jeune et al. Dynamic decision-making process in the opportunistic spectrum access Advances in Science, Technology and Engineering Systems Journal, Advances in Science Technology and Engineering Systems Journal (ASTESJ), 2020, 5 (4), pp.223-233. ⟨10.25046/aj050428⟩
	hal-01961429v1 Communication dans un congrès Tobias van Baarsel, Philippe Roux, Barbara Nicolas, Jerome Mars, Julien Bonnel et al. Dynamic imaging of a gravity wave caused by laser-induced breakdown in a fluid waveguide using acoustic waves Acoustics 2017 - Forum Acusticum 2017 - 173rd Meeting of The Acoustical Society of America and the 8th Forum Acusticum, Jun 2017, Boston, MA, United States. pp.3589-3589
	hal-03151936v1 Article dans une revue Mahmoud Almasri, Ali Mansour, Christophe Moy, Ammar Assoum, Denis Le Jeune et al. Distributed Competitive Decision Making Using Multi-Armed Bandit Algorithms Wireless Personal Communications, Springer Verlag, In press, ⟨10.1007/s11277-020-08064-w⟩
	hal-01899591v1 Communication dans un congrès Mahmoud Almasri, Ali Mansour, Christophe Moy, Ammar Assoum, Christophe Osswald et al. Opportunistic Spectrum Access in Cognitive Radio for Tactical Network 2nd European Conference on Electrical Engineering & Computer Scienc (EECS 2018), Dec 2018, Bern, Switzerland. ⟨10.1109/eecs.2018.00116⟩
	hal-01289454v1 Communication dans un congrès S Heim, Xavier Dumas, E Bonnafous, Philippe Dhaussy, C 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
	1 2 3 4 5 Suivant Dernière	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 129 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM

Type de document Réduire

Auteur Réduire

Domaine Réduire

Laboratoire Réduire

Langue Réduire

Type de dépôt Réduire

Année Réduire