Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

152

Références bibliographiques

309

Open access

44 %

Collaborations par pays