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

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

135

Références bibliographiques

310

Open access

42 %

Collaborations par pays