Editorials

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

Archived Journal Papers

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

Conference Papers with Proceedings (Peer-Reviewed)

  1. Formal property verification in a conformance testing framework (pdf),
    Houssam Abbas, Hans Mittelmann and Georgios Fainekos,
    12th ACM-IEEE International Conference on Formal Methods and Models for System Design, Lausanne, Switzerland, October 2014
  2. DisCoF: Cooperative Pathfinding in Distributed Systems with Limited Sensing and Communication Range (pdf),
    Yu Zhang, Kangjin Kim and Georgios Fainekos,
    International Symposium on Distributed Autonomous Robotic Systems, Daejeon, Korea, Nov 2014
  3. Towards Formal Specification Visualization for Testing and Monitoring of Cyber-Physical Systems (pdf),
    B. Hoxha, H. Bach, H. Abbas, A. Dokhanchi, Y. Kobayashi and G. Fainekos,
    International Workshop on Design and Implementation of Formal Tools and Systems, Lausanne, Switzerland, Oct 2014
  4. On-Line Monitoring for Temporal Logic Robustness (pdf, extended pdf),
    Adel Dokhanchi, Bardh Hoxha and Georgios Fainekos,
    Runtime Verification, Toronto, Canada, September 2014
  5. Revision of Specification Automata under Quantitative Preferences (pdf, extended pdf),
    Kangjin Kim and Georgios Fainekos,
    IEEE International Conference on Robotics and Automation, Hong-Kong, June 2014
  6. Robustness-Guided Temporal Logic Testing and Verification for Stochastic Cyber-Physical Systems (pdf), (Finalist, Best Student Paper)
    Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Koichi Ueda,
    IEEE International Conference on CYBER Technology in Automation, Control, and Intelligent Systems, Hong Kong, China, June 2014
  7. Functional Gradient Descent Method for Metric Temporal Logic Specifications (pdf),
    Houssam Abbas, Andrew Winn, Georgios Fainekos and A. Agung Julius
    American Control Conference, Portland, OR, June 2014
  8. WiP Abstract: Conformance Testing as Falsification for Cyber-Physical Systems (pdf, extended),
    H. Abbas, B. Hoxha, G. Fainekos, J. V. Deshmukh, J. Kapinski, K. Ueda,
    ACM/IEEE International Conference on Cyber-Physical Systems, Berlin, Germany, April 2014
  9. Benchmarks for Temporal Logic Requirements for Automotive Systems (pdf),
    Bardh Hoxha, Houssam Abbas and Georgios Fainekos,
    Applied Verification for Continuous and Hybrid Systems, Berlin, Germany, April 2014
  10. Using S-TaLiRo on Industrial Size Automotive Models (pdf),
    Bardh Hoxha, Houssam Abbas and Georgios Fainekos,
    Applied Verification for Continuous and Hybrid Systems, Berlin, Germany, April 2014
  11. A Graphical Language for LTL Motion and Mission Planning (pdf),
    S. Srinivas, R. Kermani, K. Kim, Y. Kobayashi and G. Fainekos,
    IEEE International Conference on Robotics and Biomimetics, Shenzen, China, Dec. 2013
  12. Computing Descent Direction of MTL Robustness for Non-Linear Systems (pdf),
    Houssam Abbas and Georgios Fainekos,
    American Control Conference, Washington DC, USA, June 2013
  13. Minimal Specification Revision for Weighted Transition Systems (pdf),
    Kangjin Kim and Georgios Fainekos,
    IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May 2013
  14. Querying Parametric Temporal Logic Properties on Embedded Systems (pdf),
    Hengyi Yang, Bardh Hoxha and Georgios Fainekos,
    Int. Conference on Testing Software and Systems, Aalborg, Denmark, Nov. 2012
  15. Approximate Solutions for the Minimal Revision Problem of Specification Automata (pdf),
    Kangjin Kim and Georgios Fainekos,
    IEEE/RSJ International Conference on Intelligent Robots and Systems, Vilamoura Algarve, Portugal, Oct. 2012
  16. Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System (pdf),
    Sriram Sankaranarayanan and Georgios Fainekos,
    10th Conference on Computational Methods in Systems Biology, London, UK, Oct. 2012
  17. Verification of Automotive Control Applications using S-TaLiRo (pdf),
    Georgios Fainekos, Sriram Sankaranarayanan, Koichi Ueda and Hakan Yazarel
    American Control Conference, Montreal, Canada, June 2012
  18. On the Revision Problem of Specification Automata (pdf),
    Kangjin Kim, Georgios Fainekos and Sriram Sankaranarayanan,
    IEEE Conference on Robotics and Automation, St. Paul, Minnesota, May 2012
  19. Falsification of Temporal Properties of Hybrid Systems Using the Cross-Entropy Method (ACM DL Author-ize service pdf, pdf),
    Sriram Sankaranarayanan and Georgios Fainekos,
    ACM International Conference on Hybrid Systems: Computation and Control, Beijing, China, Apr. 2012
  20. Combining Time and Frequency Domain Specifications For Periodic Signals (pdf),
    Aleksandar Chakarov, Sriram Sankaranarayanan and Georgios Fainekos,
    In the Proceedings of Runtime Verification, San Francisco, California, Sep. 2011
  21. Linear Hybrid System Falsification Through Local Search (pdf, extended pdf),
    Houssam Abbas and Georgios Fainekos,
    In the Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, Oct. 2011
  22. Computing Schedules for Time-Triggered Control using Genetic Algorithms (pdf),
    Truong Nghiem and Georgios E. Fainekos,
    In the Proceedings of the 18th IFAC World Congress, Milan, Italy, Aug. 2011
  23. Revising Temporal Logic Specifications for Motion Planning (pdf),
    Georgios E. Fainekos,
    In the Proceedings of the 2011 International Conference on Robotics and Automation, Shanghai, China, May 2011
  24. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (pdf),
    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
  25. Ant Colonies for Temporal Logic Falsification of Hybrid Systems (pdf),
    Yashwanth S. R. Annapureddy and Georgios E. Fainekos,
    In the Proceedings of the 36th Annual Conference of IEEE Industrial Electronics, Glendale, AZ, Nov. 2010
  26. Monte-Carlo Techniques for Falsification of Temporal Properties of Non-Linear Systems (ACM DL Author-ize service pdf, Preprint pdf),
    T. Nghiem, S. Sankaranarayanan, G. Fainekos, F. Ivancic, A. Gupta and G. Pappas,
    Hybrid Systems: Computation and Control, Stockholm, Sweden, Apr. 2010
  27. Robustness of Model-based Simulations (pdf),
    Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic and Aarti Gupta,
    IEEE Real-Time Systems Symposium, Washington DC, Dec. 2009
  28. MTL Robust Testing and Verification for LPV Systems (pdf),
    Georgios E. Fainekos and George J. Pappas,
    In the Proceedings of the 2009 American Control Conference, St. Louis, Missouri, June 2009
  29. Partial Order Techniques for the Analysis and Synthesis of Hybrid and Embedded Systems (pdf),
    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
  30. Robust Sampling for MITL Specifications (pdf),
    Georgios E. Fainekos and George J. Pappas,
    In the 5th Inter. Conference on Formal Modelling and Analysis of Timed Systems, Salzburg, Austria, October 2007
  31. From Structured English to Robot Motion (pdf),
    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
  32. Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications (pdf),
    Georgios E. Fainekos, Antoine Girard and George J. Pappas,
    In Hybrid Systems: Computation and Control, Pisa, Italy, April 2007
  33. Robust test generation and coverage for hybrid systems (pdf),
    A. A. Julius, G. E. Fainekos, M. Anand, I. Lee and G. J. Pappas,
    In Hybrid Systems: Computation and Control, Pisa, Italy, April 2007
  34. Where's Waldo? Sensor-Based Temporal Logic Motion Planning (pdf), (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
  35. Translating temporal logic to controller specifications (pdf),
    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
  36. Temporal logic verification using simulation (pdf),
    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
  37. Robustness of Temporal Logic Specifications (pdf),
    Georgios E. Fainekos and George J. Pappas,
    In the Workshop on Formal Approaches to Testing and Runtime Verification, Seattle, USA, August 2006
  38. Hybrid Controllers for Path Planning: A Temporal Logic Approach (pdf),
    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
  39. Temporal logic motion planning for mobile robots (pdf),
    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
  40. Experimental Cooperative Control of Fixed-Wing Unmanned Aerial Vehicles (pdf),
    Selcuk Bayraktar, Georgios E. Fainekos and George J. Pappas,
    In the Proceedings of the 43rd IEEE Conference on Decision and Control, Bahamas, December 2004

