index - Equipe Autonomic and Critical Embedded Systems

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

137

Références bibliographiques

309

Open access

43 %

Collaborations par pays