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

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

136

Références bibliographiques

310

Open access

43 %

Collaborations par pays