Search - Archive ouverte HAL Access content directly

Filter your results

345 Results

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
Image document

Brief Announcement: On the Uncontended Complexity of Anonymous Consensus

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
Conference papers hal-01207895v1
Image document

Brief Announcement: A Concurrency-Optimal List-Based Set

Vincent Gramoli , Petr Kuznetsov , Srivatsan Ravi , Di Shang
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
Conference papers hal-01207872v1
Image document

Grasping the Gap between Blocking and Non-Blocking Transactional Memories

Petr Kuznetsov , Srivatsan Ravi
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_16⟩
Conference papers hal-01206451v1
Image document

Inherent Limitations of Hybrid Transactional Memory

Dan Alistarh , Justin Kopinsky , Petr Kuznetsov , Srivatsan Ravi , Nir Shavit et al.
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_13⟩
Conference papers hal-01206434v1

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Naji Amine , Florian Brandner
9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
Conference papers hal-02287276v1

Holonic Institutions for Multi-Scale Polycentric Self-Governance

Ada Diaconescu , Jeremy Pitt
Lecture Notes in Computer Science, 2015, 9372, pp.19-35
Journal articles hal-02287383v1

Generalized mixed-criticality scheduling based on RUN

Romain Gratia , Thomas Robert , Laurent Pautet
23rd International Conference on Real-Time Networks and Systems (RTNS '15), Nov 2015, Lille France, France. pp.267-276, ⟨10.1145/2834848.2834873⟩
Conference papers hal-03629047v1

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Amine Naji , Florian Brandner
9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
Conference papers hal-01246343v1

Efficient Context Switching for the Stack Cache

Sahar Abbaspour , Florian Brandner , Amine Naji , Mathieu Jan
Proceedings of the 23rd International Conference on Real Time and Networks Systems, Julien Forget (Université de Lille, France), Nov 2015, Lille, France. pp.10, ⟨10.1145/2834848.2834861⟩
Conference papers hal-01246348v1

CALCULATEUR COMPRENANT UN PROCESSEUR MULTICOEUR ET PROCEDE DE CONTROLE D'UN TEL CALCULATEUR

Xavier Jean , Marc Gatti , David Faura , Thomas Robert
France, N° de brevet: FR20130002040 20130903. XJTR:BrevMulDet-2015. 2015, pp.31
Patents hal-02412552v1

Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES)

Smail Rahmoun , Etienne Borde , Laurent Pautet
ICECCS, Dec 2015, Gold Coast, Australia. pp.21-30
Conference papers hal-02292449v1

Digital safe: Secure synchronization of shared files

Mayssa Jemel , Mounira Msahli , Ahmed Serhrouchni
2015 11th International Conference on Information Assurance and Security (IAS), Dec 2015, Marrakech, France. pp.67-72, ⟨10.1109/ISIAS.2015.7492747⟩
Conference papers hal-02354919v1

On the Uncontended Complexity of Anonymous Consensus

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
19th International Conference on Principles of Distributed Systems - OPODIS 2015, Dec 2015, Rennes, France. ⟨10.4230/LIPIcs.OPODIS.2015.12⟩
Conference papers hal-01411528v1

Perfect Failure Detection with Very Few Bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord et al.
18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, Lyon, France
Conference papers hal-01423637v1
Image document

Formal semantics of behavior specifications in the architecture analysis and design language standard

Loïc Besnard , Thierry Gautier , Paul Le Guernic , Clément Guy , Jean-Pierre Talpin et al.
[Research Report] RR-8950, INRIA. 2016, pp.30 - 39
Reports hal-01419973v1

SyncDS: A digital safe based file synchronization approach

Mayssa Jemel , Mounira Msahli , Ahmed Serhrouchni
2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2016, Las Vegas, France. pp.317-318, ⟨10.1109/CCNC.2016.7444796⟩
Conference papers hal-02354922v1

A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing

Yanjun Sun , Gérard Memmi , Sylvie Vignes
Int. Conf. CSDM Asia, Feb 2016, Singapore, Singapore. pp.171-180
Conference papers hal-02287374v1

In-Band Synchronization for Distributed SDN Control Planes

Liron Schiff , Stefan Schmid , Petr Kuznetsov
Computer Communication Review, 2016, 46 (1), pp.37-43
Journal articles hal-02287556v1
Image document

Complexité du consensus anonyme en l'absence de concurrence

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Conference papers hal-01304268v2

Thermal behavior and Energy/Frequency Convexity Rule of Energy Consumption for Programs

Karel de Vogeleer , Pierre Jouvelot , Gerard Memmi
International Conference on Software & Systems Engineering and their Applications (ICSSEA'16) , May 2016, Paris, France
Conference papers hal-01531505v1