Search - Archive ouverte HAL Access content directly

Filter your results

346 Results

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

Data-based access control in named data networking

Balkis Hamdane , Mounira Msahli , Ahmed Serhrouchni , Sihem Guemera
IEEE Internationale Conference, CollaborateCom, Oct 2013, Austin, Texas, United States
Conference papers hal-02287109v1

Data-based access control in Named Data Networking

Balkis Hamdane , Mounira Msahli , Ahmed Serhrouchni , Sihem Guemara El Fatmi
9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, France. ⟨10.4108/icst.collaboratecom.2013.254180⟩
Conference papers hal-03042232v1

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

Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systems

Farouk Hebbache
Hardware Architecture [cs.AR]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLT044⟩
Theses tel-02494421v1

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

Arbitration-Induced Preemption Delays

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩
Conference papers hal-02447339v1

Work-conserving dynamic time-division multiplexing for multi-criticality systems

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
Real-Time Systems, 2019, ⟨10.1007/s11241-019-09336-w⟩
Journal articles hal-02447512v1

Arbitration-Induced Preemption Delays

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart,, Germany
Conference papers hal-02447655v1
Image document

A generic and adaptive approach to explainable AI in autonomic systems : the case of the smart home

Etienne Houzé
Ubiquitous Computing. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT022⟩
Theses tel-03721520v1

What Should I Notice? Using Algorithmic Information Theory to Evaluate the Memorability of Events in Smart Homes

Étienne Houzé , Jean-Louis Dessalles , Ada Diaconescu , David Menga
Entropy, 2022, 24 (3), pp.346. ⟨10.3390/e24030346⟩
Journal articles hal-03813989v1

A Decentralized Approach to Explanatory Artificial Intelligence for Autonomic Systems

Etienne Houze , Ada Diaconescu , Jean-Louis Dessalles , David Menga , Mathieu Schumann et al.
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Aug 2020, Washington, France. pp.115-120, ⟨10.1109/ACSOS-C51401.2020.00041⟩
Conference papers hal-02963566v1

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

Panel session on AADL and its annexes

J. Hugues , Laurent Pautet , M Filali , Frank Singhoff
15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), Mar 2010, Oxford, United Kingdom
Conference papers hal-00652435v1
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 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

Optimal Deployment of Security Policies: Application to Industrial Control Systems

Ziad Ismail , Jean Leneutre , Alia Fourati
14th European Dependable Computing Conference (EDCC 2018), Sep 2018, Iasi, Romania
Conference papers hal-02287944v1

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

Auditing a Cloud Provider's Compliance with Data Backup Requirements: A Game Theoretical Analysis

Ziad Ismail , Christophe Kiennert , Jean Leneutre , David Bateman , Lin Chen et al.
IEEE Transactions on Information Forensics and Security, 2016, 11, pp.1685-1699. ⟨10.1109/tifs.2016.2549002⟩
Journal articles hal-01418390v1

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

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

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

Natural Strategic Abilities in Voting Protocols

Wojciech Jamroga , Damian Kurpiewski , Vadim Malvone
Socio-Technical Aspects in Security and Trust, 12812, Springer International Publishing, pp.45-62, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79318-0_3⟩
Book sections hal-03779036v1

How to measure usable security: Natural strategies in voting protocols1

Wojciech Jamroga , Damian Kurpiewski , Vadim Malvone
Journal of Computer Security, 2022, 30 (3), pp.381-409. ⟨10.3233/JCS-210049⟩
Journal articles hal-03779032v1

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

Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed Systems

Mathieu Jan , Christophe Jouvray , Fabrice Kordon , Antonio Kung , Jimmy Lalande et al.
Software: Practice and Experience, 2012, 42 (12), pp.1467-1494. ⟨10.1002/spe.1143⟩
Journal articles istex inria-00628310v1

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

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