index - Equipe Autonomic and Critical Embedded Systems

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

148

Références bibliographiques

310

Open access

44 %

Collaborations par pays