Georgios E. Fainekos

Assistant Professor
Cyber-Physical Systems Laboratory (CPSLab)
Center for Embedded Systems (CES)
School of Computing, Informatics and Decision Systems Engineering (SCIDSE)
Ira A. Fulton Schools of Engineering
Arizona State University

Bio [See also Curriculum Vitae]

Georgios E. Fainekos is an Assistant Professor at the School of Computing, Informatics and Decision Systems Engineering at Arizona State University. He is director of the Cyber-Physical Systems Laboratory (CPSLab) and he is also affiliated with the Center for Embedded Systems (CES). He received his Ph.D. in Computer and Information Science from the University of Pennsylvania in 2008. He holds a Diploma degree (B.Sc. & M.Sc.) in Mechanical Engineering from the National Technical University of Athens and an M.Sc. degree in Computer and Information Science from the University of Pennsylvania. Before joining ASU he held a Postdoctoral Researcher position at NEC Laboratories America in the System Analysis & Verification Group. He is currently working in the area of Cyber-Physical Systems. In particular, his research interests include formal methods and logic, control theory and hybrid, embedded and real-time systems with applications to robotics and unmanned aerial vehicles. He was finalist for the best student paper in ICRA 2007 and he was recipient of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award. more ...

Recent Publications

For a complete list of my publications please visit my publications page.

• Verification of Automotive Control Applications using S-TaLiRo (preprint pdf, bib),
  Georgios Fainekos, Sriram Sankaranarayanan, Koichi Ueda and Hakan Yazarel
  [Accepted for presentation at the American Control Conference, Montreal, Canada, June 2012]
• On the Revision Problem of Specification Automata (preprint pdf, bib),
  Kangjin Kim, Georgios Fainekos and Sriram Sankaranarayanan,
  [Accepted for presentation at the IEEE Conference on Robotics and Automation, St. Paul, Minnesota, May 2012]
• Falsification of Temporal Properties of Hybrid Systems Using the Cross-Entropy Method (preprint pdf, bib),
  Sriram Sankaranarayanan and Georgios Fainekos,
  [Accepted for presentation at the ACM International Conference on Hybrid Systems: Computation and Control, Beijing, China, Apr. 2012]
• Probabilistic Temporal Logic Falsification of Cyber-Physical Systems (preprint pdf, bib),
  H. Abbas, G. Fainekos, S. Sankaranarayanan, F. Ivancic, and A. Gupta,
  [Accepted on 2011.12.15 for publication in ACM Transactions on Embedded Computing Systems]
• 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
• 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
• Linear Hybrid System Falsification With Descent (bib),
  Houssam Abbas and Georgios Fainekos,
  Technical Report arXiv:1105.1733, 2011
• 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
• 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
• 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

Recent and Upcoming Courses

• Spring 2012 (ASU): CSE 522: Real-Time Embedded Systems
• Fall 2011 (ASU): CSE 355: Introduction to Theoretical Computer Science

See older courses.

Group

• PhD Students
  • Houssam Abbas (ECEE; Co-advised with Tolga Duman)
  • Bardh Hoxha (CIDSE)
  • Kangjin Kim (CIDSE)
  • David Medawar (CIDSE)
• MS Students
  • Ramtin Kermani (CIDSE)
  • Parth Pandya (CIDSE)
  • Shashank Srinivas (CIDSE)
  • Shih-Kai Su (CIDSE)
  • Subrat Kumar Swain (ECEE)
  • Hengyi Yang (CIDSE)
• Alumni
• A few remarks for prospective students