Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

152

Références bibliographiques

309

Open access

44 %

Collaborations par pays