Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

152

Références bibliographiques

309

Open access

44 %

Collaborations par pays