| 2007 |
|---|
| 36 | EE | Marius Bozga,
Radu Iosif:
On Flat Programs with Lists.
VMCAI 2007: 122-136 |
| 2006 |
|---|
| 35 | EE | Ahmed Bouajjani,
Marius Bozga,
Peter Habermehl,
Radu Iosif,
Pierre Moro,
Tomás Vojnar:
Programs with Lists Are Counter Automata.
CAV 2006: 517-531 |
| 34 | EE | Ramzi Ben Salah,
Marius Bozga,
Oded Maler:
On Interleaving in Timed Automata.
CONCUR 2006: 465-476 |
| 33 | EE | Marius Bozga,
Radu Iosif,
Yassine Lakhnech:
Flat Parametric Counter Automata.
ICALP (2) 2006: 577-588 |
| 32 | EE | Ananda Basu,
Marius Bozga,
Joseph Sifakis:
Modeling Heterogeneous Real-time Components in BIP.
SEFM 2006: 3-12 |
| 2005 |
|---|
| 31 | EE | Marius Bozga,
Radu Iosif:
On Decidability Within the Arithmetic of Addition and Divisibility.
FoSSaCS 2005: 425-439 |
| 30 | EE | Saddek Bensalem,
Marius Bozga,
Moez Krichen,
Stavros Tripakis:
Testing Conformance of Real-Time Applications by Automatic Generation of Observers.
Electr. Notes Theor. Comput. Sci. 113: 23-43 (2005) |
| 2004 |
|---|
| 29 | EE | Marius Bozga,
Abdelkarim Kerbaa,
Oded Maler:
Scheduling Acyclic Branching Programs on Parallel Machines.
RTSS 2004: 208-217 |
| 28 | EE | Marius Bozga,
Radu Iosif,
Yassine Lakhnech:
On Logics of Aliasing.
SAS 2004: 344-360 |
| 27 | EE | Marius Bozga,
Susanne Graf,
Ileana Ober,
Iulian Ober,
Joseph Sifakis:
The IF Toolset.
SFM 2004: 237-267 |
| 26 | EE | Marius Bozga,
Susanne Graf,
Laurent Mounier,
Iulian Ober:
IF Validation Environment Tutorial.
SPIN 2004: 306-307 |
| 2003 |
|---|
| 25 | EE | Ramzi Ben Salah,
Marius Bozga,
Oded Maler:
On Timing Analysis of Combinational Circuits.
FORMATS 2003: 204-219 |
| 24 | EE | Marius Bozga,
Radu Iosif,
Yassine Lakhnech:
Storeless semantics and alias logic.
PEPM 2003: 55-65 |
| 23 | EE | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu:
Using static analysis to improve automatic test generation.
STTT 4(2): 142-152 (2003) |
| 22 | EE | Jean-Claude Fernandez,
Marius Bozga,
Lucian Ghirvu:
State space reduction based on live variables analysis.
Sci. Comput. Program. 47(2-3): 203-220 (2003) |
| 2002 |
|---|
| 21 | EE | Marius Bozga,
Susanne Graf,
Laurent Mounier:
IF-2.0: A Validation Environment for Component-Based Real-Time Systems.
CAV 2002: 343-348 |
| 20 | EE | Peter Niebert,
Moez Mahfoudh,
Eugene Asarin,
Marius Bozga,
Oded Maler,
Navendu Jain:
Verification of Timed Automata via Satisfiability Checking.
FTRTFT 2002: 225-244 |
| 19 | EE | Marius Bozga,
Hou Jianmin,
Oded Maler,
Sergio Yovine:
Verification of Asynchronous Circuits using Timed Automata.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
| 2001 |
|---|
| 18 | EE | Marius Bozga,
Susanne Graf,
Laurent Mounier:
Automated Validation of Distributed Software Using the IF Environment.
NCA 2001: 268-275 |
| 17 | EE | Marius Bozga,
Susanne Graf,
Laurent Mounier,
Iulian Ober,
Jean-Luc Roux,
Daniel Vincent:
Timed Extensions for SDL.
SDL Forum 2001: 223-240 |
| 16 | EE | Marius Bozga,
Susanne Graf,
Laurent Mounier:
Automated validation of distributed software using the IF environment.
Electr. Notes Theor. Comput. Sci. 55(3): (2001) |
| 2000 |
|---|
| 15 | | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu,
Susanne Graf,
Jean-Pierre Krimm,
Laurent Mounier:
IF: A Validation Environment for Timed Asynchronous Systems.
CAV 2000: 543-547 |
| 14 | | Marius Bozga,
Susanne Graf,
Alain Kerbrat,
Laurent Mounier,
Iulian Ober,
Daniel Vincent:
SDL for Real-Time: What is Missing?
SAM 2000: 108- |
| 13 | | Saddek Bensalem,
Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu,
Yassine Lakhnech:
A Transformational Approach for Generating Non-linear Invariants.
SAS 2000: 58-74 |
| 12 | EE | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu:
Using Static Analysis to Improve Automatic Test Generation.
TACAS 2000: 235-250 |
| 11 | | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu,
Claude Jard,
Thierry Jéron,
Alain Kerbrat,
Pierre Morel,
Laurent Mounier:
Verification and test generation for the SSCOP protocol.
Sci. Comput. Program. 36(1): 27-52 (2000) |
| 1999 |
|---|
| 10 | EE | Marius Bozga,
Oded Maler:
On the Representation of Probabilities over Structured Domains.
CAV 1999: 261-273 |
| 9 | EE | Marius Bozga,
Oded Maler,
Stavros Tripakis:
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics.
CHARME 1999: 125-141 |
| 8 | EE | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu:
State Space Reduction Based on Live Variables Analysis.
SAS 1999: 164-178 |
| 7 | | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu,
Susanne Graf,
Jean-Pierre Krimm,
Laurent Mounier,
Joseph Sifakis:
IF: An intermediate representation for SDL and its applications.
SDL Forum 1999: 423-440 |
| 6 | EE | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu,
Susanne Graf,
Jean-Pierre Krimm,
Laurent Mounier:
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.
World Congress on Formal Methods 1999: 307-327 |
| 1998 |
|---|
| 5 | | Marius Bozga,
Conrado Daws,
Oded Maler,
Alfredo Olivero,
Stavros Tripakis,
Sergio Yovine:
Kronos: A Model-Checking Tool for Real-Time Systems.
CAV 1998: 546-550 |
| 4 | EE | Marius Bozga,
Conrado Daws,
Oded Maler,
Alfredo Olivero,
Stavros Tripakis,
Sergio Yovine:
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98).
FTRTFT 1998: 298-302 |
| 1997 |
|---|
| 3 | | Marius Bozga,
Oded Maler,
Amir Pnueli,
Sergio Yovine:
Some Progress in the Symbolic Verification of Timed Automata.
CAV 1997: 179-190 |
| 2 | | Eugene Asarin,
Marius Bozga,
Alain Kerbrat,
Oded Maler,
Amir Pnueli,
Anne Rasse:
Data-Structures for the Verification of Timed Automata.
HART 1997: 346-360 |
| 1 | EE | Marius Bozga,
Jean-Claude Fernandez,
Alain Kerbrat,
Laurent Mounier:
Protocol Verification with the ALDÉBARAN Toolset.
STTT 1(1-2): 166-184 (1997) |
