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

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

134

Références bibliographiques

310

Open access

42 %

Collaborations par pays