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