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