Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

150

Références bibliographiques

309

Open access

44 %

Collaborations par pays