Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

152

Références bibliographiques

309

Open access

44 %

Collaborations par pays