index - Equipe Autonomic and Critical Embedded Systems

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

139

Références bibliographiques

309

Open access

43 %

Collaborations par pays