Search - Archive ouverte HAL Access content directly

Filter your results

330 Results
language_s : English

Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems

Etienne Borde , Laurent Pautet , Fabien Cadoret , Smail Rahmoun , Frank Singhoff et al.
International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
Conference papers hal-01115723v1

Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains

Elie Richa , Etienne Borde , Laurent Pautet , Matteo Bordin , José Riuz et al.
MODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43
Conference papers hal-01115716v1

Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems

Etienne Borde , Smail Rahmoun , Fabien Cadoret , Laurent Pautet , Frank Singhoff et al.
IEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
Conference papers hal-01121019v1

Algorithmic Self-Governance and the Design of Socio-Technical Systems

Jeremy Pitt , Didac Busquets , Ada Diaconescu , Andrzej Nowak , Agnieszka Rychwalska et al.
European Conference on Social Intelligence, Nov 2014, Barcelona, Spain
Conference papers hal-02287024v1

Towards a Fine-Grained Access Control for Cloud

Mounira Msahli , Xiuzhen Chen , Ahmed Serhrouchni
2014 IEEE 11th International Conference on e-Business Engineering (ICEBE), Nov 2014, Guangzhou, France. pp.286-291, ⟨10.1109/ICEBE.2014.56⟩
Conference papers hal-02343634v1

Data Integrity and Availability Verification Game in Untrusted Cloud Storage

Brahim Djebaili , Christophe Kiennert , Jean Leneutre , Lin Chen
GameSec, Nov 2014, Los Angeles, United States
Conference papers hal-01110522v1

Fast Selective Encryption Method for Bitmaps Based on GPU Acceleration

Han Qiu , Gerard Memmi
2014 IEEE International Symposium on Multimedia (ISM), Dec 2014, Taichung, Taiwan
Conference papers hal-01212126v1

A Secure and Effective Device Pairing Protocol

Trung Nguyen , Jean Leneutre
12th IEEE Consumer Communications and Networking Conference (CCNC), Jan 2015, Las Vegas, United States
Conference papers hal-02288430v1

Scheduling algorithms to reduce the static energy consumption of real-time systems

V. Legout , M. Jan , Laurent Pautet
Experiments in Fluids, 2015, 56 (3), pp.153-191. ⟨10.1007/s11241-014-9207-7⟩
Journal articles cea-01846864v1

An Attack Execution Model for Industrial Control Systems Security Assessment.

Ziad Ismail , J. Leneutre , Alia Fourati
CyberICS/WOS-CPS@ESORICS 2015, Jan 2015, Vienna, Austria. pp.157-167
Conference papers hal-02287737v1

Safety and Deferred Update in Transactional Memory

Hagit Attiya , Sandeep Hans , Petr Kuznetsov , Srivatsan Ravi
Transactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, pp.50-71, 2015, ⟨10.1007/978-3-319-14720-8_3⟩
Book sections hal-02287873v1

A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical Infrastructures

Ziad Ismail , Jean Leneutre , David Bateman , Lin Chen
HASE, IEEE, Jan 2015, Daytona Beach, United States
Conference papers hal-01110552v1

A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical Infrastructures

Ziad Ismail , Jean Leneutre , David Bateman , Lin Chen
IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, FL, United States. ⟨10.1109/HASE.2015.24⟩
Conference papers hal-01113223v1
Image document

SuperVision: Spatial Control of Connected Objects in a Smart Home

Sarthak Gosh , Gilles Bailly , Robin Despouys , Eric Lecolinet , Rémi Sharrock et al.
CHI Extended Abstracts: ACM Conference on Human Factors in Computing Systems, Apr 2015, Soul, South Korea. pp.2079-2084, ⟨10.1145/2702613.2732779⟩
Conference papers hal-01147717v1

A Generic Holonic Control Architecture for Heterogeneous Multi-Scale and Multi-Objective Smart Micro-Grids

Sylvain Frey , Ada Diaconescu , David Menga , Isabelle Demeure
ACM Transactions on Autonomous and Adaptive Systems, 2015, 10 (2), pp.9:1-9:21
Journal articles hal-02287025v1

optimal Chudnovsky Chudnovsky multiplication algorithms

