Search - Archive ouverte HAL Access content directly

Filter your results

346 Results

Replication-Based Self-healing of Mobile Agents Exploring Complex Networks

Arles Rodriguez , Jonatan Gomez , Ada Diaconescu
15th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Springer LNAI,, Jun 2017, Porto, Portugal. pp.222-233, ⟨10.1007/978-3-319-59930-4_18⟩
Conference papers hal-02287746v1

Worst-Case Execution Time Analysis of Predicated Architectures

Florian Brandner , Naji Amine
Workshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
Conference papers hal-02288493v1

An efficient Secure Storage Scheme Based on Information Fragmentation

Han Qiu , Gérard Memmi , Hassan Noura
4th IEEE Int. Conf. on Cyber Security and Cloud Computing, Jun 2017, New-York, United States. pp.108-113
Conference papers hal-02287645v1

Directed Acyclic Graph Scheduling for Mixed-Criticality Systems

Roberto Medina , Etienne Borde , Laurent Pautet
Reliable Software Technologies, Jun 2017, Vienne, Austria. pp.217-232
Conference papers hal-01995010v1

Protocol for preserving privacy in distributed system (PPDS)

Ashref Aloui , Mounira Msahli , Talel Abdessalem , Stephane Bressan , Sihem Mesnager et al.
2017 13th International Wireless Communications and Mobile Computing Conference (IWCMC), Jun 2017, Valencia, France. pp.1885-1890, ⟨10.1109/IWCMC.2017.7986571⟩
Conference papers hal-02354923v1

Interactional Justice for Sustainable Management of Common-Pool Resources

Jeremy Pitt , Ada Diaconescu
XVI Biennial IASC Conference "Practicing the commons: self-governance, cooperation, and institutional change, Jul 2017, Utrecht, Netherlands Antilles
Conference papers hal-02287559v1

Translation of ATL to AGT and Application to a Code Generator for Simulink

Elie Richa , Etienne Borde , Laurent Pautet
Software and Systems Modeling, 2017
Journal articles hal-02287624v1

Technological Impacts in Socio-Technical Communities. Values and Pathologies

Ada Diaconescu , Jeremy Pitt
IEEE Technology and Society Magazine, 2017
Journal articles hal-02287625v1
Image document

An Asynchronous Computability Theorem for Fair Adversaries

Petr Kuznetsov , Thibault Rieutord , Yuan He
2017
Preprints, Working Papers, ... hal-01572257v4

A Concurrency-Optimal Binary Search Tree

Vitalii Aksenov , Vincent Gramoli , Petr Kuznetsov , Anna Malova , Srivatsan Ravi et al.
23rd International European Conference on Parallel and Distributed Computing - Euro-Par 2017, Aug 2017, Santiago de Compostella, Spain
Conference papers hal-01664898v1

Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processors

Karel de Vogeleer , Gérard Memmi , Pierre Jouvelot
Journal of Sustainable Computing, Informatics and Systems, 2017, 15, pp.16-27
Journal articles hal-02287590v1

A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models

Dominique Blouin , Matthias Barkowski , Melanie Schneider , Holger Giese , Johannes Dyck et al.
2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), Sep 2017, Lisbon, France. ⟨10.1109/REW.2017.52⟩
Conference papers hal-01873945v1
Image document

Experimental Energy Profiling of Energy-Critical Embedded Applications

Kameswar Rao Vaddina , Florian Brandner , Gérard Memmi , Pierre Jouvelot
25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6
Conference papers hal-01625409v2

A Requirements Engineering Approach for Usability-Driven DSL Development

Ankica Barisic , Dominique Blouin , Vasco Amaral , Miguel Goulao
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers hal-03340371v1

A Requirements Engineering Approach for Usability-Driven DSL Development

Ankica Barisic , Dominique Blouin , Vasco Amaral , Miguel Goulao
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers hal-01649727v1

Secure and Resilient Scheme for Data Protection in Unattanded Wireless Sensor Networks

Katarzyna Kapusta , Gérard Memmi , Hassan Noura
1st IEEE-IFIP CSNet, Oct 2017, Rio de Janero, Brazil
Conference papers hal-02287748v1

Auto-Adaptive Multi-Hop Clustering for Hybrid Cellular-Vehicular Networks

