| 2003 |
|---|
| 4 | EE | Sandeep Neema,
Janos Sztipanovits,
Gabor Karsai,
Ken Butts:
Constraint-Based Design-Space Exploration and Model Synthesis.
EMSOFT 2003: 290-305 |
| 2001 |
|---|
| 3 | EE | Steve Sims,
Rance Cleaveland,
Ken Butts,
Scott Ranville:
Automated Validation of Software Models.
ASE 2001: 91- |
| 2 | EE | Ken Butts,
Dave Bostic,
Alongkrit Chutinan,
Jeffrey Cook,
Bill Milam,
Yanxin Wang:
Usage Scenarios for an Automated Model Compiler.
EMSOFT 2001: 66-79 |
| 2000 |
|---|
| 1 | EE | Ken Butts:
Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision.
HSCC 2000: 1-2 |
