| * | 2009 |
|---|
| 7 | EE | Alexandre Donzé,
Bruce H. Krogh,
Akshay Rajhans:
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models.
HSCC 2009: 165-179 |
| 6 | EE | Alexandre Donzé,
Gilles Clermont,
Axel Legay,
Christopher James Langmead:
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology.
RECOMB 2009: 155-169 |
| 2008 |
|---|
| 5 | EE | James Kapinski,
Alexandre Donzé,
Flavio Lerda,
Hitashyam Maka,
Silke Wagner,
Bruce H. Krogh:
Control software model checking using bisimulation functions for nonlinear systems.
CDC 2008: 4024-4029 |
| 4 | EE | Thao Dang,
Alexandre Donzé,
Oded Maler,
Noa Shalev:
Sensitive state-space exploration.
CDC 2008: 4049-4054 |
| 3 | EE | Edmund M. Clarke,
Alexandre Donzé,
Axel Legay:
Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator.
Haifa Verification Conference 2008: 149-163 |
| 2007 |
|---|
| 2 | EE | Alexandre Donzé,
Oded Maler:
Systematic Simulation Using Sensitivity Analysis.
HSCC 2007: 174-189 |
| 2004 |
|---|
| 1 | EE | Thao Dang,
Alexandre Donzé,
Oded Maler:
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.
FMCAD 2004: 21-36 |
