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