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

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

133

Références bibliographiques

310

Open access

42 %

Collaborations par pays