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