Georgios E Fainekos
Assistant Professor,
School of Computing, Informatics and Decision Systems Engineering
Home Research Publications Miscellaneous
Editorials Journal Papers Conference Papers Patents Thesis Technical Reports Selected Presentations Selected Posters

Editorials

  1. Special issue on Numerical Software Verification,
    G. E. Fainekos, E. Goubault, S. Putot and S. Ratschan,
    Mathematics in Computer Science, V 5, N 4, pp 357-498, 2011
  1. Special issue on Numerical Software Verification of Cyber-Physical Software Systems,
    G. E. Fainekos, E. Goubault, F. Ivancic and S. Sankaranarayanan,
    ACM Transactions on Embedded Computing Systems (In press)

Archived Journal Papers

  1. Temporal Logic-based Reactive Mission and Motion Planning (pdf, bib),
    Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas,
    IEEE Transactions on Robotics, V 25, N 6, pp 1370 - 1381, 2009
  2. Robustness of temporal logic specifications for continuous-time signals (pdf, bib),
    Georgios E. Fainekos and George J. Pappas,
    Theoretical Computer Science, Elsevier, V 410, N 42, pp 4262-4291, 2009.
  3. Temporal Logic Motion Planning for Dynamic Mobile Robots (pdf, bib),
    Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit and George J. Pappas,
    Automatica, Elsevier, V 45, N 2, pp 343-352, 2009.
  4. Translating Structured English to Robot Controllers (pdf, bib),
    Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas,
    Advanced Robotics, VSP/Brill Academic Publishers, V 22, N 12, pp 1343-1359, 2008.
  5. Inverse Design of Airfoils Based on a Novel Formulation of the Ant Colony Optimization Method (pdf, bib),
    Georgios E. Fainekos and Kyriakos C. Giannakoglou,
    Inverse Problems in Engineering, Taylor & Francis, V 11, N 1, pp 21-38, 2003

