Loading...
Sous-collection du département 2 : Méthodes formelles
Pour toute question ou remarque au sujet de cette collection, veuillez nous contacter à publications@loria.fr
Derniers Dépôts
-
Amal Abdel Razzac, Tijani Chahed, Zahi Shamseddine, Wafik Zahwa. Advanced sleep modes in 5G multiple base stations using non-cooperative multi-agent reinforcement learning. IEEE Global Communications Conference (GLOBECOM), Dec 2023, Kuala Lumpur, Malaysia. pp.7025-7030, ⟨10.1109/GLOBECOM54140.2023.10437599⟩. ⟨hal-04492371⟩
Nombre de documents fulltext
1 236
Répartition des dépôts par type de document
Mots Clés
Automated verification
Authentication
Termination
Vérification
Combination of decision procedures
Coq
Protocol
Simulation
Operational transformation
Formal Methods
Calculating machine
Model-checking
Formal verification
Security protocols
Event-B
Proof-based development
Protocoles cryptographiques
Privacy
TLA+
Tilings
Obfuscation
Timed automata
Term rewriting
Semantics
Completeness
SMT
Composition
Superposition
Edward Sang
Verification
Automated deduction
Réécriture
Protocoles
Parametric timed automata
Higher-order logic
Constraint solving
Optimistic replication
Decidability
Security
Applied π-Calculus
Equational theories
Distributed algorithms
Collaborative editors
Decision procedure
Rewriting
Narrowing
Formal methods
Schwilgué
Modelling
Deducibility constraints
Separation logic
Abstraction
Cryptography
Proof assistants
Malware
Social networks
Logarithms
Algorithm
Algorithmic randomness
Computable analysis
Raffinement
Web services
Computability
Parameter synthesis
Unification
Satisfiability Modulo Theories
Implicit computational complexity
Decision procedures
Déduction automatique
Reachability
Protocols
Validation
Synchronization
Formal method
Secrecy
Static analysis
Satisfiability
E-voting
Symbolic model
Symbolic animation
Behavioral detection
Tree automata
Temporal logic
Intrusion detection
Model checking
Cryptographic protocols
Formal Verification
Combination
Cellular automata
First-order logic
IMITATOR
Refinement
Sines
Méthodes formelles
Distributed systems
Automatic theorem provers
Sécurité
Complexity
Automated reasoning
Theorem proving