Filter your results
- 101
- 13
- 109
- 5
- 107
- 5
- 2
- 3
- 1
- 1
- 109
- 114
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
114 Results
Optical properties of ultrathin Al2O3/ZnO nanolaminatesThin Solid Films, 2015, 594, pp.96 - 100. ⟨10.1016/j.tsf.2015.10.018⟩
Journal articles
hal-01688451v1
|
|||
Tuning of ZnO 1D nanostructures by atomic layer deposition and electrospinning for optical gas sensor applicationsNanotechnology, 2015, 26 (10), ⟨10.1088/0957-4484/26/10/105501⟩
Journal articles
hal-01684636v1
|
|||
The influence of localized plasmons on the optical properties of Au/ZnO nanostructuresJournal of Materials Chemistry C, 2015, 3 (26), pp.6815 - 6821. ⟨10.1039/c5tc00964b⟩
Journal articles
hal-01684539v1
|
|||
Tuning Optical Properties of Al 2 O 3 /ZnO Nanolaminates Synthesized by Atomic Layer DepositionJournal of Physical Chemistry C, 2014, 118 (7), pp.3811 - 3819. ⟨10.1021/jp411970w⟩
Journal articles
hal-01687523v1
|
|||
|
Evolution of microstructure and related optical properties of ZnO grown by atomic layer depositionBeilstein Journal of Nanotechnology, 2013, 4, pp.690 - 698. ⟨10.3762/bjnano.4.78⟩
Journal articles
hal-01688689v1
|
||
|
Experimental assessment of timing verification techniques for AFDXERTS 2012 - 6th European Congress on Embedded Real Time Software and Systems, Feb 2012, Toulouse, France
Conference papers
hal-01345472v1
|
||
An integrated approach to implement system engineering and safety engineering processes with arKItectERTS 2012, Feb 2012, Toulouse, France
Conference papers
hal-01271937v1
|
|||
|
The TIMMO-2-USE project: Time modeling and analysis to useEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02191839v1
|
||
|
DesyreML: a SysML profile for heterogeneous embedded systemsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263394v1
|
||
|
MADES: A SysML/MARTE high level methodology for real-time and embedded systemsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263395v1
|
||
|
Safety-relevant development by adaptation of standardized safetybconcepts in AUTOSAR 4.0Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02189888v1
|
||
|
Flight Test Engineer Station for A350 aircraftEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02189905v1
|
||
|
Building a Generic (cross-domains) Basic Software on top of the XtratuM hypervisorEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02192313v1
|
||
|
Prototyping an Embedded Automotive System from its UML/SysML ModelsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02191862v1
|
||
|
Automatic Test Case Generation from Matlab/Simulink modelsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263453v1
|
||
|
Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based FormalismEuropean Congress on Embedded Real Time Software and Systems (ERTS 2012), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies, Feb 2012, Toulouse, France
Conference papers
hal-02189909v1
|
||
|
The product line engineering approach in a model-driven processEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263430v1
|
||
|
Automotive Systems Engineering und Functional Safety: The Way ForwardEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263463v1
|
||
|
Transferring Stability Proof Obligations from Model Level to Code LevelEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263402v1
|
||
|
Software Qualimetry at Schneider Electric: a field backgroundEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263431v1
|
||
|
Increasing intersystem functionalities validations efficiency thanks to Model-Based DesignEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263440v1
|
||
|
ISO 26262 Compliant Automatic Requirements-Based Testing for TargetLinkEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263452v1
|
||
|
Beyond Mutexes, Semaphores, and Critical SectionsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263445v1
|
||
|
A lightweight, code generated and fast IPC-framework for C++ based applicationsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263446v1
|
||
|
A new UML tool-based Methodology for the Software Requirements AnalysisEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263459v1
|
||
|
Hardware-in-the-Loop Testing of Safety-Relevant Functions in the Context of ISO 26262Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263464v1
|
||
|
Model-Based Engineering Approach for System Architecture ExplorationEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263441v1
|
||
|
Avionic-X: A demonstrator for the Next Generation Launcher AvionicsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02189902v1
|
||
|
DO-178C Compliance of Verisoft Formal MethodsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02189912v1
|
||
|
The B method takes up floating-point numbersEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02263404v1
|