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