|
||
---|---|---|
hal-01192720v1
Communication dans un congrès
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
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
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
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
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
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
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
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
Improving Model Checking with Context Modelling Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩ ![]() |
||
hal-00676423v1
Chapitre d'ouvrage
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
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
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
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
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
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
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
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
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
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
Superresolution Imagery Based SVM Classification of Radar Targets EUSAR 2006, May 2006, Dresde, Germany. pp.1-4 |
||
hal-00626512v1
Communication dans un congrès
Kalman filtering of GPS signals for target tracking application Passive 2010 conference, Jun 2010, Brest, France |
||
hal-01072079v1
Article dans une revue
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
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
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
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
Model-based Diagnosis Patterns for Model Checking PAME 2016, Oct 2016, St Malo, France. pp.7-12 |
||
hal-00676640v1
Communication dans un congrès
Context Aware Model Exploration with OBP tool to Improve Model-Checking ERTS 2012, Feb 2012, Toulouse, France |
||
hal-00704089v1
Communication dans un congrès
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
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
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
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
Overlay Architectures For FPGA Resource Virtualization GDR SOC SIP, Jun 2016, Nantes, France |
||
hal-00645827v1
Communication dans un congrès
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
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
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
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
Overlay Architectures for Heterogeneous FPGA Cluster Management. DASIP 2016, Oct 2016, Rennes, France |
||
hal-01406141v1
Communication dans un congrès
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
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
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
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
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
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
Mine classification using a hybrid set of descriptors IEEE OCEANS'2000, Sep 2000, Providence, Rhode Island, United States |
||
inria-00468650v1
Chapitre d'ouvrage
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
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
Une organisation des Lignes de Produits Logiciels autour d'un motif architectural CAL 2012, May 2012, Montpellier, France |
||
hal-01405531v1
Article dans une revue
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
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
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 |
||
|