Dernières publications

Chargement de la page

Mots clés

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

 

 

 

 

Documents avec texte intégral

149

Références bibliographiques

310

Open access

44 %

Collaborations par pays