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