Recherche - ENSTA Bretagne

	1 2 3 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 80 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-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-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-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
	1 2 3 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 80 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-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-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-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

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