Search - Proceeding of the 6th European Congress on Embedded Real Time Software and Systems Access content directly

Filter your results

114 Results

Optical properties of ultrathin Al2O3/ZnO nanolaminates

R. Viter , I. Baleviciute , A. Abou Chaaya , L. Mikoliunaite , Z. Balevicius et al.
Thin 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 applications

Roman Viter , Adib Abou Chaaya , Igor Iatsunskyi , Grzegorz Nowaczyk , Kristaps Kovalevskis et al.
Nanotechnology, 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 nanostructures

I. Viter , Z. Balevicius , A. Abou Chaaya , I. Baleviciute , S. Tumenas et al.
Journal 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 Deposition

Adib Abou Chaaya , Roman Viter , Ieva Baleviciute , Mikhael Bechelany , Arunas Ramanavicius et al.
Journal of Physical Chemistry C, 2014, 118 (7), pp.3811 - 3819. ⟨10.1021/jp411970w⟩
Journal articles hal-01687523v1
Image document

Evolution of microstructure and related optical properties of ZnO grown by atomic layer deposition

Adib Abou Chaaya , Roman Viter , Mikhael Bechelany , Zanda Alute , Donats Erts et al.
Beilstein Journal of Nanotechnology, 2013, 4, pp.690 - 698. ⟨10.3762/bjnano.4.78⟩
Journal articles hal-01688689v1
Image document

Experimental assessment of timing verification techniques for AFDX

Marc Boyer , Nicolas Navet , Marc Fumey
ERTS 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 arKItect

Hycham Aboutaleb , Mohamed Bouali
ERTS 2012, Feb 2012, Toulouse, France
Conference papers hal-01271937v1
Image document

The TIMMO-2-USE project: Time modeling and analysis to use

M-A Peraldi-Frati , D Karlsson , A Hamann , S. Kuntz , J Nordlander et al.
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02191839v1
Image document

DesyreML: a SysML profile for heterogeneous embedded systems

Alberto Ferrari , Leonardo Mangeruca , Orlando Ferrante , Alessandro Mignogna
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263394v1
Image document

MADES: A SysML/MARTE high level methodology for real-time and embedded systems

Imran Rafiq Quadri , Andrey Sadovykh , Leandro Soares Indrusiak
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263395v1
Image document

Safety-relevant development by adaptation of standardized safetybconcepts in AUTOSAR 4.0

M. Niklas , S Voget , J. Mottok
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02189888v1
Image document

Flight Test Engineer Station for A350 aircraft

Yves Marcet , Jean-Francois Dausse , Guillaume Monsarrat , Olivier Gallot
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02189905v1
Image document

Building a Generic (cross-domains) Basic Software on top of the XtratuM hypervisor

Jean-Jacques Metge , Julien Galizzi , Paul Arberet , Bernard Sanchez , Jonathan Paty et al.
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02192313v1
Image document

Prototyping an Embedded Automotive System from its UML/SysML Models

Ludovic Apvrille , Alexandre Bécoulet
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02191862v1
Image document

Automatic Test Case Generation from Matlab/Simulink models

Diane Bahrami , Alain Faivre , Arnault Lapitre
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263453v1
Image document

Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based Formalism

Arnaud Hamon , Célia Martinie , Philippe Palanque , Eric Barboni , David Navarre et al.
European 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
Image document

The product line engineering approach in a model-driven process

H Dubois , V. Ibanez , C. Lopez , Joseph Machrouh , N Meledo et al.
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263430v1
Image document

Automotive Systems Engineering und Functional Safety: The Way Forward

Simon Burton , Albert Habermann
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263463v1
Image document

Transferring Stability Proof Obligations from Model Level to Code Level

Michael Dierkes , Daniel Kästner
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263402v1
Image document

Software Qualimetry at Schneider Electric: a field background

Hervé Dondey , Christophe Peron
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263431v1
Image document

Increasing intersystem functionalities validations efficiency thanks to Model-Based Design

Pedro Moreno Lahore , Yves Touzeau , Olivier Guetta
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263440v1
Image document

ISO 26262 Compliant Automatic Requirements-Based Testing for TargetLink

Udo Brockmeyer , Adrian Valea , Markus Gross
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263452v1
Image document

Beyond Mutexes, Semaphores, and Critical Sections

Serge Plagnol
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263445v1
Image document

A lightweight, code generated and fast IPC-framework for C++ based applications

Martin Kalisch , Peter Reitinger , Stefan Bitzer , Valentin Uritescu
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263446v1
Image document

A new UML tool-based Methodology for the Software Requirements Analysis

Thomas Weyrath , Franz Schöttl , Berthold Schinnerl , Herbert Schreyer
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263459v1
Image document

Hardware-in-the-Loop Testing of Safety-Relevant Functions in the Context of ISO 26262

A. Himmler
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263464v1
Image document

Model-Based Engineering Approach for System Architecture Exploration

Julien Delange , Christophe Honvault , James Windsor
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263441v1
Image document

Avionic-X: A demonstrator for the Next Generation Launcher Avionics

David Monchaux , Philippe Gast , Jérémie Sangare
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02189902v1
Image document

DO-178C Compliance of Verisoft Formal Methods

Blasum Holger , Frank Dordowsky , Bruno Langenstein , Andreas Nonnengart
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02189912v1
Image document

The B method takes up floating-point numbers

Lilian Burdy , Jean-Louis Dufour , Thierry Lecomte
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263404v1