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