index - Equipe Autonomic and Critical Embedded Systems

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

137

Références bibliographiques

309

Open access

43 %

Collaborations par pays