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