index - Equipe Autonomic and Critical Embedded Systems

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

140

Références bibliographiques

309

Open access

43 %

Collaborations par pays