Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

152

Références bibliographiques

309

Open access

44 %

Collaborations par pays