Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

152

Références bibliographiques

309

Open access

44 %

Collaborations par pays