Accueil > Verimag > Projets

Coopération Argosim

2013-...

The Argosim company, which was hosted in Verimag between 2013 and 2015, designed an industrial version of Lutin, which is now commercialized under the name Stimulus.

https://www.lembarque.com/argosim-r...

Voir en ligne : http://argosim.com/

Nouvelles publications

Quelques Publications Récentes (Ressources Partagées)
- David Monniaux, Sylvain Boulmé: Chamois: agile development of CompCert extensions for optimization and security
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: On Self-stabilizing Leader Election in Directed Networks
- Karine Altisen, Marius Bozga: Revisited Convergence of a Self-Stabilizing BFS Spanning Tree Algorithm
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne: A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Self-stabilizing synchronous unison in directed networks
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs

Contact | Plan du site | Site réalisé avec SPIP 4.4.2 + AHUNTSIC [CC License]

info visites 4610533

Accueil > Verimag > Projets

Coopération Argosim

Navigation

Rubriques

Nouvelles publications

Offres d'emploi et stages