Filter your results
- 247
- 97
- 2
- 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
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architectureInternational Journal on Software Tools for Technology Transfer, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩
Journal articles
hal-03702426v1
|
|||
RTNS 2022: The 30th International Conference on Real-Time Networks and SystemsACM; ACM, 2022, ⟨10.1145/3534879⟩
Proceedings
hal-03951192v1
|
|||
A Coq Framework for More Trustworthy DRAM ControllersRTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩
Conference papers
hal-03702493v1
|
|||
|
Security bootstrapping for Internet of ThingsCryptography and Security [cs.CR]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT023⟩
Theses
tel-03719946v1
|
||
|
A generic and adaptive approach to explainable AI in autonomic systems : the case of the smart homeUbiquitous Computing. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT022⟩
Theses
tel-03721520v1
|
||
How to measure usable security: Natural strategies in voting protocols1Journal of Computer Security, 2022, 30 (3), pp.381-409. ⟨10.3233/JCS-210049⟩
Journal articles
hal-03779032v1
|
|||
Threats to Adversarial Training for IDSs and Mitigation19th International Conference on Security and Cryptography, Jul 2022, Lisbon, France. pp.226-236, ⟨10.5220/0011277600003283⟩
Conference papers
hal-03801012v1
|
|||
|
The devil hides in the model: Reviewing Blockchain and BFT protocolsBlockchain 22 4th International Congress on Blockchain and Applications, Jul 2022, L'Aquila, Italy
Conference papers
hal-03860862v1
|
||
The Role of Causality in a Formal Definition of Timing Anomalies2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, France. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩
Conference papers
hal-03867187v1
|
|||
|
Efficient Prior Publication Identification for Open Source Code18th International Conference on Open Source Systems (OSS 2022), Sep 2022, Madrid, Spain
Conference papers
hal-03735961v1
|
||
|
Software Artifact Mining in Software Engineering Conferences: A Meta-AnalysisACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2022), Sep 2022, Helsinki, Finland. ⟨10.1145/3544902.3546239⟩
Conference papers
hal-03723556v1
|
||
Solving the instance model-view update problem in AADLMODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.55-65, ⟨10.1145/3550355.3552396⟩
Conference papers
hal-03905639v1
|
|||
|
Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models4th International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.677-683, ⟨10.1145/3550356.3563129⟩
Conference papers
hal-03905633v1
|
||
|
New architecture and function to improve autonomy, dynamicity, and intelligence of future network managementNetworking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT042⟩
Theses
tel-03910691v1
|
||
|
Reinforcement Learning Based Architectures for Dynamic Generation of Smart Home Services2022
Other publications
hal-03860833v1
|
||
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect informationArtificial Intelligence, 2023, 316, pp.103847. ⟨10.1016/j.artint.2022.103847⟩
Journal articles
hal-03960910v1
|