index - Equipe Autonomic and Critical Embedded Systems

Dernières publications

Mots clés

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

 

 

 

 

Documents avec texte intégral

148

Références bibliographiques

310

Open access

44 %

Collaborations par pays