Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

150

Références bibliographiques

309

Open access

44 %

Collaborations par pays