index - Equipe Autonomic and Critical Embedded Systems Accéder directement au contenu

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

134

Références bibliographiques

310

Open access

42 %

Collaborations par pays