Search - Archive ouverte HAL Access content directly

Filter your results

153 Results
Document type : Conference papers
Deposit type : Notice

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

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

Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL

Fabien Cadoret , Robert Thomas , Etienne Borde , Laurent Pautet , Frank Singhoff et al.
17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany
Conference papers hal-01121244v1

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

Reconfigurable Lattice Agreement and Applications

Petr Kuznetsov , Thibault Rieutord , Tucci-Piergiovanni Sara
OPODIS, Dec 2019, Neuchatel, Switzerland
Conference papers hal-03022570v1

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

Incentive-oriented Task Assignment in Holonic Organic Systems

Jan Kantert , Sven Tomforde , Ada Diaconescu , Christian Müller-Schloer
5th International Workshop on "Self-Optimisation in Autonomic and Organic Computing Systems, SAOS@ARCS 2017, Apr 2017, Vienna, Austria
Conference papers hal-02287560v1

Explanatory AI for Pertinent Communication in Autonomic Systems

Arles Rodríguez , Nathaly Botina , Jonatan Gómez , Marius Pol , Jean-Louis Dessalles et al.
Intelligent Systems and Applications, Sep 2019, Londres, United Kingdom. pp.212-227, ⟨10.1007/978-3-030-29516-5_16⟩
Conference papers hal-02449644v1

Self-awareness and Decision-taking in Socio-Cyber-Physical Systems. An Architectural Perspective

Ada Diaconescu , Jeremy Pitt
3rd International Workshop on Self-Awareness in Cyber-Physical Systems (SelPhyS'18), Apr 2018, Birmingham, United Kingdom
Conference papers hal-02287875v1

Eager Stack Cache Memory Transfers

Naji Amine , Florian Brandner
Workshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France
Conference papers hal-02287376v1

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

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

POSTER: Circular AON: A very fast Scheme to protect Encrypted Data Against Key Exposure

Katarzyna Kapusta , Gérard Memmi
ACM CCS’18, Oct 2018, Toronto, Canada
Conference papers hal-02288015v1

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

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

Reinforcing Protection Against Chosen-Plaintext Attack Using Ciphertext Fragmentation in Multi-cloud Environments

Katarzyna Kapusta , Han Qiu , Gérard Memmi
2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), Jun 2019, Paris, France. pp.7-9, ⟨10.1109/CSCloud/EdgeCom.2019.00011⟩
Conference papers hal-02450307v1

Multi-hop Data Fragmentation in Energy Harvesting Wireless Sensor Networks

Keun-Woo Lim , Katarzyna Kapusta , Gerard Memmi , Woo-Sung Jung
2020 Global Internet of Things Summit (GIoTS), Jun 2020, Dublin, France. pp.1-6, ⟨10.1109/GIOTS49054.2020.9119569⟩
Conference papers hal-03559678v1

Keynote speech

Mounira Msahli
2018 Fourth International Conference on Mobile and Secure Services (MobiSecServ), Feb 2018, Miami Beach, France. pp.1-1, ⟨10.1109/MOBISECSERV.2018.8311434⟩
Conference papers hal-02354925v1

Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies

Istvan David , Eugene Syriani , Clark Verbrugge , Didier Buchs , Dominique Blouin et al.
1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France
Conference papers hal-02287520v1

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

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

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

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

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

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

Poster Abstract: Secure Data Sharing by Means of Fragmentation, Encryption, and Dispersion

Katarzyna Kapusta , Han Qiu , Gérard Memmi
IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Apr 2019, Paris, France. pp.1051-1052, ⟨10.1109/INFCOMW.2019.8845243⟩
Conference papers hal-02450308v1

A Dynamic Scalable Blockchain Based Communication Architecture for IoT

Han Qiu , Meikang Qiu , Meiqin Liu , Zhong Ming , Gérard Memmi et al.
SmartBlock'18, Dec 2018, Tokyo, Japan. pp.159-166
Conference papers hal-02288555v1

COOB: Hybrid secure device pairing scheme in a hostile environment

Jean Leneutre , Sameh Khalfaoui , Arthur Villard , Xingjuan Ma
16th EAI International Conference on Security and Privacy in Communication Networks, Oct 2020, Washington DC, United States
Conference papers hal-03024246v1

Openflow and on demand networks

Mounira Msahli , Guy Pujolle , Ahmed Serhrouchni , Ahmad Fadlallah , Fouad Guenane et al.
2012 Third International Conference on the Network of the Future (NOF), Nov 2012, Tunis, Tunisia. pp.1-5, ⟨10.1109/NOF.2012.6464006⟩
Conference papers hal-02354918v1

Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach

Maxime Ayrault , Etienne Borde , Ulrich Kühne , Jean Leneutre
2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC), Dec 2021, Perth, Australia. pp.27-36, ⟨10.1109/PRDC53464.2021.00014⟩
Conference papers hal-03758375v1