Documents (MSC Codes)

• [Virtualconference] Probabilistic model checking for strategic equilibria-based decision making: Part 1 / Author of the conference Kwiatkowska, Marta. CIRM
  
• [Multi angle] Fixpoint games / Author of the conference König, Barbara. -Marseille : CIRM
  
• [Multi angle] Relational tight field bounds for distributed analysis of programs / Author of the conference Frias, Marcelo. -Marseille : CIRM
  
• [Multi angle] Arithmétique à virgule flottante : plaie ou terrain de jeu ? / Author of the conference 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é » / Author of the conference Boisson, François. -Marseille : CIRM
  
• [Multi angle] Verified numerics for ODEs in Isabelle/HOL / Author of the conference Immler, Fabian. -Marseille : CIRM
  
• [Multi angle] Programming with numerical uncertainties / Author of the conference Darulova, Eva. -Marseille : CIRM
  
• [Multi angle] Formal verification of numerical analysis programs / Author of the conference Boldo, Sylvie. -Marseille : CIRM
  
• [Multi angle] Proof and computation in Coq / Author of the conference Théry, Laurent. -Marseille : CIRM
  
• [Multi angle] Towards static analysis of functional programs using term rewriting and tree automata / Author of the conference Genet, Thomas. -Marseille : CIRM
  
• [Post-edited] Two-player perfect-information shift-invariant submixing stochastic games are half-positional / Author of the conference Gimbert, Hugo. CIRM
  

Linked documents : [11 document(s)]