index - Equipe Autonomic and Critical Embedded Systems Accéder directement au contenu

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

134

Références bibliographiques

310

Open access

42 %

Collaborations par pays