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

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

134

Références bibliographiques

310

Open access

42 %

Collaborations par pays