Filter your results
- 247
- 97
- 1
- 207
- 75
- 25
- 13
- 10
- 4
- 4
- 3
- 2
- 2
- 337
- 30
- 8
- 5
- 4
- 2
- 1
- 1
- 1
- 29
- 39
- 30
- 42
- 29
- 40
- 23
- 37
- 24
- 21
- 10
- 5
- 6
- 5
- 3
- 1
- 1
- 329
- 16
- 307
- 21
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 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
- 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
- 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
345 Results
|
Approche sémantique de la conception de services connectés : cadre d'architecture, algorithmique de composition, application à la maison connectéeModélisation et simulation. Télécom ParisTech, 2017. Français. ⟨NNT : 2017ENST0072⟩
Theses
tel-03411977v1
|
||
Is This Still Normal? Putting Definitions of Timing Anomalies to the Test2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2021, Houston, France. pp.139-148, ⟨10.1109/RTCSA52859.2021.00024⟩
Conference papers
hal-03559899v1
|
|||
Worst-Case Execution Time Analysis of Predicated ArchitecturesWorkshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
Conference papers
hal-02288493v1
|
|||
Precise, efficient, and context-sensitive cache analysisReal-Time Systems, 2021, ⟨10.1007/s11241-021-09372-5⟩
Journal articles
hal-03559857v1
|
|||
Precise and Efficient Analysis of Context-Sensitive Cache Conflict SetsRTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, Paris France, France. pp.44-55, ⟨10.1145/3394810.3394811⟩
Conference papers
hal-02894150v1
|
|||
Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems ModelsICECCS 2012, Jul 2012, Paris, France
Conference papers
hal-02286400v1
|
|||
Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany
Conference papers
hal-01121244v1
|
|||
On the uncontended complexity of anonymous agreementDistributed Computing, 2017, 30 (6), pp.459-468. ⟨10.1007/s00446-017-0297-z⟩
Journal articles
hal-02287767v1
|
|||
|
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
|
||
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
|
|||
|
Brief Announcement: On the Uncontended Complexity of Anonymous ConsensusDISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
Conference papers
hal-01207895v1
|
||
|
On the Uncontended Complexity of Anonymous Consensus[Research Report] University of Bordeaux LaBRI, UMR 5800, F-33400 Talence, France Telecom ParisTech. 2015
Reports
hal-01180864v1
|
||
|
Seamless Integration between Real-time Analyses and Systems Engineering with the PST ApproachIEEE SYSCON2020, Aug 2020, Vancouver (virtual conference), Canada
Conference papers
hal-02940241v1
|
||
Automatic Production of Transformation Chains Using Structural Constraints on Output ModelsEuromicro Conference on Software Engineering and Advanced Applications, Aug 2014, Verona, Italy. pp.158 - 165
Conference papers
hal-01115708v1
|
|||
Improving Reusability of Model Transformations by Automating their CompositionEUROMICRO-SEAA, Aug 2015, Madeira, Portugal. pp.267-274
Conference papers
hal-02287271v1
|
|||
Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and DependabilityISARCS'13, Aug 2013, Montréal, Canada
Conference papers
hal-02286706v1
|
|||
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
|
|||
Assessing adversarial training effect on IDSs and GANs2021 IEEE International Conference on Cyber Security and Resilience (CSR) Workshop on Resilient Artificial Intelligence, Jul 2021, Rhodes, France. pp.543-550, ⟨10.1109/CSR51186.2021.9527949⟩
Conference papers
hal-03775550v1
|
|||
Publish/Subscribe for Wireless Sensor Networks (Invited paper)Asian Internet Engineering Conference (AINTEC) 2011, Nov 2011, Bangkok, Thailand
Conference papers
hal-02278598v1
|
|||
|
Sélection des brokers dans un réseau de capteurs en mode publication / souscription14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2012, La Grande Motte, France. pp.1-4
Conference papers
hal-00690477v1
|
||
|
Building an Efficient Overlay for Publish/Subscribe in Wireless Sensor Networks9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON), Jun 2012, Seoul, South Korea. pp.362-370, ⟨10.1109/SECON.2012.6275798⟩
Conference papers
hal-00780006v1
|
||
Online Payments by Merely Broadcasting MessagesDSN, Jun 2020, Valencia, Spain
Conference papers
hal-03022579v1
|
|||
|
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
|
||
|
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
|
||
Asymptotically-Good Arithmetic Secret Sharing over Z/pℓZ with Strong Multiplication and Its Applications to Efficient MPCAdvances in Cryptology – CRYPTO 2021, 12827, Springer International Publishing, pp.656-686, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-84252-9_22⟩
Book sections
hal-03800642v1
|
|||
|
Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers
hal-02454258v1
|
||
Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France
Conference papers
hal-02287520v1
|
|||
|
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
|
||
|
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
|
||
|
Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application ProcessorsEmbedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩
Conference papers
hal-01111647v1
|