Marius Bozga and Radu Iosif - Free people check

(1 - 12 from 14

)

Publications AVERILES

www.lsv.fr

Oct 22, — Marius Bozga, Radu Iosif, and Yassine Lakhnech. Flat parametric counter automata. Fundamenta Informaticae, 91(2): , [ bib ]. [5] ... › Projects › rntl-averiles › publis

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 &# ...

On an Invariance Problem for Parameterized Concurrent ...

arxiv.org

by M Bozga · — Title:On an Invariance Problem for Parameterized Concurrent Systems. Authors:Marius Bozga, Lucas Bueri, Radu Iosif. by M Bozga · — Submission history. From: Marius Bozga [view email] [v1] Fri, 20 May :17:42 UTC (79 KB). › cs

[ v3] Safety Problems are NP-complete for Flat Integer...

arxiv.org

Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops. Marius Bozga, Radu Iosif, Filip Konecny. This paper proves ...

Curriculum Vitae Education Experience Research Statement

magma.cs.uiuc.edu

Worked with Marius Bozga and Radu Iosif on the reachability problem for counter automata with octagonal constraints – SOFTWIN, Bucharest ...

[ ] The Complexity of Reachability Problems for Flat Counter...

arxiv.org

Jul 15, · Title: Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops. Authors: Marius Bozga, Radu Iosif, Filip Konecny

All web results to the name "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

Decision Problems in a Logic for Reasoning HAL-Inserm

www.hal.inserm.fr

by M Bozga · · Cited by 1 — Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems. Marius Bozga 1 Lucas Bueri 1 Radu Iosif 1. Détails. › IMAG

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

Codruta Girlea' Home Page

magma.cs.uiuc.edu

]; Marius Bozga, Codruta Girlea, Radu Iosif. Iterating Octagons TACAS

Program - vmcai 2014

vmcai2014.di.ens.fr

14:00 Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loop: Radu Iosif, Marius Bozga and Filip Konecny. 14:30 Parameterized ...

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 Radu Iosif Free People Check