| |
| 2009 | ||
|---|---|---|
| 4 | EE | Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans: Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. HSCC 2009: 165-179 |
| 2008 | ||
| 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 |
| 1 | Edmund M. Clarke | [3] |
| 2 | Thao Dang | [1] |
| 3 | Bruce H. Krogh | [4] |
| 4 | Axel Legay | [3] |
| 5 | Oded Maler | [1] [2] |
| 6 | Akshay Rajhans | [4] |