Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

152

Références bibliographiques

309

Open access

44 %

Collaborations par pays