MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Marius Bozga" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

22 documents found, showing 1 through 10. Next 10 →

ATOM

Timed automata approach for the Axxom case study
by Marius Bozga, Oded Maler — 2003
…Timed Automata Approach for the Axxom Case Study Scheduling a Lacquer Production Marius Bozga…
Cited by 1 (0 self) – Add To MetaCart

On the Representation of Probabilities over Structured Domains
by Marius Bozga, Oded Maler — 1999 — Proc. 11th International Conference on Computer Aided Veri (CAV'99), volume 1633 of LNCS
…On the Representation of Probabilities over Structured Domains ? Marius Bozga and Oded Maler…
Cited by 25 (0 self) – Add To MetaCart

State Space Reduction based on Live Variables Analysis
by Marius Bozga, Jean-Claude Fernandez — 1999
…State Space Reduction based on Live Variables Analysis Marius Bozga 1 and Jean-Claude Fernandez…
Cited by 2 (2 self) – Add To MetaCart

Using Static Analysis To Improve Automatic Test Generation
by Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu — 2000
…Using Static Analysis To Improve Automatic Test Generation Marius Bozga 1 , Jean-Claude Fernandez…
Cited by 13 (2 self) – Add To MetaCart

Flat Parametric Counter Automata
by Marius Bozga, Radu Iosif, Yassine Lakhnech — 2006 — In Automata, Languages and Programming, 33 rd International Colloquium, ICALP 2006
… Flat Parametric Counter Automata Marius Bozga1, Radu Iosif1, and Yassine Lakhnech1 VERIMAG, 2…
Cited by 4 (1 self) – Add To MetaCart

Testing conformance of real-time applications by automatic generation of observers
by Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis — 2004 — In Runtime Verification (RV’04
…, Marius Bozga, Moez Krichen, Stavros Tripakis Abstract Verimag Centre Equation, 2, avenue de Vignate…
Cited by 7 (2 self) – Add To MetaCart

Efficient Verification of Timed Automata using Dense and Discrete Time Semantics
by Marius Bozga , Oded Maler, Stavros Tripakis — 1999 — IN CORRECT HARDWARE DESIGN AND VERIFICATION METHODS
…Efficient Verification of Timed Automata using Dense and Discrete Time Semantics ? Marius Bozga…
Cited by 18 (4 self) – Add To MetaCart

Automated validation of distributed software using the IF environment
by Marius Bozga, Susanne Graf, Laurent Mounier — 2001 — In 2001 IEEE International Symposium on Network Computing and Applications (NCA 2001). IEEE
…://www.elsevier.nl/locate/entcs/volume55.html 12 pages Automated validation of distributed software using the IF environment Marius Bozga…
Cited by 14 (9 self) – Add To MetaCart

IF-2.0: A Validation Environment for Component-Based Real-Time Systems
by Marius Bozga, Susanne Graf, Laurent Mounier — 2002 — In Proceedings of Conference on Computer Aided Verification, CAV’02
…IF-2.0: A Validation Environment for Component-Based Real-Time Systems ? Marius Bozga, Susanne…
Cited by 42 (19 self) – Add To MetaCart

Some Progress in the Symbolic Verification of Timed Automata
by Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine — 1997
…Some Progress in the Symbolic Verification of Timed Automata ? Marius Bozga 1 , Oded Maler 1…
Cited by 40 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB