index - Equipe Autonomic and Critical Embedded Systems

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

149

Références bibliographiques

310

Open access

44 %

Collaborations par pays