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