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

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

134

Références bibliographiques

310

Open access

42 %

Collaborations par pays