Filter your results
- 103
- 248
- 2
- 56
- 15
- 14
- 11
- 4
- 2
- 1
- 6
- 5
- 99
- 8
- 2
- 2
- 1
- 1
- 1
- 3
- 17
- 15
- 8
- 9
- 7
- 10
- 5
- 8
- 2
- 4
- 5
- 1
- 3
- 1
- 3
- 1
- 1
- 94
- 9
- 84
- 9
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 16
- 15
- 12
- 10
- 8
- 8
- 7
- 5
- 5
- 5
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
|
An Asynchronous Computability Theorem for Fair Adversaries2017
Preprints, Working Papers, ...
hal-01572257v4
|
||
|
Description de la méthode SCRUM à travers deux expériences en entreprise[Rapport de recherche] LTCI - Laboratoire Traitement et Communication de l'Information [Paris]. 2020
Reports
hal-03089815v3
|
||
|
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development[Research Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168832v1
|
||
|
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
|
||
|
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
|
||
|
Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline MissesFirst Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
Conference papers
hal-00922522v1
|
||
|
Litmus-RT plugins for global static scheduling of mixed criticality systemsJournal of Systems Architecture, 2021, 118, pp.102221. ⟨10.1016/j.sysarc.2021.102221⟩
Journal articles
hal-03276250v1
|
||
|
Privacy-preserving content-based publish/subscribe with encrypted matching and data splittingSECRYPT 2020: 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.405-414, ⟨10.5220/0009833204050414⟩
Conference papers
hal-02910407v1
|
||
|
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
|
||
|
Brief Announcement: On the Uncontended Complexity of Anonymous ConsensusDISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
Conference papers
hal-01207895v1
|
||
|
A Real-Time NMPC Controller for Autonomous Vehicle Racing2022 6th International Conference on Automation, Control and Robots (ICACR), Sep 2022, Shanghai, China. pp.148-155, ⟨10.1109/ICACR55854.2022.9935523⟩
Conference papers
hal-04009646v1
|
||
|
Protecting data confidentiality combining data fragmentation, encryption, and dispersal over a distributed environmentCryptography and Security [cs.CR]. Télécom ParisTech, 2018. English. ⟨NNT : 2018ENST0061⟩
Theses
tel-03523671v1
|
||
|
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile DevicesWorkshop on Power and Energy Aspects of Computation, In conjunction with the 10th International Conference on Parallel Processing and Applied Mathematics (PPAM'2013), Sep 2013, Varsovie, Poland. pp 793-803, ⟨10.1007/978-3-642-55224-3_74⟩
Conference papers
hal-00919414v1
|
||
|
Literature Classification Data for a Systematic Mapping Study on Multi-Paradigm Modeling for Cyber-Physical Systems2021
Preprints, Working Papers, ...
hal-03338607v1
|
||
|
Framework to Relate / Combine Modeling Languages and Techniques[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168831v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Réduction de la consommation statique des systèmes temps-réel multiprocesseursÉcole d’Été Temps Réel (ETR‘13), Aug 2013, Toulouse, France. pp.1-4
Conference papers
hal-00922521v1
|
||
|
Deployment of mixed criticality and data driven systems on multi-cores architecturesEmbedded Systems. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLT004⟩
Theses
tel-02086680v1
|
||
|
Control plane in dynamic software networksNetworking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT007⟩
Theses
tel-03506284v1
|
||
|
On the tensor rank of multiplication in finite extensions of finite fields and related issues in algebraic geometryRussian Mathematical Surveys, 2021, 76 (1), pp.29-89. ⟨10.1070/RM9928⟩
Journal articles
hal-03661954v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
On Helping and StacksThe International Conference on Networked Systems, May 2018, Essaouira, Morocco
Conference papers
hal-01888607v1
|
||
|
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
|
||
|
Energy trading marketplace using Ethereum private network[Technical Report] Telecom Paris. 2020
Reports
hal-03157038v1
|
||
|
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
|