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

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

133

Références bibliographiques

310

Open access

42 %

Collaborations par pays