Invited papers (Not peer reviewed)

  1. A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients (pdf),
    Sriram Sankaranarayanan, Christopher Miller, Rangarajan Raghunathan, Hadi Ravanbakhsh and Georgios Fainekos,
    In the Proc. of 50th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, Oct. 2012
  2. Convergence Proofs for Simulated Annealing Falsification of Safety Properties (pdf),
    Houssam Abbas and Georgios Fainekos,
    In the Proc. of 50th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, Oct. 2012
  3. Towards modeling and analysis of cyber-physical medical systems (ACM DL Author-ize service pdf),
    A. Banerjee, S. K. S. Gupta, G. Fainekos and G. Varsamopoulos,
    Proceedings of the 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies, Barcelona, Spain, Oct. 2011

Patents

  1. U.S. Patent Application No 61/900,866, Submitted on 11/6/2013. (Fainekos et al., "Guided Temporal Logic Testing of Cyber-Physical Systems")
  2. U.S. Patent Application No 61/890,368, Submitted on 10/14/2013. (Srinivas et al., "A graphical language and graphical user interface for linear temporal logic (LTL) motion and mission planning")
  3. U.S. Patent Application No 61/835,352, Submitted on 6/14/2013. (Yang et al., "Querying Parametric Temporal Logic Properties on Embedded Systems")
  4. 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. On-Line Monitoring for Temporal Logic Robustness,
    Adel Dokhanchi, Bardh Hoxha and Georgios Fainekos,
    Technical Report arXiv:1408.0045, 2014
  2. On the Minimal Revision Problem of Specification Automata,
    Kangjin Kim, Georgios Fainekos and Sriram Sankaranarayanan,
    Technical Report arXiv:1404.2289, 2014
  3. Revision of Specification Automata under Quantitative Preferences,
    Kangjin Kim and Georgios Fainekos,
    Technical Report arXiv:1402.3611, 2014
  4. Conformance Testing as Falsification for Cyber-Physical Systems,
    H. Abbas, B. Hoxha, G. Fainekos, J. V. Deshmukh, J. Kapinski, K. Ueda,
    Technical Report arXiv:1401.5200, 2014
  5. Linear Hybrid System Falsification With Descent,
    Houssam Abbas and Georgios Fainekos,
    Technical Report arXiv:1105.1733, 2011
  6. Temporal Logic Motion Planning for Dynamic Mobile Robots,
    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
  7. Hierarchical synthesis of hybrid controllers from temporal logic specifications,
    Georgios E. Fainekos, Antoine Girard and George J. Pappas,
    Technical Report MS-CIS-07-01, Department of CIS, University of Pennsylvania, January 2007
  8. Robustness of Temporal Logic Specifications for Finite State Sequences in Metric Spaces,
    Georgios E. Fainekos and George J. Pappas,
    Technical Report MS-CIS-06-05, Department of CIS, University of Pennsylvania, May 2006
  9. An Introduction to Multi-Valued Model Checking,
    Georgios E. Fainekos,
    Technical Report MS-CIS-05-16, Department of CIS, University of Pennsylvania, September 2005
  10. Hybrid Modeling and Experimental Cooperative Control of Multiple Unmanned Aerial Vehicles,
    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. Temporal Logic Testing and Verification for Cyber-Physical Systems,
    University of Tokyo, Tokyo, Japan, June 2014
  2. Graphical Interfaces and Automated User Feedback for Temporal Logic Motion Planning,
    KTH, Stockholm, Sweden, Mar. 2014
  3. Temporal Logic Testing for Hybrid Systems,
    Japanese National Institute for Informatics Shonan Meeting: Hybrid Systems - Theory and Practice, Seriously, Shonan, Japan, April 2012
  4. Robust Testing and Testing Robustness for Cyber-Physical Systems,
    University of California at Los Angeles, Jun. 2011
  5. Robustness of Model-based Simulations,
    IEEE Real-Time Systems Symposium, Washington DC, Dec. 2009
  6. MTL Robust Testing and Verification for LPV Systems,
    2009 American Control Conference, St. Louis, Missouri, June 2009
  7. Robustness of Temporal Logic Specifications,
    PhD thesis defense, University of Pennsylvania, June 23, 2008
  8. Robust Sampling for MITL Specifications,
    Formal Modelling and Analysis of Timed Systems, Salzburg, Austria, October 2007
  9. Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications,
    Hybrid Systems: Computation and Control, Pisa, Italy, April 2007
  10. Robust test generation and coverage for hybrid systems,
    Hybrid Systems: Computation and Control, Pisa, Italy, April 2007
  11. Translating temporal logic to controller specifications,
    IEEE Conference on Decision and Control, San Diego, California, December 2006
  12. Robustness of Temporal Logic Specifications (and an application to verification using simulation),
    Verimag, Grenoble, September 2006
  13. An Introduction to Multi-Valued Model Checking,
    In-depth examination, Committee: Rajeev Alur (Chair), Insup Lee and George Pappas, June 2005
  14. Temporal Logic Motion Planning for Mobile Robots,
    International Conference on Robotics and Automation, Barcelona, April 2005
  15. Experimental Cooperative Control of Fixed-Wing Unmanned Aerial Vehicles,
    IEEE Conference on Decision and Control, Bahamas, December 2004

Selected posters

  1. Conformance Testing as Falsification for Cyber-Physical Systems,
    H. Abbas, B. Hoxha, G. Fainekos, J. V. Deshmukh, J. Kapinski, K. Ueda,
    ACM/IEEE International Conference on Cyber-Physical Systems, Berlin, Germany, April 2014
  2. Robustness-Guided Temporal Logic Testing for Stochastic Hybrid Systems,
    Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Koichi Ueda,
    ACM/IEEE Hybrid Systems: Computation and Control, Berlin, Germany, April 2014
  3. Temporal Logic Motion Planning for Mobile Robots,
    Hadas Kress-Gazit, Georgios E. Fainekos, and George J. Pappas,
    9th International Workshop on Hybrid Systems: Computation and Control, Santa Barbara, March 2006
  4. Temporal Logic Motion Planning for Mobile Robots, (Best poster award)
    Georgios E. Fainekos, Hadas Kress-Gazit, and George J. Pappas
    Graduate Research Symposium at University of Pennsylvania, March 2005
 
Bibtex library
 
Home :: Research :: Publications :: Miscellaneous
Admin: G. Fainekos // Design: O. Fainekos // Copyright @ Georgios Fainekos // Last update@2014.08.24