Search - Archive ouverte HAL Access content directly

Filter your results

345 Results
Image document

Approche sémantique de la conception de services connectés : cadre d'architecture, algorithmique de composition, application à la maison connectée

Rayhana Bouali Baghli
Modé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 Test

Florian Brandner , Benjamin Binder , Mihail Asavoae , Belgacem Ben Hedia , Mathieu Jan et al.
2021 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 Architectures

Florian Brandner , Naji Amine
Workshop 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 analysis

Florian Brandner , Camille Noûs
Real-Time Systems, 2021, ⟨10.1007/s11241-021-09372-5⟩
Journal articles hal-03559857v1

Precise and Efficient Analysis of Context-Sensitive Cache Conflict Sets

Florian Brandner , Camille Noûs
RTNS 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 Models

Fabien Cadoret , Etienne Borde , Sébastien Gardoll , Laurent Pautet
ICECCS 2012, Jul 2012, Paris, France
Conference papers hal-02286400v1

Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL

Fabien Cadoret , Robert Thomas , Etienne Borde , Laurent Pautet , Frank Singhoff et al.
17th 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 agreement

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
Distributed Computing, 2017, 30 (6), pp.459-468. ⟨10.1007/s00446-017-0297-z⟩
Journal articles hal-02287767v1
Image document

Complexité du consensus anonyme en l'absence de concurrence

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
ALGOTEL 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 Consensus

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
19th International Conference on Principles of Distributed Systems - OPODIS 2015, Dec 2015, Rennes, France. ⟨10.4230/LIPIcs.OPODIS.2015.12⟩
Conference papers hal-01411528v1
Image document

Brief Announcement: On the Uncontended Complexity of Anonymous Consensus

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
Conference papers hal-01207895v1
Image document

On the Uncontended Complexity of Anonymous Consensus

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
[Research Report] University of Bordeaux LaBRI, UMR 5800, F-33400 Talence, France Telecom ParisTech. 2015
Reports hal-01180864v1
Image document

Seamless Integration between Real-time Analyses and Systems Engineering with the PST Approach

Françoise Caron , Cristian Maxim , Dominique Blouin , Paolo Crisafulli
IEEE SYSCON2020, Aug 2020, Vancouver (virtual conference), Canada
Conference papers hal-02940241v1

Automatic Production of Transformation Chains Using Structural Constraints on Output Models

Cuauhtemoc Castellanos , Etienne Borde , Laurent Pautet , Thomas Vergnaud , Thomas Dérive et al.
Euromicro 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 Composition

Cuauhtemoc Castellanos , Etienne Borde , Laurent Pautet , Sébastien Gardoll , Thomas Vergnaud et al.
EUROMICRO-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 Dependability

Cuauhtemoc Castellanos , Etienne Borde , Laurent Pautet , Thomas Vergnaud , Thomas Dérive et al.
ISARCS'13, Aug 2013, Montréal, Canada
Conference papers hal-02286706v1

Threats to Adversarial Training for IDSs and Mitigation

Hassan Chaitou , Jean Leneutre , Laurent Pautet
19th 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 GANs

Hassan Chaitou , Thomas Robert , Jean Leneutre , Laurent Pautet
2021 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)

Claude Chaudet , Isabelle Demeure , Salma Ktari , Nicola Costagliola , Samuel Tardieu et al.
Asian Internet Engineering Conference (AINTEC) 2011, Nov 2011, Bangkok, Thailand
Conference papers hal-02278598v1
Image document

Sélection des brokers dans un réseau de capteurs en mode publication / souscription

Claude Chaudet , Nicola Costagliola , Isabelle Demeure , Salma Ktari , Samuel Tardieu et al.
14è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
Image document

Building an Efficient Overlay for Publish/Subscribe in Wireless Sensor Networks

Claude Chaudet , Nicola Costagliola , Isabelle Demeure , Salma Ktari , Samuel Tardieu et al.
9th 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 Messages

Daniel Collins , Rachid Guerraoui , Jovan Komatovic , Petr Kuznetsov , Matteo Monti et al.
DSN, Jun 2020, Valencia, Spain
Conference papers hal-03022579v1
Image document

Towards end-to-end privacy for publish/subscribe architectures in the Internet of Things

Stevan Coroller , Sophie Chabridon , Maryline Laurent , Denis Conan , Jean Leneutre et al.
M4IoT 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
Image document

Développer une nouvelle approche pédagogique ", questionnement autour du cas de PicoLibre

Eric Cousin , Gérald Ouvradou , C. Bac , O. Berger , P. Lalevee et al.
Questions 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 MPC

Ronald Cramer , Matthieu Rambaud , Chaoping Xing
Advances 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
Image document

Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report

Paolo Crisafulli , Dominique Blouin , Françoise Caron , Cristian Maxim
10th 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 Inconsistencies

Istvan David , Eugene Syriani , Clark Verbrugge , Didier Buchs , Dominique Blouin et al.
1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France
Conference papers hal-02287520v1
Image document

The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices

Karel de Vogeleer , Gérard Memmi , Pierre Jouvelot , Fabien Coelho
Workshop 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
Image document

Modeling the energy consumption of programs: thermal aspects and Energy/Frequency Convexity Rule

Karel de Vogeleer , Kameswar Rao Vaddina , Florian Brandner , Pierre Jouvelot , Gérard Memmi et al.
The 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 Processors

Karel de Vogeleer , Gérard Memmi , Pierre Jouvelot , Fabien Coelho
Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩
Conference papers hal-01111647v1