Search - Equipe Autonomic and Critical Embedded Systems Access content directly

Filter your results

355 Results

Improving Causal Learning Scalability and Performance using Aggregates and Interventions

Kanvaly Fadiga , Etienne Houzé , Ada Diaconescu , Jean-Louis Dessalles
ACM Transactions on Autonomous and Adaptive Systems, 2023, ⟨10.1145/3607872⟩
Journal articles hal-04180294v1
Image document

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users

Ana de Almeida Borges , Annalí Casanueva Artís , Jean-Rémy Falleri , Emilio Jesús Gallego Arias , Érik Martin-Dorel , et al.
14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩
Conference papers hal-04098856v2
Image document

Using the Uniqueness of Global Identifiers to Determine the Provenance of Python Software Source Code

Yiming Sun , Daniel M. German , Stefano Zacchiroli
Empirical Software Engineering, In press, ⟨10.1007/s10664-023-10317-8⟩
Journal articles hal-04101937v1

The consensus number of a cryptocurrency

Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovic , Dragos-Adrian Seredinschi
Distributed Computing, 2022, 35 (1), pp.1-15. ⟨10.1007/s00446-021-00399-2⟩
Journal articles hal-04084120v1
Image document

Real-time and efficient control for autonomous racing

Nan Li
Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris, 2023. English. ⟨NNT : 2023IPPAT008⟩
Theses tel-04061550v1
Image document

A Real-Time NMPC Controller for Autonomous Vehicle Racing

Nan Li , Eric Goubault , Laurent Pautet , Sylvie Putot
2022 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
Image document

A grounded theory of Community Package Maintenance Organizations

Théo Zimmermann , Jean-Rémy Falleri
Empirical Software Engineering, 2023, 28 (4), pp.101. ⟨10.1007/s10664-023-10337-4⟩
Journal articles hal-03976601v1

RTNS 2022: The 30th International Conference on Real-Time Networks and Systems

Yasmina Abdeddaïm , Liliana Cucu-Grosjean , Geoffrey Nelissen , Laurent Pautet
Proceedings hal-03951192v1

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information

Francesco Belardinelli , Angelo Ferrando , Vadim Malvone
Artificial Intelligence, 2023, 316, pp.103847. ⟨10.1016/j.artint.2022.103847⟩
Journal articles hal-03960910v1
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

A benchmark of incremental model transformation tools based on an industrial case study with AADL

Hana Mkaouar , Dominique Blouin , Etienne Borde
Software and Systems Modeling, 2022, ⟨10.1007/s10270-022-00989-z⟩
Journal articles hal-03905646v1

Solving the instance model-view update problem in AADL

Rakshit Mittal , Dominique Blouin , Anish Bhobe , Soumyadip Bandyopadhyay
MODELS '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 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

The Role of Causality in a Formal Definition of Timing Anomalies

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan
2022 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
Image document

The devil hides in the model: Reviewing Blockchain and BFT protocols

Antoine Durand , Gérard Memmi
Blockchain 22 4th International Congress on Blockchain and Applications, Jul 2022, L'Aquila, Italy
Conference papers hal-03860862v1
Image document

PE-AONT: Partial Encryption All or Nothing Transform

Katarzyna Kapusta , Gerard Memmi
SECRYPT, Jul 2022, Lisbon, Portugal. pp.636-641, ⟨10.5220/0011300600003283⟩
Conference papers hal-03860852v1
Image document

Reinforcement Learning Based Architectures for Dynamic Generation of Smart Home Services

Mingming Qiu , Elie Najm , Rémi Sharrock , Bruno Traverson
2022
Other publications hal-03860833v1
Image document

PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home Services

Mingming Qiu , Elie Najm , Rémi Sharrock , Bruno Traverson
Christine 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
Image document

To do or not to do: finding causal relations in smart homes

Kanvaly Fadiga , Ada Diaconescu , Jean-Louis Dessalles , Etienne Houze
2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Sep 2021, Washington, France. pp.110-119, ⟨10.1109/ACSOS52086.2021.00030⟩
Conference papers hal-03814048v1

What Should I Notice? Using Algorithmic Information Theory to Evaluate the Memorability of Events in Smart Homes

Étienne Houzé , Jean-Louis Dessalles , Ada Diaconescu , David Menga
Entropy, 2022, 24 (3), pp.346. ⟨10.3390/e24030346⟩
Journal articles hal-03813989v1
Image document

Autonomous racecar control in head-to-head competition using Mixed-Integer Quadratic Programming

Nan Li , Eric Goubault , Laurent Pautet , S. Putot
Opportunities and challenges with autonomous racing, 2021 ICRA workshop, May 2021, Online, United States
Conference papers hal-03749355v1

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

Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZ

Mark Abspoel , Ronald Cramer , Ivan Damgård , Daniel Escudero , Matthieu Rambaud , et al.
Advances in Cryptology – ASIACRYPT 2020, 12493, Springer International Publishing, pp.151-180, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-64840-4_6⟩
Book sections hal-03800662v1

Brief Announcement: Malicious Security Comes for Free in Consensus with Leaders

Mark Abspoel , Thomas Attema , Matthieu Rambaud
PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.195-198, ⟨10.1145/3465084.3467953⟩
Conference papers hal-03800650v1

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

Compressed Σ-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures

Thomas Attema , Ronald Cramer , Matthieu Rambaud
Advances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.526-556, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_18⟩
Book sections hal-03800630v1
Image document

Robust and Scalable Content-and-Structure Indexing

Kevin Wellenzohn , Michael H. Böhlen , Sven Helmer , Antoine Pietri , Stefano Zacchiroli
The VLDB Journal, In press
Journal articles hal-03787268v1

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

Enabling Markovian Representations under Imperfect Information

Francesco Belardinelli , Borja G. León , Vadim Malvone
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online Streaming, France. pp.450-457, ⟨10.5220/0010882200003116⟩
Conference papers hal-03779034v1

How to measure usable security: Natural strategies in voting protocols1

Wojciech Jamroga , Damian Kurpiewski , Vadim Malvone
Journal of Computer Security, 2022, 30 (3), pp.381-409. ⟨10.3233/JCS-210049⟩
Journal articles hal-03779032v1