| 2008 |
|---|
| 12 | EE | Maxime Gariel,
Eric Feron:
Graceful Degradation of Air Traffic Operations
CoRR abs/0801.4750: (2008) |
| 2007 |
|---|
| 11 | EE | S. Bayraktar,
Eric Feron:
Experiments with small helicopter automated landings at unusual attitudes
CoRR abs/0709.1744: (2007) |
| 10 | EE | Eric Feron,
Mardavij Roozbehani:
Certifying controls and systems software
CoRR abs/cs/0701132: (2007) |
| 9 | EE | Maxime Gariel,
John-Paul Clarke,
Eric Feron:
A Dynamic I/O Model for TRACON Traffic Management
CoRR abs/cs/0702019: (2007) |
| 2005 |
|---|
| 8 | EE | Mardavij Roozbehani,
Eric Feron,
Alexandre Megrestki:
Modeling, Optimization and Computation for Software Verification.
HSCC 2005: 606-622 |
| 2004 |
|---|
| 7 | EE | Lee C. Yang,
Ji Hyun Yang,
Eric Feron:
Multiple model estimation for improving conflict detection algorithms.
SMC (1) 2004: 242-249 |
| 6 | EE | Sommer Gentry,
Eric Feron:
Musicality experiments in lead and follow dance.
SMC (1) 2004: 984-988 |
| 5 | EE | Mariya Ishutkina,
Eric Feron,
Marco Casini,
Antonio Vicino:
An Internet based laboratory for control of a safety critical system.
SMC (3) 2004: 2707-2712 |
| 4 | EE | Sommer Elizabeth Gentry,
Eric Feron:
Modeling musically meaningful choreography.
SMC (4) 2004: 3880-3885 |
| 3 | EE | Animesh Chakravarthy,
KyungYeol Song,
Eric Feron:
A slowdown warning system for automobiles.
SMC (4) 2004: 3962-3969 |
| 2003 |
|---|
| 2 | EE | Sayan Mitra,
Yong Wang,
Nancy A. Lynch,
Eric Feron:
Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata.
HSCC 2003: 343-358 |
| 2001 |
|---|
| 1 | EE | V. Gavrilets,
E. Frazzoli,
B. Mettler,
M. Piedmonte,
Eric Feron:
Aggressive Maneuvering of Small Autonomous Helicopters: A Human-Centered Approach.
I. J. Robotic Res. 20(10): 795-807 (2001) |
