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