Marius Bozga and Vignate - Free people check

(1 - 7 from 8

)

Using Static Analysis To Improve Automatic Test Generation

people.cis.ksu.edu

Marius Bozga 1, Jean-Claude Fernandez 2, Lucian Ghirvu 1? 1 VERIMAG ?? , Centre Equation, 2 avenue de Vignate, F Gi eres. e-mail: Marius.

Formal Modeling and Analysis of Timed Systems: First ...

books.google.fr

On Timing Analysis of Combinational Circuits⋆ Ramzi Ben Salah, Marius Bozga, and Oded Maler Verimag 2, av. de Vignate, Gieres, France {ramzi.salah ...

Tools and Algorithms for the Construction and Analysis of ...

books.google.fr

Iterating Octagons Marius Bozga, Codrut ̧a Gˆırlea, and Radu Iosif VERIMAG/CNRS, 2 Avenue de Vignate, Gi`eres, France {bozga,girlea ...

Static Analysis: 11th International Symposium, SAS 2004, Verona,...

books.google.de

On Logics of Aliasing Marius Bozga, Radu Iosif, and Yassine Lakhnech VERIMAG 2 Avenue de Vignate Gi`eres, France &# ...

CONCUR Concurrency Theory: 17th International Conference,...

books.google.de

On. Interleaving. in. Timed. Automata. Ramzi Ben Salah, Marius Bozga, and Oded Maler VERIMAG, 2, av. de Vignate, Gieres, France Ramzi.

Prototyping of Distributed Embedded Systems Using AADL*

ceur-ws.org

Mohamed Yassin Chkouri and Marius Bozga. {Yassin.Chkouri, Marius.Bozga}@ imag.fr. Verimag, Centre Equation - 2, avenue de Vignate ...

All web results to the name "Marius Bozga"

Using static analysis to improve automatic test generation

link.springer.com

by M Bozga · · Cited by 15 — Marius Bozga,; Jean-Claude Fernandez &; Lucian Ghirvu ... Centre Equation, 2 avenue de Vignate, F Gières, France; E-mail: {Marius.Bozga,Lucian. › article

Related search requests for Marius Bozga

Axel Legay
Laurent Mounier
Yassine Lakhnech

Ananda Basu
Jean-Claude Fernandez
Susanne Graf

Joseph Sifakis
Patricia Bouyer
Anne Rasse

People
Forename "Marius" (6801)
Name "Bozga" (9)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Marius Bozga and Vignate Free People Check