• 2603 Citations
  • 25 h-Index
20032019

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

PHD, University of Pennsylvania

… → 2008

MS, University of Pennsylvania

… → 2004

Fingerprint Dive into the research topics where Georgios Fainekos is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 8 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Arch-comp 2019 category report: Falsification

Ernst, G., Arcaini, P., Donze, A., Fainekos, G., Mathesen, L., Pedrielli, G., Yaghoubi, S., Yamagata, Y. & Zhang, Z., Jan 1 2019, In : EPiC Series in Computing. 61, p. 129-140 12 p.

Research output: Contribution to journalConference article

Open Access
  • 3 Scopus citations

    Continuous simulation optimization with model mismatch using Gaussian process regression

    Inanlouganji, A., Pedrielli, G., Fainekos, G. & Pokutta, S., Jan 31 2019, WSC 2018 - 2018 Winter Simulation Conference: Simulation for a Noble Cause. Institute of Electrical and Electronics Engineers Inc., p. 2131-2142 12 p. 8632427. (Proceedings - Winter Simulation Conference; vol. 2018-December).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1 Scopus citations

    Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic

    Hekmatnejad, M., Yaghoubi, S., Dokhanchi, A., Amor, H. B., Shrivastava, A., Karam, L. & Fainekos, G., Oct 9 2019, MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. Association for Computing Machinery, Inc, A6. (MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Evaluating perception systems for autonomous vehicles using quality temporal logic

    Dokhanchi, A., Ben Amor, H., Deshmukh, J. V. & Fainekos, G., Jan 1 2019, Runtime Verification- 18th International Conference, RV 2018, Proceedings. Leucker, M. & Colombo, C. (eds.). Springer Verlag, p. 409-416 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11237).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 3 Scopus citations

    Falsification of cyber-physical systems through multi-fidelity stochastic optimization

    Inanlouganji, A., Yaghoubi, S., Fainekos, G. & Pedrielli, G., Apr 15 2019, SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT. Ramachandran, G. S. & Ortiz, J. (eds.). Association for Computing Machinery, Inc, 3313371. (SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Projects