Search - Archive ouverte HAL Access content directly

Filter your results

346 Results

Verifying remote data integrity in peer-to-peer data storage: A comprehensive survey of protocols

Nouha Oualha , Jean Leneutre , Yves Roudier
Peer-to-Peer Networking and Applications, 2012, 5 (3), pp.231-243
Journal articles hal-02286502v1

Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models

Fabien Cadoret , Etienne Borde , Sébastien Gardoll , Laurent Pautet
ICECCS 2012, Jul 2012, Paris, France
Conference papers hal-02286400v1

Architectural Integration Patterns for Autonomic Management Systems

Sylvain Frey , Ada Diaconescu , Isabelle Demeure
9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe 2012), Apr 2012, Novi Sad, Serbia
Conference papers hal-02286263v1

Service Orchestration with Orcharts and Typecharts

Elie Najm
Seminaire INRIA, Mar 2010, Rennes, France
Conference papers hal-02278638v1

Publish/Subscribe for Wireless Sensor Networks (Invited paper)

Claude Chaudet , Isabelle Demeure , Salma Ktari , Nicola Costagliola , Samuel Tardieu et al.
Asian Internet Engineering Conference (AINTEC) 2011, Nov 2011, Bangkok, Thailand
Conference papers hal-02278598v1
Image document

Développer une nouvelle approche pédagogique ", questionnement autour du cas de PicoLibre

Eric Cousin , Gérald Ouvradou , C. Bac , O. Berger , P. Lalevee et al.
Questions de pédagogies dans l'enseignement supérieur : réflexions, projets et pratiques : actes du 2e colloque, Brest, 25-27 juin 2003, organisé par l'ENSIETA et l'ENST Bretagne, Jun 2003, Brest, France. pp.109 - 114
Conference papers hal-02274532v1
Image document

COntinuuM, a CO-modelling Methodology for the Integration of Real-time Architecture Models

I Perseil , Laurent Pautet
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Conference papers hal-02270295v1
Image document

Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain

Julien Delange , Jérôme Hugues , Laurent Pautet , Bechir Zalila
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers insu-02270097v1
Image document

Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project

J Hugues , Laurent Pautet , B Zalila , P Dissaux , M Perrotin et al.
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers insu-02270096v1
Image document

Modeling and Validation of ARINC653 architectures

Julien Delange , Laurent Pautet , Fabrice Kordon
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Conference papers hal-02269428v1
Image document

Improving quality of experience in multimedia streaming by leveraging Information-Centric Networking

Jacques Samain
Networking and Internet Architecture [cs.NI]. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLT012⟩
Theses tel-02164014v1
Image document

Authenticated and Privacy-Preserving Consent Management in the Internet of Things

Maryline Laurent , Jean Leneutre , Sophie Chabridon , Imane Laaouane
ANT 2019: 10th International Conference on Ambient Systems, Networks and Technologies (ANT), Apr 2019, Leuven, Belgium. pp.256-263, ⟨10.1016/j.procs.2019.04.037⟩
Conference papers hal-02147191v1
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
Image document

Deployment of mixed criticality and data driven systems on multi-cores architectures

Roberto Medina
Embedded Systems. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLT004⟩
Theses tel-02086680v1
Image document

Anticanonical codes from del Pezzo surfaces with Picard rank one

Régis Blache , Alain Couvreur , Emmanuel Hallouin , David Madore , Jade Nardi et al.
Transactions of the American Mathematical Society, 2020, ⟨10.1090/tran/8119⟩
Journal articles hal-02075926v1

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

A survey on game-theoretic approaches for intrusion detection and response optimization

Christophe Kiennert , Ismail Ziad , Hervé Debar , Jean Leneutre
ACM Computing Surveys, 2019, 51 (5), pp.article 90 -. ⟨10.1145/3232848⟩
Journal articles hal-02009646v1

Self-integrating Organic Control Systems: from Crayfish to Smart Homes

Ada Diaconescu , Pembe Mata , Kirstie Bellman
2018
Other publications hal-01996515v1

Hierarchical Self-awareness and Authority for Scalable Self-integrating Systems

Ada Diaconescu , Barry Porter , Roberto Rodrigues , Evangelos Pournaras
2018
Other publications hal-01996481v1

Improving data collection in complex networks with failure-prone agents via local marking

Jonathan Gomez , Arles Rodriguez , Nathaly Botina , Ada Diaconescu
6th International Symposium of Language and Knowledge Engineering (LKE 2018), Oct 2018, Puebla, Mexico
Conference papers hal-01996468v1

Enabling Relevant Dialogue between Users and Autonomic Systems: a Design for Explainable AI for the Smart Home

