index - Equipe Autonomic and Critical Embedded Systems

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

148

Références bibliographiques

310

Open access

44 %

Collaborations par pays