Search - Archive ouverte HAL Access content directly

Filter your results

346 Results
Image document

Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et Adaptatifs

Etienne Borde
Systèmes embarqués. Télécom ParisTech, 2009. Français. ⟨NNT : ⟩
Theses pastel-00563947v1

CONNEXION : Éléments de méthodologie de vérification et validation. Épisode 1 : relever les principaux défis

Yanjun Sun , Gérard Memmi , Sylvie Vignes , Frédéric Daumas
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109, pp.50-60
Journal articles hal-02287057v1
Image document

Consensus Byzantin et blockchain : Modèles unifiés et nouveaux protocoles

Antoine Durand
Data Structures and Algorithms [cs.DS]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT025⟩
Theses tel-03583890v1
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

Control plane in dynamic software networks

Adrien Wion
Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT007⟩
Theses tel-03506284v1

Controllability of Orchestrated Sessions

Elie Najm
Invited Talk - WWV'11, 7th Int'l Workshop on Automated Specification and Verification of Web Systems, Jun 2011, Reykjavik, Iceland
Conference papers hal-02288310v1
Image document

Controlling self-organising software applications with archetypes

Bassem Debbabi , Ada Diaconescu , Philippe Lalanda
IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2012, Lyon, France. ⟨10.1109/SASO.2012.21⟩
Conference papers hal-02286412v1

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

CoRA: a scalable Collective Remote Attestation protocol for sensor networks

Aida Diop , Maryline Laurent , Jean Leneutre , Jacques Traoré
ICISSP 2020: 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valletta, Malta. pp.84-95, ⟨10.5220/0008962700840095⟩
Conference papers hal-03024074v1

Data Integrity and Availability Verification Game in Untrusted Cloud Storage

Brahim Djebaili , Christophe Kiennert , Jean Leneutre , Lin Chen
GameSec, Nov 2014, Los Angeles, United States
Conference papers hal-01110522v1

Data protection by means of fragmentation in distributed storage systems

Katarzyna Kapusta , Gérard Memmi
CFIP-Notere, Jul 2015, Paris, France
Conference papers hal-02288464v1

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

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

DC coefficient recovery for JPEG images in ubiquitous communication systems

Han Qiu , Gérard Memmi , Xuan Chen , Jian Xiong
Future Generation Computer Systems, 2019, 96, pp.23-31. ⟨10.1016/j.future.2019.01.037⟩
Journal articles hal-02450213v1

DC Coefficients Recovery from AC Coefficients in the JPEG Compression Scenario

Han Qiu , Qinkai Zheng , Meikang Qiu , Gérard Memmi
Smart Computing and Communication, Oct 2019, Birmingham, United Kingdom. pp.266-276, ⟨10.1007/978-3-030-34139-8_26⟩
Conference papers hal-02450312v1

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

Description de la méthode SCRUM à travers deux expériences en entreprise

Gérard Memmi
[Rapport de recherche] LTCI - Laboratoire Traitement et Communication de l'Information [Paris]. 2020
Reports hal-03089815v3

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

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

Deux retours d’expérience avec la méthodologie SCRUM

Gérard Memmi
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2011, 98, pp.52-58
Journal articles hal-02287375v1
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

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

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

DUX4-induced constitutive DNA damage and oxidative stress contribute to aberrant differentiation of myoblasts from FSHD patients

Petr Dmitriev , Yara Bou Saada , Carla Dib , Eugénie Ansseau , Ana Barat et al.
Free Radical Biology and Medicine, 2016, 99, pp.244 - 258. ⟨10.1016/j.freeradbiomed.2016.08.007⟩
Journal articles hal-01804819v1

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

Dynamic Cluster Size Optimization in Hybrid Cellular-Vehicular Networks

Julian Garbiso , Ada Diaconescu , Marceau Coupechoux , Bertrand Leroy
IEEE Intelligent Transportation Systems Conference, Nov 2016, Rio de Janeiro, Brazil. pp.1-7
Conference papers hal-02287402v1

Eager Stack Cache Memory Transfers

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

Early Error Detection for Fault Tolerance Strategies

Thomas Robert , Matthieu Roy , Jean-Charles Fabre
18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.159-168
Conference papers hal-00546934v1