Recherche - ENSTA Bretagne

	1 2 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 75 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	hal-01192720v1 Communication dans un congrès Jean-Philippe Schneider, Joël Champeau, Loïc Lagadec, Eric Senn. Role Framework to Support Collaborative Virtual Prototyping of System of Systems WETICE 2015, IEEE, Jun 2015, Larnaca, Cyprus
	hal-01203701v1 Communication dans un congrès Ciprian Teodorov, Luka Leroux, Philippe Dhaussy. Context-Aware Verification of a Cruise-Control System MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩
	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-02433746v1 Communication dans un congrès Marwa Ibrahim, H. Harb, A. 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-01156518v1 Communication dans un congrès Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loic Lagadec et al. A Role Language to Interpret Multi-Formalism System of Systems Models Syscon 2015, IEEE, Apr 2015, Vancouver, Canada
	hal-01156537v1 Communication dans un congrès Papa Issa Diallo, Seyed-Hosein Attarzadeh-Niaki, Francesco Robino, Ingo Sander, Joël Champeau et al. A Formal, Model-driven Design Flow for System Simulation and Multi-core Implementation SIES 2015, University of Siegen, Jun 2015, Siegen, Germany
	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-01373317v1 Article dans une revue Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. A Parallel Algorithm for the State Space Exploration Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
	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-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-01298623v1 Article dans une revue Amel Benabbou, Safia Nait Bahloul, Dhaussy Philippe. Context-aware approach for formal verification EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩
	hal-01373327v1 Article dans une revue Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Sequential and Parallel Algorithms for the State Space Exploration Cybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩
	hal-00704383v1 Article dans une revue Yacine Bennani, Fabrice Comblet, Ali Khenchaf. RCS of Complex Targets: Original Representation Validated by Measurements-Application to ISAR Imagery IEEE Geoscience and Remote Sensing, 2012, 50 (10), pp.3882 - 3891. ⟨10.1109/TGRS.2012.2186972⟩
	hal-01298895v1 Communication dans un congrès Lamia Allal, Ghalem Belalem, Philippe Dhaussy. Towards Distributed Solution to the State Explosion Problem INDIA 2016, Jan 2016, Vishakapatnam, India. ⟨10.1007/978-81-322-2755-7_56⟩
	hal-01298704v1 Communication dans un congrès Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. A High-level Formalism to Elaborate Context for a Context-aware Verification Approach ICIST 2016, Mar 2016, Barcelone, Spain
	hal-01121845v1 Article dans une revue Charbel Geryes Aoun, Iyas Alloush, Yvon Kermarrec, Joël Champeau, Oussama Kassem Zein. A Modeling Approach for Marine Observatory Sensors & Transducers Journal, International Frequency Sensor Association (IFSA), 2015, Sensors & Transducers Journal, 185 (2), pp.129-139
	hal-00843139v1 Chapitre d'ouvrage Frederic Boniol, Philippe Dhaussy, Luka Le Roux, Jean-Charles Roger. Model-Based Analysis Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
	hal-00687505v1 Communication dans un congrès Alexandre Baussard, Samuel Grosdidier. Target detection based on morphological component analysis of HFSWR images for maritime surveillance PIERS 2012, Mar 2012, Kuala Lumpur, Malaysia. pp.87
	hal-00690923v1 Communication dans un congrès Hanh Nhi Tran, Christian Percebois. Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
	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-00626512v1 Communication dans un congrès Sarab Tay, Frederic Maussang, Arnaud Coatanhay, René Garello. Kalman filtering of GPS signals for target tracking application Passive 2010 conference, Jun 2010, Brest, France
	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-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-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-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-01406604v1 Communication dans un congrès Vincent Leilde, Vincent Ribaud, Philippe Dhaussy. Model-based Diagnosis Patterns for Model Checking PAME 2016, Oct 2016, St Malo, France. pp.7-12
	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-00704089v1 Communication dans un congrès G. Bayrakci, C. Scalabrin, I. Leblond, L. Geli, J.-B. Tary. Monitoring of gas emission in the Marmara Sea by the combined study of the Acoustic Bubble Detector and Ocean Bottom Seismometers EGU 2012, Apr 2012, Vienne, Austria
	hal-00703785v1 Communication dans un congrès Jean-Christophe Le Lann, Philippe Dhaussy, Pierre-Laurent Lagalaye. Modélisation algorithmique et synthèse d'architectures assistées par model-checking CAL 2012-, May 2012, Montpellier, France
	hal-00703831v1 Communication dans un congrès Naheed Sajjad, Ali Khenchaf, Arnaud Coatanhay. Depolarization of Electromagnetic Waves from Bare Soil Surfaces SCEE'10, Oct 2010, Toulouse, France. pp.107, ⟨10.1007/978-3-642-22453-9_12⟩
	hal-00687507v1 Communication dans un congrès Ali Khenchaf, Laurent Vaitilingom. MONOSTATIC AND BISTATIC ELECTROMAGNETIC SIGNATURE OF SEA AND GROUND CLUTTER IN HF BAND ESTIMATED BY USING SPM, TSM AND SSA MODELS PIERS 2012, Mar 2012, Kuala Lumpur, Malaysia. pp.81
	hal-01405912v1 Communication dans un congrès Théotime Bollengier, Mohamad Najem, Jean-Christophe Le Lann, Loïc Lagadec. Overlay Architectures For FPGA Resource Virtualization GDR SOC SIP, Jun 2016, Nantes, France
	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-00684402v1 Article dans une revue Dominique Pastor, François-Xavier Socheleau. Robust Estimation of Noise Standard Deviation in Presence of Signals with Unknown Distributions and Occurrences IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2012, 60 (4), pp.1545-1555. ⟨10.1109/TSP.2012.2184534⟩
	hal-01185476v1 Article dans une revue Ion George Todoran, Laurent Lecornu, Ali Khenchaf, Jean-Marc Le Caillec. A methodology to evaluate important dimensions of information quality in systems Journal of data and information quality, ACM, 2015, 6 (2-3), pp.art.n°11 -. ⟨10.1145/2744205⟩
	hal-01405860v1 Communication dans un congrès Théotime Bollengier, Mohamad Najem, Jean-Christophe Le Lann, Loïc Lagadec. ZeFF : Une plateforme pour l’intégration d’architectures overlay dans le Cloud COMPAS 2016, Jul 2016, Lorient, France
	hal-01405890v1 Communication dans un congrès Théotime Bollengier, Mohamad Najem, Jean-Christophe Le Lann, Loïc Lagadec. Overlay Architectures for Heterogeneous FPGA Cluster Management. DASIP 2016, Oct 2016, Rennes, France
	hal-01406141v1 Communication dans un congrès Ayoub Karine, Abdelmalek Toumi, * Mohammed El Hassouni, Ali Khenchaf. Modélisation et réalisation d’un système de reconnaissance de cibles radar Journée URAC 2016 , Nov 2015, Rabat, Morocco
	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-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
	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-01326340v1 Communication dans un congrès Obeid Fadi, Dhaussy Philippe. Validation formelle d’implantation de patrons de sécurité : Application aux SCADA AFADL 2016, Jun 2016, Besançon, France
	hal-01326333v1 Communication dans un congrès Djamila Baroudi, Philippe Dhaussy, Nait Bahloul Safia. Formalisation d’une Approche Compositionnelle de Patrons de Propriétés AFADL 2016, i, Jun 2016, Besançon, France
	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-00738772v1 Communication dans un congrès Stephen Creff, Joël Champeau, Jean-Marc Jézéquel. Model-Based Product Line Evolution: an Incremental Growing by Extension 16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
	hal-00704312v1 Communication dans un congrès Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel. Une organisation des Lignes de Produits Logiciels autour d'un motif architectural CAL 2012, May 2012, Montpellier, France
	hal-01405531v1 Article dans une revue Mohamed Ben Hammouda, Philippe Coussy, Loï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-00704765v1 Communication dans un congrès Anthony Fiche, Arnaud Martin, Jean-Christophe Cexus, Ali Khenchaf. A comparison between a Bayesian approach and a method based on continuous belief functions for pattern recognition Belief 2012, May 2012, Compiègne, France
	hal-00489085v1 Communication dans un congrès Vincent Choqueuse, Koffi Clément Yao, Ludovic Collin, Gilles Burel. Blind Detection of the Number of Communication Signals Under Spatially Correlated Noise by ICA and K-S Tests International Conference on Acoustics, Speech, and Signal Processing, Mar 2008, Las Vegas, United States. pp.2397-2400
	1 2 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 75 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