index - Equipe Autonomic and Critical Embedded Systems

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

138

Références bibliographiques

309

Open access

43 %

Collaborations par pays