Georgios Fainekos

Associate Professor

Associate Professor, IAFSE-CIDSE: Computer Science and Engineering
Associate Professor, IAFSE-CIDSE: Embedded Systems, Consortium for (CES)
Associate Professor, Computing, Informatics and Decision Systems Engineering, School of (CIDSE)

Source: Scopus
Calculated based on no. of publications stored in Pure and citations from Scopus

Research activity 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.

9 Similar Profiles

Network

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

3041 Citations
25 h-Index
74 Conference contribution
17 Article
2 Conference article
2 Editorial
More
- 2 Patent
- 1 Chapter

Risk-Bounded Control Using Stochastic Barrier Functions
Yaghoubi, S., Majd, K., Fainekos, G., Yamaguchi, T., Prokhorov, D. & Hoxha, B., Nov 2021, In: IEEE Control Systems Letters. 5, 5, p. 1831-1836 6 p., 9286497.
Research output: Contribution to journal › Article › peer-review
DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems
Bashetty, S. K., Ben Amor, H. & Fainekos, G., May 2020, 2020 IEEE International Conference on Robotics and Automation, ICRA 2020. Institute of Electrical and Electronics Engineers Inc., p. 11353-11360 8 p. 9197053. (Proceedings - IEEE International Conference on Robotics and Automation).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Requirements-Driven Test Generation for Autonomous Vehicles with Machine Learning Components
Tuncali, C. E., Fainekos, G., Prokhorov, D., Ito, H. & Kapinski, J., Jun 2020, In: IEEE Transactions on Intelligent Vehicles. 5, 2, p. 265-280 16 p., 8911483.
Research output: Contribution to journal › Article › peer-review
7 Scopus citations
TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications
Cralley, J., Spantidi, O., Hoxha, B. & Fainekos, G., 2020, Runtime Verification - 20th International Conference, RV 2020, Proceedings. Deshmukh, J. & Nickovic, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 404-416 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12399 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations
Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach
Yaghoubi, S. & Fainekos, G., Feb 2 2020, 2020 Information Theory and Applications Workshop, ITA 2020. Institute of Electrical and Electronics Engineers Inc., 9244969. (2020 Information Theory and Applications Workshop, ITA 2020).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

9 Active
18 Finished

Collaborative Research: CPS: Medium: Spatio-Temporal Logics for Analyzing and Querying Perception Systems
Yang, Y. & Fainekos, G.
National Science Foundation (NSF)
1/1/21 → 12/31/23
Project: Research project
Investigating Digital Twins for Analysis and Improvement of Critical Assets
Pedrielli, G. & Fainekos, G.
INDUSTRY: Domestic Company
12/7/20 → 12/6/21
Project: Research project
VOLT: A Viscous, Orchestrated Lifting and Translation Framework
Bao, Y., Gupta, S., Wang, R., Forrest, S., Shoshitaishvili, Y., Doupe, A. & Fainekos, G.
DOD-DARPA: Information Innovation Office (IIO)
7/15/20 → 1/14/22
Project: Research project
CertGATE: Certification from Generation of Automated Test Evidence
Pedrielli, G. & Fainekos, G.
DOD-DARPA: Defense Sciences Office (DSO)
3/12/20 → 2/21/24
Project: Research project
CES Project: Comparison and Evaluation of Different AV Simulators for Benchmark Development
Fainekos, G. & Vrudhula, S.
INDUSTRY: Various Consortium Members
1/20/20 → 8/31/21
Project: Research project