The SCEAS System
Navigation Menu

Search the dblp DataBase


Eric Feron: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  12. Distributed Lyapunov Functions in Analysis of Graph Models of Software. [Citation Graph (, )][DBLP]

  13. Aggressive Maneuvering Flight Tests of a Miniature Robotic Helicopter. [Citation Graph (, )][DBLP]

  14. Continuous path planning for a data harvesting mobile server. [Citation Graph (, )][DBLP]

  15. Graceful Degradation of Air Traffic Operations [Citation Graph (, )][DBLP]

  16. Collaborative Virtual Queue: Fair Management of Congested Departure Operations and Benefit Analysis [Citation Graph (, )][DBLP]

  17. Control software analysis, Part I Open-loop properties [Citation Graph (, )][DBLP]

  18. Scheduling Kalman Filters in Continuous Time [Citation Graph (, )][DBLP]

  19. Control software analysis, part II: Closed-loop analysis [Citation Graph (, )][DBLP]

  20. Using Ellipsoidal Domains to Analyze Control Systems Software [Citation Graph (, )][DBLP]

  21. Trajectory Clustering and an Application to Airspace Monitoring [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002