Peer-Reviewed Conference Papers with Proceedings

  1. Combining Time and Frequency Domain Specifications For Periodic Signals (pdf, bib),
    Aleksandar Chakarov, Sriram Sankaranarayanan and Georgios Fainekos,
    In the Proceedings of Runtime Verification, San Francisco, California, Sep. 2011
  2. Linear Hybrid System Falsification Through Local Search (pdf, bib),
    Houssam Abbas and Georgios Fainekos,
    In the Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, Oct. 2011
  3. Computing Schedules for Time-Triggered Control using Genetic Algorithms (pdf, bib),
    Truong Nghiem and Georgios E. Fainekos,
    In the Proceedings of the 18th IFAC World Congress, Milan, Italy, Aug. 2011
  4. Revising Temporal Logic Specifications for Motion Planning (pdf, bib),
    Georgios E. Fainekos,
    In the Proceedings of the 2011 International Conference on Robotics and Automation, Shanghai, China, May 2011
  5. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (pdf, bib),
    Y. S. R. Annapureddy, C. Liu, G. E. Fainekos and S. Sankaranarayanan,
    In the Proc. of Tools and algorithms for the construction and analysis of systems, Saarbrucken, Germany, March 2011
  6. Ant Colonies for Temporal Logic Falsification of Hybrid Systems (pdf, bib),
    Yashwanth S. R. Annapureddy and Georgios E. Fainekos,
    In the Proceedings of the 36th Annual Conference of IEEE Industrial Electronics, Glendale, AZ, Nov. 2010
  7. Monte-Carlo Techniques for Falsification of Temporal Properties of Non-Linear Systems (pdf, bib),
    T. Nghiem, S. Sankaranarayanan, G. Fainekos, F. Ivancic, A. Gupta and G. Pappas,
    Hybrid Systems: Computation and Control, Stockholm, Sweden, Apr. 2010
  8. Robustness of Model-based Simulations (pdf, bib),
    Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic and Aarti Gupta,
    IEEE Real-Time Systems Symposium, Washington DC, Dec. 2009
  9. MTL Robust Testing and Verification for LPV Systems (pdf, bib),
    Georgios E. Fainekos and George J. Pappas,
    In the Proceedings of the 2009 American Control Conference, St. Louis, Missouri, June 2009
  10. Partial Order Techniques for the Analysis and Synthesis of Hybrid and Embedded Systems (pdf, bib),
    D. Del Vecchio, E. A. Lee, J.-F. Raskin, G. J. Pappas, G. E. Fainekos, D. Caveney and L. Caminiti,
    In the Proceedings of the 46th IEEE Conference on Decision and Control, New Orleans, Louisiana, December 2007
  11. Robust Sampling for MITL Specifications (pdf, bib),
    Georgios E. Fainekos and George J. Pappas,
    In the 5th Inter. Conference on Formal Modelling and Analysis of Timed Systems, Salzburg, Austria, October 2007
  12. From Structured English to Robot Motion (pdf, bib),
    Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas,
    In the Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, San Diego, CA, October 2007
  13. Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications (pdf, bib),
    Georgios E. Fainekos, Antoine Girard and George J. Pappas,
    In Hybrid Systems: Computation and Control, Pisa, Italy, April 2007
  14. Robust test generation and coverage for hybrid systems (pdf, bib),
    A. A. Julius, G. E. Fainekos, M. Anand, I. Lee and G. J. Pappas,
    In Hybrid Systems: Computation and Control, Pisa, Italy, April 2007
  15. Where's Waldo? Sensor-Based Temporal Logic Motion Planning (pdf, bib), (Finalist, Best Student Paper)
    Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas,
    In the Proceedings of the 2007 International Conference on Robotics and Automation, Rome, Italy, April 2007
  16. Translating temporal logic to controller specifications (pdf, bib),
    Georgios E. Fainekos, Savvas G. Loizou and George J. Pappas,
    In the Proceedings of the 45th IEEE Conference on Decision and Control, San Diego, USA, December 2006
  17. Temporal logic verification using simulation (pdf, bib),
    Georgios E. Fainekos, Antoine Girard and George J. Pappas,
    In the 4th Inter. Conference on Formal Modelling and Analysis of Timed Systems, Paris, France, September 2006
  18. Robustness of Temporal Logic Specifications (pdf, bib),
    Georgios E. Fainekos and George J. Pappas,
    In the Workshop on Formal Approaches to Testing and Runtime Verification, Seattle, USA, August 2006
  19. Hybrid Controllers for Path Planning: A Temporal Logic Approach (pdf, bib),
    Georgios E. Fainekos, Hadas Kress-Gazit and George J. Pappas,
    In the Proceedings of the 44th IEEE Conference on Decision and Control, Seville, Spain, December 2005
  20. Temporal logic motion planning for mobile robots (pdf, bib),
    Georgios E. Fainekos, Hadas Kress-Gazit and George J. Pappas,
    In the Proceedings of the 2005 International Conference on Robotics and Automation, Barcelona, Spain, April 2005
  21. Experimental Cooperative Control of Fixed-Wing Unmanned Aerial Vehicles (pdf, bib),
    Selcuk Bayraktar, Georgios E. Fainekos and George J. Pappas,
    In the Proceedings of the 43rd IEEE Conference on Decision and Control, Bahamas, December 2004

Patents

  1. Patent pending: U.S. Patent Application No 12/708,651, Publication No US 2010/0299651 A1 (published Nov. 25, 2010) (Fainekos et al., "Robust Testing for Discrete-Time and Continuous-Time System Models")

Thesis

  1. Robustness of Temporal Logic Specifications,
    Georgios E. Fainekos,
    PhD Thesis, University of Pennsylvania, August 2008
  2. Ant Colony Optimization: Applications to discrete and continuous problems,
    Georgios E. Fainekos,
    Diploma Thesis, NTUA, September 2001 (in Greek)

