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

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

134

Références bibliographiques

310

Open access

42 %

Collaborations par pays