Documents (Codes MSC)

• [Virtualconference] Probabilistic model checking for strategic equilibria-based decision making: Part 1 / Auteur de la conférence Kwiatkowska, Marta. CIRM
  
• [Multi angle] Fixpoint games / Auteur de la conférence König, Barbara. -Marseille : CIRM
  
• [Multi angle] Relational tight field bounds for distributed analysis of programs / Auteur de la conférence Frias, Marcelo. -Marseille : CIRM
  
• [Multi angle] Arithmétique à virgule flottante : plaie ou terrain de jeu ? / Auteur de la conférence Boldo, Sylvie. -Marseille : CIRM
  
• [Multi angle] Buffer overflow ou explication de « une faille de type bufferoverflow peut permettre à un code malicieux d'être éxécuté » / Auteur de la conférence Boisson, François. -Marseille : CIRM
  
• [Multi angle] Verified numerics for ODEs in Isabelle/HOL / Auteur de la conférence Immler, Fabian. -Marseille : CIRM
  
• [Multi angle] Programming with numerical uncertainties / Auteur de la conférence Darulova, Eva. -Marseille : CIRM
  
• [Multi angle] Formal verification of numerical analysis programs / Auteur de la conférence Boldo, Sylvie. -Marseille : CIRM
  
• [Multi angle] Proof and computation in Coq / Auteur de la conférence Théry, Laurent. -Marseille : CIRM
  
• [Multi angle] Towards static analysis of functional programs using term rewriting and tree automata / Auteur de la conférence Genet, Thomas. -Marseille : CIRM
  
• [Post-edited] Two-player perfect-information shift-invariant submixing stochastic games are half-positional / Auteur de la conférence Gimbert, Hugo. CIRM
  

Documents liés : [11 document(s)]