Search - Archive ouverte HAL Access content directly

Filter your results

346 Results
Image document

Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)

Loïc Besnard , Etienne Borde , Pierre Dissaux , Thierry Gautier , Paul Le Guernic et al.
[Technical Report] RT-0446, INRIA. 2014, pp.27
Reports hal-00970244v2

Machine Learning Detection for SMiShing Frauds

Mounira Msahli , Badr Eddine Boukari , Akshaya Ravi
2021 IEEE 18th Annual Consumer Communications & Networking Conference (CCNC), Jan 2021, Las Vegas, France. pp.1-2, ⟨10.1109/CCNC49032.2021.9369640⟩
Conference papers hal-03569422v1
Image document

Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses

Vincent Legout , Mathieu Jan , Laurent Pautet
First Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
Conference papers hal-00922522v1

Model driven code generation for critical and adaptative embedded systems

Etienne Borde , Peter H. Feiler , Gregory Haïk , Laurent Pautet
ACM SIGBED Review, 2009, 6 (3), pp.10:1-10:5
Journal articles hal-02286671v1

Model-Based Code Generation

Laurent Pautet , B. Zalila
Embedded Systems : analysis and modeling with SysML, UML and AADL, Wiley, 2013
Book sections hal-02286688v1

Model-Based Verification Directed by Structural Coverage and Functional Requirements

Yanjun Sun , Gérard Memmi , Sylvie Vignes
Model-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria
Conference papers hal-02287373v1
Image document

Modeling and Validation of ARINC653 architectures

Julien Delange , Laurent Pautet , Fabrice Kordon
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Conference papers hal-02269428v1
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

Modélisation de la consommation énergétique des programmes : aspects thermiques et loi de convexité énergie-fréquence

Pierre Jouvelot , Karel de Vogeleer , Gerard Memmi
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2016, 117, pp 47-59
Journal articles hal-01531341v1

Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach

Maxime Ayrault , Etienne Borde , Ulrich Kühne , Jean Leneutre
2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC), Dec 2021, Perth, Australia. pp.27-36, ⟨10.1109/PRDC53464.2021.00014⟩
Conference papers hal-03758375v1

Multi-hop Data Fragmentation in Energy Harvesting Wireless Sensor Networks

Keun-Woo Lim , Katarzyna Kapusta , Gerard Memmi , Woo-Sung Jung
2020 Global Internet of Things Summit (GIoTS), Jun 2020, Dublin, France. pp.1-6, ⟨10.1109/GIOTS49054.2020.9119569⟩
Conference papers hal-03559678v1

Multi-objective exploration of architectural designs by composition of model transformations

Smail Rahmoun , Asma Mehiaoui-Hamitou , Etienne Borde , Laurent Pautet , Elie Soubiran et al.
Software and Systems Modeling, 2019, 18 (1), pp.107-127. ⟨10.1007/s10270-017-0580-2⟩
Journal articles hal-02292455v1

Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES)

Smail Rahmoun , Etienne Borde , Laurent Pautet
ICECCS, Dec 2015, Gold Coast, Australia. pp.21-30
Conference papers hal-02292449v1
Image document

Multi-Paradigm Modeling for Cyber-Physical Systems: A Systematic Mapping Review

Ankica Barisic , Ivan Ruchkin , Dušan Savić , Mustafa Abshir Mohamed , Rima Al-Ali et al.
Journal of Systems and Software, 2021, ⟨10.1016/j.jss.2021.111081⟩
Journal articles hal-03338594v1

Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models

Eric Senn , Lucie Bourdon , Dominique Blouin
4th 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
Image document

Multi-paradigm modelling for cyber–physical systems: a descriptive framework

Moussa Amrani , Dominique Blouin , Robert Heinrich , Arend Rensink , Hans Vangheluwe et al.
Software and Systems Modeling, 2021, 20, pp.611 - 639. ⟨10.1007/s10270-021-00876-z⟩
Journal articles hal-03572782v1

Multi-Scale Feedbacks for Large-Scale Coordination in Self-Systems

Ada Diaconescu , Louisa Jane Di Felice , Patricia Mellodge
2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Jun 2019, Umea, France. pp.137-142, ⟨10.1109/SASO.2019.00025⟩
Conference papers hal-02449657v1

Natural Strategic Abilities in Voting Protocols

Wojciech Jamroga , Damian Kurpiewski , Vadim Malvone
Socio-Technical Aspects in Security and Trust, 12812, Springer International Publishing, pp.45-62, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79318-0_3⟩
Book sections hal-03779036v1
Image document

New architecture and function to improve autonomy, dynamicity, and intelligence of future network management

Guy Saadon
Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT042⟩
Theses tel-03910691v1

Non-interference and local correctness in transactional memory

Petr Kuznetsov , Sathya Peri
Theor. Comput. Sci., 2017, 688, pp.103-116. ⟨10.1016/j.tcs.2016.06.021⟩
Journal articles hal-02287768v1
Image document

Note sur la cryptanalyse de Diffie-Hellman

Gerard Memmi , Matthieu Rambaud
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2017
Journal articles hal-03022599v1

Note sur la cryptanalyse de Diffie-Hellman

Matthieu Rambaud , Gérard Memmi
Génie Logiiel, 2017, 120, pp.56-60
Journal articles hal-02287591v1
Image document

On Helping and Stacks

Vitalii Aksenov , Petr Kuznetsov , Anatoly Shalyto
The International Conference on Networked Systems, May 2018, Essaouira, Morocco
Conference papers hal-01888607v1

On some bounds for symmetric tensor rank of multiplication in finite fields

Stéphane Ballet , Julia Pieltant , Matthieu Rambaud , Jeroen Sijsling
Alp Bassa, Alain Couvreur and David Kohel. ARITHMETIC, GEOMETRY, CRYPTOGRAPHY AND CODING THEORY, 686, AMER MATHEMATICAL SOC, pp.93 - 121, 2017, Contemporary Mathematics, 978-1-4704-2810-5. ⟨10.1090/conm/686/13779⟩
Book sections hal-01318315v1
Image document

On the tensor rank of multiplication in finite extensions of finite fields and related issues in algebraic geometry

Stéphane Ballet , Julia Pieltant , Jean Chaumine , Matthieu Rambaud , Hugues Randriambololona et al.
Russian Mathematical Surveys, 2021, 76 (1), pp.29-89. ⟨10.1070/RM9928⟩
Journal articles hal-03661954v1

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

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

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

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