Technical Reports

  1. Linear Hybrid System Falsification With Descent (bib),
    Houssam Abbas and Georgios Fainekos,
    Technical Report arXiv:1105.1733, 2011
  2. Temporal Logic Motion Planning for Dynamic Mobile Robots (bib),
    Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit and George J. Pappas,
    Technical Report MS-CIS-07-02, Department of CIS, University of Pennsylvania, January 2007
  3. Hierarchical synthesis of hybrid controllers from temporal logic specifications (bib),
    Georgios E. Fainekos, Antoine Girard and George J. Pappas,
    Technical Report MS-CIS-07-01, Department of CIS, University of Pennsylvania, January 2007
  4. Robustness of Temporal Logic Specifications for Finite State Sequences in Metric Spaces (bib),
    Georgios E. Fainekos and George J. Pappas,
    Technical Report MS-CIS-06-05, Department of CIS, University of Pennsylvania, May 2006
  5. An Introduction to Multi-Valued Model Checking (bib),
    Georgios E. Fainekos,
    Technical Report MS-CIS-05-16, Department of CIS, University of Pennsylvania, September 2005
  6. Hybrid Modeling and Experimental Cooperative Control of Multiple Unmanned Aerial Vehicles (bib),
    Selcuk Bayraktar, Georgios E. Fainekos and George J. Pappas,
    Technical Report MS-CIS-04-32, Department of CIS, University of Pennsylvania, December 2004

Selected presentations

  1. Robust Testing and Testing Robustness for Cyber-Physical Systems,
    University of California at Los Angeles, Jun. 2011
  2. Robustness of Model-based Simulations,
    IEEE Real-Time Systems Symposium, Washington DC, Dec. 2009
  3. MTL Robust Testing and Verification for LPV Systems,
    2009 American Control Conference, St. Louis, Missouri, June 2009
  4. Robustness of Temporal Logic Specifications,
    PhD thesis defense, University of Pennsylvania, June 23, 2008
  5. Robust Sampling for MITL Specifications,
    Formal Modelling and Analysis of Timed Systems, Salzburg, Austria, October 2007
  6. Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications,
    Hybrid Systems: Computation and Control, Pisa, Italy, April 2007
  7. Robust test generation and coverage for hybrid systems,
    Hybrid Systems: Computation and Control, Pisa, Italy, April 2007
  8. Translating temporal logic to controller specifications,
    IEEE Conference on Decision and Control, San Diego, California, December 2006
  9. Robustness of Temporal Logic Specifications (and an application to verification using simulation),
    Verimag, Grenoble, September 2006
  10. An Introduction to Multi-Valued Model Checking,
    In-depth examination, Committee: Rajeev Alur (Chair), Insup Lee and George Pappas, June 2005
  11. Temporal Logic Motion Planning for Mobile Robots,
    International Conference on Robotics and Automation, Barcelona, April 2005
  12. Experimental Cooperative Control of Fixed-Wing Unmanned Aerial Vehicles,
    IEEE Conference on Decision and Control, Bahamas, December 2004

Selected posters

  1. Temporal Logic Motion Planning for Mobile Robots,
    9th International Workshop on Hybrid Systems: Computation and Control, Santa Barbara, March 2006
  2. Temporal Logic Motion Planning for Mobile Robots, (Best poster award)
    Graduate Research Symposium at University of Pennsylvania, March 2005
Citations and Indices

Researcher Profile on Google Scholar

 
Highlights
 

2007

  • Two papers in HSCC 2007 with acceptance rate 25%
  • Finalist, Best Student Paper in ICRA 2007

2005

  • Best poster award at the Graduate Research Symposium at the University of Pennsylvania

Home :: Research :: Publications :: Miscellaneous
Admin: G. Fainekos // Design: O. Fainekos // Copyright @ Georgios E Fainekos // Last update@2011.08.12