Filter your results
- 248
- 97
- 1
- 207
- 76
- 25
- 13
- 10
- 4
- 4
- 3
- 2
- 2
- 338
- 30
- 8
- 5
- 4
- 2
- 1
- 1
- 1
- 1
- 29
- 39
- 30
- 42
- 29
- 40
- 23
- 37
- 24
- 21
- 10
- 5
- 6
- 5
- 3
- 1
- 1
- 330
- 16
- 308
- 21
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 49
- 49
- 44
- 38
- 35
- 21
- 21
- 20
- 17
- 17
- 16
- 13
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
346 Results
Set-Consensus Collections are DecidableOPODIS, Dec 2016, MADRID, Spain
Conference papers
hal-01416981v1
|
|||
Extending TLS with KMIP Protocol for Cloud Computing2016 8th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Nov 2016, Larnaca, France. pp.1-6, ⟨10.1109/NTMS.2016.7792452⟩
Conference papers
hal-02343631v1
|
|||
A Methodology to Apply a Game Theoretic Model of Security Risks Interdependencies Between ICT and Electric InfrastructuresGameSec, Nov 2016, New York, United States
Conference papers
hal-01418446v1
|
|||
Dynamic Cluster Size Optimization in Hybrid Cellular-Vehicular NetworksIEEE Intelligent Transportation Systems Conference, Nov 2016, Rio de Janeiro, Brazil. pp.1-7
Conference papers
hal-02287402v1
|
|||
|
Formal semantics of behavior specifications in the architecture analysis and design language standardHLDVT 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
|
||
|
DUX4-induced constitutive DNA damage and oxidative stress contribute to aberrant differentiation of myoblasts from FSHD patientsFree Radical Biology and Medicine, 2016, 99, pp.244 - 258. ⟨10.1016/j.freeradbiomed.2016.08.007⟩
Journal articles
hal-01804819v1
|
||
POSTER: A Keyless Efficient Algorithm for Data Protection by Means of FragmentationACM Conference on Computer and Communications Security 2016, Oct 2016, Vienna, Austria
Conference papers
hal-02287535v1
|
|||
|
Perfect Failure Detection with Very Few Bits[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016
Reports
hal-01365304v1
|
||
Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France
Conference papers
hal-02287520v1
|
|||
Interactive Self-Governance and Value-Sensitive Design for Self-Organising Socio-Technical SystemsFourth International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO^ST@SASO2016), Sep 2016, Ausgburg, Germany
Conference papers
hal-02288465v1
|
|||
Goal-oriented Holonics for Complex System (Self-)Integration: Concepts and Case Studies10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016), Sep 2016, Augsburg, Germany. pp.10
Conference papers
hal-02287380v1
|
|||
Structure informatique perfectionnée d’un objet connectéFrance, N° de brevet: B2665. RB-EN-BT:Brevet16. 2016
Patents
hal-02412544v1
|
|||
Auditing a Cloud Provider's Compliance with Data Backup Requirements: A Game Theoretical AnalysisIEEE Transactions on Information Forensics and Security, 2016, 11, pp.1685-1699. ⟨10.1109/tifs.2016.2549002⟩
Journal articles
hal-01418390v1
|
|||
Model-Based Verification Directed by Structural Coverage and Functional RequirementsModel-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria
Conference papers
hal-02287373v1
|
|||
Eager Stack Cache Memory TransfersWorkshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France
Conference papers
hal-02287376v1
|
|||
Modélisation de la consommation énergétique des programmes : aspects thermiques et loi de convexité énergie-fréquenceGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2016, 117, pp 47-59
Journal articles
hal-01531341v1
|
|||
Thermal behavior and Energy/Frequency Convexity Rule of Energy Consumption for ProgramsInternational Conference on Software & Systems Engineering and their Applications (ICSSEA'16) , May 2016, Paris, France
Conference papers
hal-01531505v1
|
|||
|
Complexité du consensus anonyme en l'absence de concurrenceALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Conference papers
hal-01304268v2
|
||
A Model-Based Testing Process for Enhancing Structural Coverage in Functional TestingInt. Conf. CSDM Asia, Feb 2016, Singapore, Singapore. pp.171-180
Conference papers
hal-02287374v1
|
|||
In-Band Synchronization for Distributed SDN Control PlanesComputer Communication Review, 2016, 46 (1), pp.37-43
Journal articles
hal-02287556v1
|
|||
SyncDS: A digital safe based file synchronization approach2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2016, Las Vegas, France. pp.317-318, ⟨10.1109/CCNC.2016.7444796⟩
Conference papers
hal-02354922v1
|
|||
Perfect Failure Detection with Very Few Bits18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, Lyon, France
Conference papers
hal-01423637v1
|
|||
|
Formal semantics of behavior specifications in the architecture analysis and design language standard[Research Report] RR-8950, INRIA. 2016, pp.30 - 39
Reports
hal-01419973v1
|
||
Digital safe: Secure synchronization of shared files2015 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
|
|||
On the Uncontended Complexity of Anonymous Consensus19th International Conference on Principles of Distributed Systems - OPODIS 2015, Dec 2015, Rennes, France. ⟨10.4230/LIPIcs.OPODIS.2015.12⟩
Conference papers
hal-01411528v1
|
|||
CALCULATEUR COMPRENANT UN PROCESSEUR MULTICOEUR ET PROCEDE DE CONTROLE D'UN TEL CALCULATEURFrance, N° de brevet: FR20130002040 20130903. XJTR:BrevMulDet-2015. 2015, pp.31
Patents
hal-02412552v1
|
|||
Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES)ICECCS, Dec 2015, Gold Coast, Australia. pp.21-30
Conference papers
hal-02292449v1
|
|||
A Comparative Study of the Precision of Stack Cache Occupancy Analyses9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
Conference papers
hal-01246343v1
|
|||
Efficient Context Switching for the Stack CacheProceedings 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
|
|||
Generalized mixed-criticality scheduling based on RUN23rd 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
|