Matthieu Rambaud
WAIFI 2014, Jul 2015, gebze, Turkey
Conference papers hal-02287379v1

Fast Selective Encryption Methods for Bitmap Images

Han Qiu , Gerard Memmi
International Journal of Multimedia Data Engineering and Management (IJMDEM), 2015, 6 (51-69), pp.18
Journal articles hal-01212143v1

Data protection by means of fragmentation in distributed storage systems

Katarzyna Kapusta , Gérard Memmi
CFIP-Notere, Jul 2015, Paris, France
Conference papers hal-02288464v1

The Weakest Failure Detector for Eventual Consistency

Swan Dubois , Rachid Guerraoui , Petr Kuznetsov , Franck Petit , Pierre Sens et al.
34th Annual ACM Symposium on Principles of Distributed Computing (PODC-2015), Donostia-San Sebastián, Spain, Jul 2015, Donostia-San Sebastián, Spain. pp.375-384, ⟨10.1145/2767386.2767404⟩
Conference papers hal-01213330v1
Image document

Translating ATL Model Transformations to Algebraic Graph Transformations

Elie Richa , Etienne Borde , Laurent Pautet
8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015, Jul 2015, L'Aquila, Italy. pp.183-198, ⟨10.1007/978-3-319-21155-8_14⟩
Conference papers hal-01229113v1
Image document

On the Uncontended Complexity of Anonymous Consensus

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
[Research Report] University of Bordeaux LaBRI, UMR 5800, F-33400 Talence, France Telecom ParisTech. 2015
Reports hal-01180864v1

Value Sensitive Design for Self-Organising Digital Communities

Jeremy Pitt , Andrzej Nowak , Ada Diaconescu
Charting the Next Decade for Value Sensitive Design Workshop (held with the Critical Alternatives Conference), Aug 2015, Aarhus, Denmark
Conference papers hal-02287385v1

Improving Reusability of Model Transformations by Automating their Composition

Cuauhtemoc Castellanos , Etienne Borde , Laurent Pautet , Sébastien Gardoll , Thomas Vergnaud et al.
EUROMICRO-SEAA, Aug 2015, Madeira, Portugal. pp.267-274
Conference papers hal-02287271v1

Safe box cloud authentication using TLS extesion

Mounira Msahli , Mohamed Tahar Hammi , Ahmed Serhrouchni
2015 International Conference on Cyber Security of Smart cities, Industrial Control System and Communications (SSIC), Aug 2015, Shanghai, France. pp.1-6, ⟨10.1109/SSIC.2015.7245679⟩
Conference papers hal-02354926v1

Data Protection: combining fragmentation, encryption, and dispersion

Gerard Memmi , Katarzyna Kapusta , Han Qiu
2015 International Conference on Cyber Security of Smart Cities, Industrial Control System and Communications, Aug 2015, Shanghai, China
Conference papers hal-01212158v1
Image document

Teaching Real-Time Scheduling Analysis with Cheddar

Frank Singhoff , Alain Plantec , Stéphane Rubini , Hai-Nam Tran , Vincent Gaudel et al.
9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France
Conference papers hal-01166136v1

Progressive Transactional Memory in Time and Space

Petr Kuznetsov , Srivatsan Ravi
PaCT, Sep 2015, Petrozavodsk, Russia
Conference papers hal-02287223v1

Automatic selection and composition of model transformations alternatives using evolutionary algorithms

Smail Rahmoun , Etienne Borde , Laurent Pautet
ECSA Workshops 2015, Sep 2015, Dubrovnik/Cavtat, Croatia. pp.25:1-25:7
Conference papers hal-02292448v1

Foraging-inspired Self-organisation for Terrain Exploration with Failure-prone Agents

Arles Rodrigues , Jonatan Gomez , Ada Diaconescu
The 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'15), Sep 2015, Cambridge, MA, United States. pp.10
Conference papers hal-02287382v1

Scheduling of mixed-criticality systems with RUN

Romain Gratia , Thomas Robert , Laurent Pautet
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), Sep 2015, Luxembourg, France. pp.1-8, ⟨10.1109/ETFA.2015.7301484⟩
Conference papers hal-02922757v1