Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

150

Références bibliographiques

309

Open access

44 %

Collaborations par pays