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