index - Equipe Autonomic and Critical Embedded Systems

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

142

Références bibliographiques

310

Open access

43 %

Collaborations par pays