index - Equipe Autonomic and Critical Embedded Systems

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

142

Références bibliographiques

310

Open access

Chargement de la page

Collaborations par pays