Real-time systems Chiffrement Linearizability Embedded systems Requirements engineering AADL/ALISA Computer architecture Authentication Ethereum Functional package management Consensus Internet of Things Energy efficiency Game Theory Conferences Algorithms Distributed algorithms Robustness AADL Scheduling Explainable AI Maison intelligente Open source Mixed-criticality systems Program Analysis Coq Commit Dynamic Computing DRAM Logics in Games Mixed criticalities Intrusion Detection System Real time systems GAN Open source software Model-driven engineering Diversity Sabotage Games Intellectual property Argumentation Autonomic Computing Multi processor architecture Theory of computation Ocarina Cyber-Physical Systems Formal Verification Smart home Permissionless Attack Graphs Runtime Machine learning Adversarial machine learning Design and analysis of algorithms Agent organisations Orchestration Real-Time Systems Cloud Computing Critical systems Copyright Failure detectors Real-time Systems Lattice agreement Blockchain ETCS Asynchronous Computational modeling Auctions Higman's lemma Autonomic computing ATL Complexity Memory Controller Architecture Security and privacy Code generation Domain-Specific language Privacy Génie logiciel Reinforcement learning Intrusion detection systems Cyber-physical systems DVFS Graph Stack Cache Observers Routing Conception de services Software engineering Natural language processing SBaaS Dataset Automata Reproducibility Timing Scalability Physical unclonable function Security Affine tasks Criticality nuclear fission Access control