Searching for authors named "Marius Bozga" – sorted by Relevance.
-
Timed automata approach for the Axxom case study
- 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
- 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
- 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
- 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
- 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
- , 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
- 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
- ://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
- 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
- Some Progress in the Symbolic Verification of Timed Automata ? Marius Bozga 1 , Oded Maler 1
- Cited by 40 (4 self) – Add To MetaCart

