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

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

135

Références bibliographiques

310

Open access

42 %

Collaborations par pays