Research Output per year
Personal profile
Education/Academic qualification
PHD, University of Pennsylvania
… → 2008
MS, University of Pennsylvania
… → 2004
Fingerprint Fingerprint is based on mining the text of the experts' scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
- 1 Similar Profiles
Temporal logic
Engineering & Materials Science
Specifications
Engineering & Materials Science
Hybrid systems
Engineering & Materials Science
Temporal Logic
Mathematics
Motion planning
Engineering & Materials Science
Robots
Engineering & Materials Science
Specification
Mathematics
Testing
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2003 2018
Experience report: Application of falsification methods on the UxAS system
Tuncali, C. E., Hoxha, B., Ding, G., Fainekos, G. & Sankaranarayanan, S., Jan 1 2018, NASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings. Springer Verlag, p. 452-459 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10811 LNCS)Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Simulators
Specifications
Planning
Simulator
Specification
Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time
Yaghoubi, S. & Fainekos, G., Jan 1 2018, In : IFAC-PapersOnLine. 51, 16, p. 103-108 6 p.Research output: Contribution to journal › Article
Time switches
Temporal logic
Hybrid systems
Functional gradient descent optimization for automatic test case generation for vehicle controllers
Tuncali, C. E., Yaghoubi, S., Pavlic, T. P. & Fainekos, G., Jan 12 2018, 2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017. IEEE Computer Society, Vol. 2017-August, p. 1059-1064 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Controllers
Adaptive cruise control
Collision avoidance
Simulated annealing
Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS
Nguyen, L. V., Hoxha, B., Johnson, T. T. & Fainekos, G., Jan 1 2018, In : IFAC-PapersOnLine. 51, 16, p. 67-72 6 p.Research output: Contribution to journal › Article
Algebra
Specifications
Planning
Unmanned aerial vehicles (UAV)
Mathematical operators
Optimal Multi-Valued LTL Planning for Systems with Access Right Levels
Hekmatnejad, M. & Fainekos, G., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-June, p. 2363-2370 8 p. 8431556Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Temporal logic
Planning
Motion planning
Railroad cars
Semantics
Projects 2007 2021
Intel-ASU A-SPACE Initiative: Proposed Research Tasks
Karam, L., Bazzi, R., Marchant, G., Shrivastava, A., Fainekos, G., Mayyas, A. & Ben Amor, H.
5/1/18 → 4/30/21
Project: Research project
CPS: Synergy: Collaborative Research: Collaborative Vehicular Systems
NSF: Dir for Computer and Information Sci and Eng (CISE)
1/1/15 → 12/31/18
Project: Research project
CAREER: Robustness Guided Testing and Verification for Cyber-Physical Systems
National Science Foundation (NSF)
8/15/14 → 7/31/19
Project: Research project
CES Manager Account: Consortium for Embedded Systems
Vrudhula, S., Candan, K., Lee, Y., Gupta, S., Barnaby, H., Huang, D., Shrivastava, A., Fainekos, G., Wu, C. & Yu, S.
INDUSTRY: Various Consortium Members
9/1/07 → 3/31/19
Project: Research project
Embedded systems
Managers
Data storage equipment
Threshold logic
Temporal logic
CES Project: Automated Testing for Functional Coverage for Cyber-Physical Systems
INDUSTRY: Various Consortium Members
8/1/17 → 8/31/18
Project: Research project