Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Collection : Onera

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

A Lightweight Fluid Model for Mobile Ad hoc Distributed Systems

Authors : Chianca Ferreira, Bruno; Dufour, Guillaume; Silvestre, Guthemberg ...

Subjects: distributed systems; edge; swarmRhodes; Greece

Source: 2022 IEEE Symposium on Computers and Communications (ISCC)ISCC2022https://hal.science/hal-03668033ISCC2022, Jun 2022, Rhodes, Greece. ⟨10.1109/ISCC55528.2022.9912980⟩

Read More Add to Saved list

Conference

Analyzing the Fundamental Liveness Property of the Chord Protocol

Authors : Brunel, Julien; Chemouil, David; Tawa, Jeanne ...

Subjects: Chord protocol; distributed systems; formal specification and verificationAustin; United States

Source: Formal Methods in Computer-Aided Design ; https://hal.science/hal-01862755 ; Formal Methods in Computer-Aided Design, Oct 2018, Austin, United States ;

Read More Add to Saved list

Dissertation/ Thesis

Modelling, Simulating and Emulating Distributed Applications in Swarms of Cyber-Physical Systems Deployed in Dynamic Networks ; Modélisation, simulation et émulation d'applications distribuées dans des essaims de systèmes cyber-physiques déployés dans des réseaux dynamiques

Authors : Chianca Ferreira, Bruno;

Subjects: Edge computing; Critical distributed systems; Cyber-Physical systems

Source: https://theses.hal.science/tel-04164523 ; Embedded Systems. INSA de Toulouse, 2023. English. ⟨NNT : 2023ISAT0006⟩.

Read More Add to Saved list

Conference

Sound Verification Procedures for Temporal Properties of Infinite-State Systems

Authors : Peyras, Quentin; Bodeveix, Jean-Paul; Brunel, Julien ...

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]Los Angeles (Online); United States

Source: 33rd International Conference on Computer-Aided Verification (CAV 2021)https://hal.science/hal-0324312933rd International Conference on Computer-Aided Verification (CAV 2021), Jul 2021,

Read More Add to Saved list

Conference

Impact of Operational Reliability Re-assessment during Aircraft Missions

Authors : Tiassou, Kossi; Kanoun, Karama; Kaâniche, Mohamed ...

Subjects: Aircraft mission reliability; stochastic assessment; dependabity modelingIrvine; CA; United States

Source: The 31st IEEE Symposium on Reliable Distributed Systems (SRDS 2012) ; https://hal.science/hal-01176048 ; The 31st IEEE Symposium on

Read More Add to Saved list

Conference

Organization based access control

Authors : Abou El Kalam, Anas; El Baida, Rania; Balbiani, Philippe ...

Subjects: Permission; Context modeling; Medical servicesLake Como; Italy

Source: Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks ; 4th International Workshop on

Read More Add to Saved list

Report

Industrial challenge: Embedded reconfiguration of TSN

Authors : Boyer, Marc; Henia, Rafik;

Subjects: Data network; real time; TSN - Time Sensitive Networking

Source: https://hal.science/hal-04630862 ; 2024.

Read More Add to Saved list

Academic Journal

Using A Quadrotor As Wind Sensor: Time-Varying Parameter Estimation Algorithms

Authors : Perozzi, Gabriele; Efimov, Denis; Biannic, Jean-Marc ...

Subjects: Quadrotor; wind velocity estimation; time-varying parameter estimation

Source: ISSN: 0020-7179.

Read More Add to Saved list