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

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

Chargement de la page

Références bibliographiques

310

Open access

42 %

Collaborations par pays