Marius Bozga and Grenoble - Free people check

(1 - 8 from 8

)

All web results to the name "Marius Bozga"

Marius Bozga's research works | Université Grenoble Alpes ...

www.researchgate.net

› Marius-Bozga

Damien Vergnaud's Homepage - DI ENS

www.di.ens.fr

Propositions de stages ( ) · encadrant : Marius Bozga et Radu Iosif · durée : 2 à 3 mois · lieu : laboratoire Verimag, Grenoble. › propstages

On Flat Programs with Lists - Université Joseph Fourier

hal.in2p3.fr

by M Bozga · · Cited by 14 — Marius Bozga, Radu Iosif. On Flat Programs with Lists. Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, ... › UNIV-GRENOBLE1 › hal

Rigorous Component-Based System Design - (Invited Paper)

hal.cirad.fr

by A Basu · · Cited by 1 — Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis. Rigorous Component-Based System Design - (Invited Paper). Franciso Duran. › UNIV-GRENOBLE1 › hal

TGV: principles, tool architecture - Irisa

www.irisa.fr

... Pierre Morel (PhD),; César Viho (Univ. Rennes). Vérimag: Jean-Claude Fernandez (Univ. Grenoble),; Alain Kerbrat (CNRS -> Verilog); Marius Bozga (PhD) ... › tgv › tsld002