 | 2011 |
| 5 |  | Hisahiro Ito,
Akira Ohata,
Ken Butts,
Jürgen Gerhard,
Masoud Abbaszadeh,
David Linder,
Erik Postman,
Elena Shmoylova:
Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export.
EOOLT 2011: 27-34 |
| 2003 |
| 4 |  | Sandeep Neema,
Janos Sztipanovits,
Gabor Karsai,
Ken Butts:
Constraint-Based Design-Space Exploration and Model Synthesis.
EMSOFT 2003: 290-305 |
| 2001 |
| 3 |  | Steve Sims,
Rance Cleaveland,
Ken Butts,
Scott Ranville:
Automated Validation of Software Models.
ASE 2001: 91- |
| 2 |  | 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 |  | Ken Butts:
Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision.
HSCC 2000: 1-2 |