index - Equipe Autonomic and Critical Embedded Systems

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

148

Références bibliographiques

310

Open access

44 %

Collaborations par pays