index - Equipe Autonomic and Critical Embedded Systems

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

148

Références bibliographiques

310

Open access

44 %

Collaborations par pays