index - Equipe Autonomic and Critical Embedded Systems

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

149

Références bibliographiques

310

Open access

44 %

Collaborations par pays