Julian Garbiso , Ada Diaconescu , Marceau Coupechoux , Bertrand Leroy
IEEE International Conference on Intelligent Transportation Systems (ITSC), Oct 2017, Yokohama, Japan. pp.1-6
Conference papers hal-02288490v1
Image document

Strengthening fonctional validation of critical system by using Model Checking : application to Instrumentation and control systems in nuclear power plants

Yanjun Sun
Software Engineering [cs.SE]. Télécom ParisTech, 2017. English. ⟨NNT : 2017ENST0047⟩
Theses tel-03419751v1
Image document

Modeling the energy consumption of programs: thermal aspects and Energy/Frequency Convexity Rule

Karel de Vogeleer , Kameswar Rao Vaddina , Florian Brandner , Pierre Jouvelot , Gérard Memmi et al.
The Ninth International Conference on Wireless Communications and Signal Processing (WCSP 2017), Oct 2017, Nanjing, China. pp.1-10
Conference papers hal-01622778v1
Image document

An efficient data protection architecture based on fragmentation and encryption

Han Qiu
Cryptography and Security [cs.CR]. Télécom ParisTech, 2017. English. ⟨NNT : 2017ENST0049⟩
Theses tel-03419019v1

A Game Theoretical Model for Optimal Distribution of Network Security Resources

Ziad Ismail , Christophe Kiennert , Jean Leneutre , Lin Chen
Gamesec, Oct 2017, Vienna, Austria. ⟨10.1007/978-3-319-68711-7_13⟩
Conference papers hal-01688475v1

TLS for Cooperative ITS Services

Mounira Msahli , Ahmed Serhrouchni , Houda Labiod , Arnaud Kaiser , Brigitte Lonc et al.
TLS for Cooperative ITS Services, pp.176-189, 2017, ⟨10.1007/978-3-319-72329-7_16⟩
Book sections hal-02354921v1

Dynamic Arbitration of Memory Requests with TDM-like Guarantees

Farouk Hebbache , Mathieu Jan , Florian Brandner , Laurent Pautet
Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Dec 2017, Paris, France
Conference papers hal-02287739v1
Image document

Progress-Space Tradeoffs in Single-Writer Memory Implementations

Damien Imbs , Petr Kuznetsov , Thibault Rieutord
21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisbon, Portugal. ⟨10.4230/LIPIcs.OPODIS.2017.9⟩
Conference papers hal-01787848v1

Preserving privacy in distributed system (PPDS) protocol: Security analysis

Ashref Aloui , Mounira Msahli , Talel Abdessalem , Stephane Bressan , Sihem Mesnager et al.
2017 IEEE 36th International Performance Computing and Communications Conference (IPCCC), Dec 2017, San Diego, France. pp.1-7, ⟨10.1109/PCCC.2017.8280505⟩
Conference papers hal-02353278v1
Image document

Approche sémantique de la conception de services connectés : cadre d'architecture, algorithmique de composition, application à la maison connectée

Rayhana Bouali Baghli
Modélisation et simulation. Télécom ParisTech, 2017. Français. ⟨NNT : 2017ENST0072⟩
Theses tel-03411977v1

AT2: Asynchronous Trustworthy Transfers

Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovic , Dragos-Adrian Seredinschi et al.
CoRR, 2018, abs/1812.10844
Journal articles hal-02288008v1

Parallel Combining: Benefits of Explicit Synchronization

Vitaly Aksenov , Petr Kuznetsov , Anatoly Shalyto
22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, 2018, Hong Kong, China. pp.11:1-11:16, ⟨10.4230/LIPIcs.OPODIS.2018.11⟩
Conference papers hal-02412405v1

Task Computability in Unreliable Anonymous Networks

Petr Kuznetsov , Nayuta Yanagisawa
22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, 2018, Hong Kong, China. pp.23:1-23:13, ⟨10.4230/LIPIcs.OPODIS.2018.23⟩
Conference papers hal-02412406v1

Defining services and service orchestrators acting on shared sensors and actuators

Rayhana Baghli , Elie Najm , Bruno Traverson
6th International Conference on Model-Driven Engineering and Software Development (ModelsWard'18), Jan 2018, Funchal, Portugal
Conference papers hal-02412326v1