Search - Archive ouverte HAL Access content directly

Filter your results

346 Results

Access Control in Probative Value Cloud

Mounira Msahli , Rached Abdeljaoued , Ahmed Serhrouchni
The 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013), Dec 2013, London, United Kingdom
Conference papers hal-02287110v1

Access control in probative value cloud

Mounira Msahli , Rached Abdeljaoued , Ahmed Serhrouchni
8th International Conference for Internet Technology and Secured Transactions (ICITST 2013), Dec 2013, London, France. pp.607-611, ⟨10.1109/ICITST.2013.6750274⟩
Conference papers hal-03042230v1

Profile centric modelling

Mounira Msahli , Ahmed Serhrouchni
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2014, 5 (4), pp.344. ⟨10.1504/IJITST.2014.068713⟩
Journal articles hal-02354927v1

The Algorithmic Governance Of Common-Pool Resources

Jeremy Pitt , Ada Diaconescu
From Bitcoin to Burning Man and Beyond: The Quest for Identity and Autonomy in a Digital Society, Edited by John H. Clippinger and David Bollier, Published by ID3 in cooperation with Off the Common Books, pp.133-145, 2014
Book sections hal-02287022v1

Handling criticality mode change in time-triggered systems through linear programming

M. Jan , L. Zaourar , V. Legout , Laurent Pautet
Ada User Journal, 2014, 35 (2), pp.133-137
Journal articles cea-01844456v1

Profile Centric Model.

Mounira Msahli , Ahmed Serhrouchni
International Journal of Internet Technology and Secured Transactions, 2014, 5 (ISSN online: 1748-5703)
Journal articles hal-02287105v1
Image document

Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)

Loïc Besnard , Etienne Borde , Pierre Dissaux , Thierry Gautier , Paul Le Guernic et al.
[Technical Report] RT-0446, INRIA. 2014, pp.27
Reports hal-00970244v2

PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems

Laurent Pautet , Etienne Borde , Thomas Robert , Antoine Jaouen
International Conference on Reliable Software Technologies, Jun 2014, Paris, France. pp.149-165
Conference papers hal-01115671v1

CONNEXION : Éléments de méthodologie de vérification et validation. Épisode 1 : relever les principaux défis

Yanjun Sun , Gérard Memmi , Sylvie Vignes , Frédéric Daumas
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109, pp.50-60
Journal articles hal-02287057v1

A Game Theoretical Analysis of Data Confidentiality Attacks on Smart-Grid AMI

Ziad Ismail , Jean Leneutre , David Bateman , Lin Chen
IEEE Journal on Selected Areas in Communications, 2014, 32 (7), pp.12. ⟨10.1109/JSAC.2014.2332095⟩
Journal articles hal-01113214v1

Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors

Karel de Vogeleer , Gérard Memmi , Pierre Jouvelot , Fabien Coelho
Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩
Conference papers hal-01111647v1

Formal Analysis of Secure Device Pairing Protocols

Trung Nguyen , Jean Leneutre
IEEE 13th International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, Massachusetts, United States
Conference papers hal-02287084v1

Automatic Production of Transformation Chains Using Structural Constraints on Output Models

Cuauhtemoc Castellanos , Etienne Borde , Laurent Pautet , Thomas Vergnaud , Thomas Dérive et al.
Euromicro Conference on Software Engineering and Advanced Applications, Aug 2014, Verona, Italy. pp.158 - 165
Conference papers hal-01115708v1

Sensemaking in the autonomic smart-home

Robin Despouys , Rémi Sharrock , Isabelle Demeure
UBICOMP Ubiquitous computing, Sep 2014, Seattle, United States
Conference papers hal-02288439v1

Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation

Elie Richa , Etienne Borde , Laurent Pautet , Matteo Bordin , José Riuz et al.
AMT@MoDELS, Sep 2014, Valencia, Spain. pp.34-43
Conference papers hal-02287272v1

Technology for Collective Action [Special Section Introduction]

Jeremy Pitt , Ada Diaconescu , David Bollier
IEEE Technology and Society Magazine, 2014, 3, pp.32-34
Journal articles hal-02287021v1

Self-Managing Pervasive Computing

Philippe Lalanda , Julie Mccann , Ada Diaconescu
2014 IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW), Sep 2014, Imperial College, France. pp.5-5
Conference papers hal-02023539v1
Image document

SuperVision : controler spatialement les objets connectés dans une maison intelligente

Sarthak Gosh , Gilles Bailly , Robin Despouys , Eric Lecolinet , Rémi Sharrock et al.
IHM'14: Conférence francophone sur l'Interaction Homme Machine, Oct 2014, Lille, France. ⟨10.1145/2670444.2670471⟩
Conference papers hal-01442956v1

PCM in cloud

Mounira Msahli , Ahmed Serhrouchni
IEEE International Conference on Granular Computing (GrC), Oct 2014, Noboribetsu, Japan
Conference papers hal-02288436v1

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

Exchange between the German and French Compiler Communities

Jens Knoop , Florian Brandner
18. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Oct 2015, Pörtschach am Wörthersee, Austria. pp.83-84
Conference papers hal-02287275v1