Dernières publications

Chargement de la page

Mots clés

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

 

 

 

 

Documents avec texte intégral

150

Références bibliographiques

309

Open access

44 %

Collaborations par pays