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