Research output per year
Research output per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
ARCH-COMP 2021 Category Report: Falsification with Validation of Results
Ernst, G., Arcaini, P., Bennani, I., Chandratre, A., Donze, A., Fainekos, G., Frehse, G., Gaaloul, K., Inoue, J., Khandait, T., Mathesen, L., Menghi, C., Pedrielli, G., Pouzet, M., Waga, M., Yaghoubi, S., Yamagata, Y. & Zhang, Z., 2021, In: EPiC Series in Computing. 80, p. 133-152 20 p.Research output: Contribution to journal › Conference article › peer-review
Open Access1 Scopus citations -
Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements
Mathesen, L., Pedrielli, G. & Fainekos, G., Aug 23 2021, 2021 IEEE 17th International Conference on Automation Science and Engineering, CASE 2021. IEEE Computer Society, p. 732-737 6 p. (IEEE International Conference on Automation Science and Engineering; vol. 2021-August).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3 Scopus citations -
Efficient Resource Management of Clustered Multi-Processor Systems through Formal Property Exploration
Spantidi, O., Anagnostopoulos, I. & Fainekos, G., Feb 1 2021, Proceedings of the 2021 Design, Automation and Test in Europe, DATE 2021. Institute of Electrical and Electronics Engineers Inc., p. 1673-1678 6 p. 9473998. (Proceedings -Design, Automation and Test in Europe, DATE; vol. 2021-February).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
PerceMon: Online Monitoring for Perception Systems
Balakrishnan, A., Deshmukh, J., Hoxha, B., Yamaguchi, T. & Fainekos, G., 2021, Runtime Verification - 21st International Conference, RV 2021, Proceedings. Feng, L. & Fisman, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 297-308 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12974 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems
Thibeault, Q., Anderson, J., Chandratre, A., Pedrielli, G. & Fainekos, G., 2021, Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Proceedings. Lluch Lafuente, A. & Mavridou, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 223-231 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12863 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
CES Project; Risk-aware Mission and Motion Planning for Mobile Robots
INDUSTRY: Various Consortium Members
8/1/21 → 8/31/22
Project: Research project
-
Collaborative Research: CPS: Medium: Spatio-Temporal Logics for Analyzing and Querying Perception Systems
National Science Foundation (NSF)
1/1/21 → 12/31/23
Project: Research project
-
Investigating Digital Twins for Analysis and Improvement of Critical Assets
12/7/20 → 12/6/22
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 → 7/14/23
Project: Research project
-
CertGATE: Certification from Generation of Automated Test Evidence
DOD-DARPA: Defense Sciences Office (DSO)
3/12/20 → 2/21/24
Project: Research project