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