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

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

132

Références bibliographiques

310

Open access

42 %

Collaborations par pays