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
Verifying remote data integrity in peer-to-peer data storage: A comprehensive survey of protocolsPeer-to-Peer Networking and Applications, 2012, 5 (3), pp.231-243
Journal articles
hal-02286502v1
|
|||
Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems ModelsICECCS 2012, Jul 2012, Paris, France
Conference papers
hal-02286400v1
|
|||
Architectural Integration Patterns for Autonomic Management Systems9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe 2012), Apr 2012, Novi Sad, Serbia
Conference papers
hal-02286263v1
|
|||
Service Orchestration with Orcharts and TypechartsSeminaire INRIA, Mar 2010, Rennes, France
Conference papers
hal-02278638v1
|
|||
Publish/Subscribe for Wireless Sensor Networks (Invited paper)Asian Internet Engineering Conference (AINTEC) 2011, Nov 2011, Bangkok, Thailand
Conference papers
hal-02278598v1
|
|||
|
Développer une nouvelle approche pédagogique ", questionnement autour du cas de PicoLibreQuestions 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
|
||
|
COntinuuM, a CO-modelling Methodology for the Integration of Real-time Architecture ModelsEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Conference papers
hal-02270295v1
|
||
|
Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity DomainEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers
insu-02270097v1
|
||
|
Using AADL to build critical real-time systems: Experiments in the IST-ASSERT projectEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers
insu-02270096v1
|
||
|
Modeling and Validation of ARINC653 architecturesERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Conference papers
hal-02269428v1
|
||
|
Improving quality of experience in multimedia streaming by leveraging Information-Centric NetworkingNetworking and Internet Architecture [cs.NI]. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLT012⟩
Theses
tel-02164014v1
|
||
|
Authenticated and Privacy-Preserving Consent Management in the Internet of ThingsANT 2019: 10th International Conference on Ambient Systems, Networks and Technologies (ANT), Apr 2019, Leuven, Belgium. pp.256-263, ⟨10.1016/j.procs.2019.04.037⟩
Conference papers
hal-02147191v1
|
||
|
Experimental Energy Profiling of Energy-Critical Embedded Applications25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6
Conference papers
hal-01625409v2
|
||
|
Deployment of mixed criticality and data driven systems on multi-cores architecturesEmbedded Systems. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLT004⟩
Theses
tel-02086680v1
|
||
|
Anticanonical codes from del Pezzo surfaces with Picard rank oneTransactions of the American Mathematical Society, 2020, ⟨10.1090/tran/8119⟩
Journal articles
hal-02075926v1
|
||
Self-Managing Pervasive Computing2014 IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW), Sep 2014, Imperial College, France. pp.5-5
Conference papers
hal-02023539v1
|
|||
A survey on game-theoretic approaches for intrusion detection and response optimizationACM Computing Surveys, 2019, 51 (5), pp.article 90 -. ⟨10.1145/3232848⟩
Journal articles
hal-02009646v1
|
|||
Self-integrating Organic Control Systems: from Crayfish to Smart Homes2018
Other publications
hal-01996515v1
|
|||
Hierarchical Self-awareness and Authority for Scalable Self-integrating Systems2018
Other publications
hal-01996481v1
|
|||
Improving data collection in complex networks with failure-prone agents via local marking6th International Symposium of Language and Knowledge Engineering (LKE 2018), Oct 2018, Puebla, Mexico
Conference papers
hal-01996468v1
|
|||
Enabling Relevant Dialogue between Users and Autonomic Systems: a Design for Explainable AI for the Smart Home2019
Other publications
hal-01996461v1
|
|||
Directed Acyclic Graph Scheduling for Mixed-Criticality SystemsReliable Software Technologies, Jun 2017, Vienne, Austria. pp.217-232
Conference papers
hal-01995010v1
|
|||
Availability enhancement and analysis for mixed-criticality systems on multi-core2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2018, Dresden, France. pp.1271-1276
Conference papers
hal-01994643v1
|
|||
Shedding the Shackles of Time-Division MultiplexingRTSS 2018 - IEEE Real-Time Systems Symposium, Dec 2018, Nashville, France. pp.456-468, ⟨10.1109/RTSS.2018.00059⟩
Conference papers
hal-01994629v1
|
|||
|
Scheduling Multi-Periodic Mixed-Criticality DAGs on Multi-Core Architectures39th IEEE Real-Time Systems Symposium (RTSS 2018), Dec 2018, Nashville, TN, United States. ⟨10.1109/RTSS.2018.00042⟩
Conference papers
hal-01994627v1
|
||
|
Towards end-to-end privacy for publish/subscribe architectures in the Internet of ThingsM4IoT 2018: 5th Workshop on Middleware and Applications for the Internet of Things at the 2018 ACM/IFIP International Middleware Conference, Dec 2018, Rennes, France. pp.35 - 40, ⟨10.1145/3286719.3286727⟩
Conference papers
hal-01940866v1
|
||
|
Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule2018
Preprints, Working Papers, ...
hal-01939768v1
|
||
|
On Helping and StacksThe International Conference on Networked Systems, May 2018, Essaouira, Morocco
Conference papers
hal-01888607v1
|
||
|
Brief Announcement: Performance Prediction for Coarse-Grained LockingPODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩
Conference papers
hal-01887733v1
|
||
|
A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), Sep 2017, Lisbon, France. ⟨10.1109/REW.2017.52⟩
Conference papers
hal-01873945v1
|
||
|
Public Privacy and Brick Houses Made of Glass12th IFIP International Conference on Trust Management (TM), Jul 2018, Toronto, ON, Canada. pp.137-148, ⟨10.1007/978-3-319-95276-5_10⟩
Conference papers
hal-01855989v1
|
||
|
Questioning the security and efficiency of the ESIoT approachWISEC 2018: 11th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2018, Stockholm, Sweden. pp.202 - 207, ⟨10.1145/3212480.3212491⟩
Conference papers
hal-01850383v1
|
||
Scheduling algorithms to reduce the static energy consumption of real-time systemsExperiments in Fluids, 2015, 56 (3), pp.153-191. ⟨10.1007/s11241-014-9207-7⟩
Journal articles
cea-01846864v1
|
|||
Handling criticality mode change in time-triggered systems through linear programmingAda User Journal, 2014, 35 (2), pp.133-137
Journal articles
cea-01844456v1
|
|||
A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systemsRTNS '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
|
|||
|
Progress-Space Tradeoffs in Single-Writer Memory Implementations21st 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 Optimal Distribution of Network Security ResourcesGamesec, Oct 2017, Vienna, Austria. ⟨10.1007/978-3-319-68711-7_13⟩
Conference papers
hal-01688475v1
|
|||
|
A Concurrency-Optimal Binary Search Tree23rd International European Conference on Parallel and Distributed Computing - Euro-Par 2017, Aug 2017, Santiago de Compostella, Spain
Conference papers
hal-01664898v1
|
||
A Requirements Engineering Approach for Usability-Driven DSL DevelopmentInternational Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers
hal-01649727v1
|
|||
|
Modeling the energy consumption of programs: thermal aspects and Energy/Frequency Convexity RuleThe Ninth International Conference on Wireless Communications and Signal Processing (WCSP 2017), Oct 2017, Nanjing, China. pp.1-10
Conference papers
hal-01622778v1
|
||
|
Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language StandardCyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint, ⟨10.1007/978-981-10-4436-6_3⟩
Book sections
hal-01615143v1
|
||
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
|
|||
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
|
|||
|
Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application ProcessorsSustainable Computing : Informatics and Systems, 2017, 15, pp.16-27. ⟨10.1016/j.suscom.2017.05.001⟩
Journal articles
hal-01531295v1
|
||
|
SuperVision : controler spatialement les objets connectés dans une maison intelligenteIHM'14: Conférence francophone sur l'Interaction Homme Machine, Oct 2014, Lille, France. ⟨10.1145/2670444.2670471⟩
Conference papers
hal-01442956v1
|
||
|
SuperVision: Spatial Control of Connected Objects in a Smart HomeCHI Extended Abstracts: ACM Conference on Human Factors in Computing Systems, Apr 2015, Soul, South Korea. pp.2079-2084, ⟨10.1145/2702613.2732779⟩
Conference papers
hal-01147717v1
|
||
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
|
||
|
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
|
||
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
|