Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

152

Références bibliographiques

309

Open access

44 %

Collaborations par pays