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