Filter your results
- 240
- 88
- 2
- 202
- 71
- 24
- 11
- 9
- 4
- 4
- 3
- 2
- 322
- 30
- 8
- 5
- 4
- 2
- 1
- 1
- 1
- 1
- 29
- 39
- 29
- 42
- 29
- 37
- 21
- 36
- 22
- 19
- 9
- 3
- 6
- 4
- 3
- 1
- 330
- 16
- 293
- 20
- 8
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 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
- 1
- 48
- 44
- 43
- 37
- 34
- 21
- 21
- 20
- 17
- 17
- 16
- 13
- 11
- 10
- 10
- 10
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 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
- 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
- 3
|
PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home ServicesChristine Strauss; Alfredo Cuzzocrea; Gabriele Kotsis; A Min Tjoa; Ismail Khalil. Database and Expert Systems Applications. 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings, Part II, 13427, Springer International Publishing, pp.158-173, 2022, Lecture Notes in Computer Science, 978-3-031-12425-9. ⟨10.1007/978-3-031-12426-6_13⟩
Book sections
hal-03860813v1
|
||
|
Robust and Scalable Content-and-Structure IndexingThe VLDB Journal, In press
Journal articles
hal-03787268v1
|
||
|
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and ApplicationsJournal of Artificial Intelligence Research, 2022, 73, pp.897-932. ⟨10.1613/jair.1.12539⟩
Journal articles
hal-03779030v1
|
||
|
Enabling Markovian Representations under Imperfect Information14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online Streaming, France. pp.450-457, ⟨10.5220/0010882200003116⟩
Conference papers
hal-03779034v1
|
||
|
What Should I Notice? Using Algorithmic Information Theory to Evaluate the Memorability of Events in Smart HomesEntropy, 2022, 24 (3), pp.346. ⟨10.3390/e24030346⟩
Journal articles
hal-03813989v1
|
||
A benchmark of incremental model transformation tools based on an industrial case study with AADLSoftware and Systems Modeling, 2022, ⟨10.1007/s10270-022-00989-z⟩
Journal articles
hal-03905646v1
|
|||
|
Agreement in Spiking Neural NetworksJournal of Computational Biology, 2022, 29 (4), pp.358 - 369. ⟨10.1089/cmb.2021.0365⟩
Journal articles
inserm-03719607v1
|
||
|
Co-producing industrial public goods on GitHub: Selective firm cooperation, volunteer-employee labour and participation inequalityNew Media and Society, 2022, ⟨10.1177/14614448221090474⟩
Journal articles
hal-03662850v1
|
||
|
Finding Optimal Moving Target Defense Strategies: A Resilience Booster for Connected CarsInformation, 2022, 13 (5), pp.242. ⟨10.3390/info13050242⟩
Journal articles
hal-03670106v1
|
||
|
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2022, Auckland (virtual), New Zealand. pp.62--71
Conference papers
hal-03666430v1
|
||
|
Worldwide Gender Differences in Public Code Contributions44th International Conference on Software Engineering (ICSE 2022) - Software Engineering in Society (SEIS) Track, May 2022, Pittsburgh, PA, United States. ⟨10.1145/3510458.3513011⟩
Conference papers
hal-03571837v1
|
||
|
Geographic Diversity in Public Code ContributionsThe 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528471⟩
Conference papers
hal-03622621v1
|
||
|
A Large-scale Dataset of (Open Source) License Text VariantsThe 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528491⟩
Conference papers
hal-03624198v1
|
||
|
The General Index of Software Engineering PapersMSR 2022 - The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528494⟩
Conference papers
hal-03623109v1
|
||
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
|