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

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

135

Références bibliographiques

310

Open access

42 %

Collaborations par pays