index - Equipe Autonomic and Critical Embedded Systems

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

138

Références bibliographiques

309

Open access

43 %

Collaborations par pays