Etienne Houzé , Ada Diaconescu , Jean-Louis Dessalles , David Menga
2019
Other publications hal-01996461v1

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

Availability enhancement and analysis for mixed-criticality systems on multi-core

Roberto Medina , Etienne Borde , Laurent Pautet
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2018, Dresden, France. pp.1271-1276
Conference papers hal-01994643v1

Shedding the Shackles of Time-Division Multiplexing

Farouk Hebbache , Mathieu Jan , Florian Brandner , Laurent Pautet
RTSS 2018 - IEEE Real-Time Systems Symposium, Dec 2018, Nashville, France. pp.456-468, ⟨10.1109/RTSS.2018.00059⟩
Conference papers hal-01994629v1
Image document

Scheduling Multi-Periodic Mixed-Criticality DAGs on Multi-Core Architectures

Roberto Medina , Etienne Borde , Laurent Pautet
39th IEEE Real-Time Systems Symposium (RTSS 2018), Dec 2018, Nashville, TN, United States. ⟨10.1109/RTSS.2018.00042⟩
Conference papers hal-01994627v1
Image document

Towards end-to-end privacy for publish/subscribe architectures in the Internet of Things

Stevan Coroller , Sophie Chabridon , Maryline Laurent , Denis Conan , Jean Leneutre et al.
M4IoT 2018: 5th Workshop on Middleware and Applications for the Internet of Things at the 2018 ACM/IFIP International Middleware Conference, Dec 2018, Rennes, France. pp.35 - 40, ⟨10.1145/3286719.3286727⟩
Conference papers hal-01940866v1

Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule

Kameswar Vaddina , Florian Brandner , Gerard Memmi , Pierre Jouvelot
2018
Preprints, Working Papers, ... hal-01939768v1
Image document

On Helping and Stacks

Vitalii Aksenov , Petr Kuznetsov , Anatoly Shalyto
The International Conference on Networked Systems, May 2018, Essaouira, Morocco
Conference papers hal-01888607v1
Image document

Brief Announcement: Performance Prediction for Coarse-Grained Locking

Vitalii Aksenov , Dan Alistarh , Petr Kuznetsov
PODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩
Conference papers hal-01887733v1

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

Public Privacy and Brick Houses Made of Glass

Stephen Marsh , Ada Diaconescu , David Evans , Tracy Ann Kosa , Peter R. Lewis et al.
12th IFIP International Conference on Trust Management (TM), Jul 2018, Toronto, ON, Canada. pp.137-148, ⟨10.1007/978-3-319-95276-5_10⟩
Conference papers hal-01855989v1
Image document

Questioning the security and efficiency of the ESIoT approach

Aida Diop , Said Gharout , Maryline Laurent , Jean Leneutre , Jacques Traoré et al.
WISEC 2018: 11th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2018, Stockholm, Sweden. pp.202 - 207, ⟨10.1145/3212480.3212491⟩
Conference papers hal-01850383v1

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

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

A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems

V. Legout , M. Jan , Laurent Pautet
RTNS '13 Proceedings of the 21st International conference on Real-Time Networks and Systems, Oct 2013, Sophia Antipolis, France. pp.99-108, ⟨10.1145/2516821.2516839⟩
Conference papers cea-01818894v1
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

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

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

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

Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard

Loic Besnard , Thierry Gautier , Paul Le Guernic , Clément Guy , Jean-Pierre Talpin et al.
Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint, ⟨10.1007/978-981-10-4436-6_3⟩
Book sections hal-01615143v1

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

Modélisation de la consommation énergétique des programmes : aspects thermiques et loi de convexité énergie-fréquence

Pierre Jouvelot , Karel de Vogeleer , Gerard Memmi
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2016, 117, pp 47-59
Journal articles hal-01531341v1
Image document

Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application Processors

Karel de Vogeleer , Gerard Memmi , Pierre Jouvelot
Sustainable Computing : Informatics and Systems, 2017, 15, pp.16-27. ⟨10.1016/j.suscom.2017.05.001⟩
Journal articles hal-01531295v1
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
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

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

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

Loïc Besnard , Thierry Gautier , Clément Guy , Paul Le Guernic , Jean-Pierre Talpin et al.
HLDVT 2016 - 18th IEEE International High-Level Design Validation and Test Workshop, Oct 2016, Santa Cruz, United States. pp.30-39, ⟨10.1109/HLDVT.2016.7748252⟩
Conference papers hal-01419968v1

A Methodology to Apply a Game Theoretic Model of Security Risks Interdependencies Between ICT and Electric Infrastructures

Ziad Ismail , Jean Leneutre , David Bateman , Lin Chen
GameSec, Nov 2016, New York, United States
Conference papers hal-01418446v1