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

Research Output 2003 2019

  • 2221 Citations
  • 23 h-Index
  • 66 Conference contribution
  • 18 Article
  • 2 Patent
  • 1 Chapter
2019

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

Simulation Optimization
Continuous Optimization
Gaussian Process
Fidelity
Regression
1 Citation (Scopus)

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

Situation Awareness
Temporal logic
Autonomous Vehicles
Temporal Logic
Formal languages

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

Stochastic Optimization
Fidelity
Simulation Model
Cost Function
Cost functions

Gray-box adversarial testing for control systems with machine learning components

Yaghoubi, S. & Fainekos, G., Apr 16 2019, HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery, Inc, p. 179-184 6 p. (HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control).

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

Learning systems
Neural networks
Control systems
Closed loop control systems
Controllers

Local descent for temporal logic falsification of cyber-physical systems

Yaghoubi, S. & Fainekos, G., Jan 1 2019, Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Revised Selected Papers. Chamberlain, R., Taha, W. & Törngren, M. (eds.). Springer Verlag, p. 11-26 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11267 LNCS).

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

Temporal logic
Global optimization
Temporal Logic
Simulated annealing
Descent

Specifying and Evaluating Quality Metrics for Vision-based Perception Systems

Balakrishnan, A., Puranic, A. G., Qin, X., Dokhanchi, A., Deshmukh, J. V., Ben Amor, H. & Fainekos, G., May 14 2019, Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019. Institute of Electrical and Electronics Engineers Inc., p. 1433-1438 6 p. 8715114. (Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019).

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

Temporal logic
Metric
Temporal Logic
Labels
Formal languages
2018
1 Citation (Scopus)

Deep predictive models for collision risk assessment in autonomous driving

Strickland, M., Fainekos, G. & Ben Amor, H., Sep 10 2018, 2018 IEEE International Conference on Robotics and Automation, ICRA 2018. Institute of Electrical and Electronics Engineers Inc., p. 4685-4692 8 p. 8461160. (Proceedings - IEEE International Conference on Robotics and Automation).

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

Risk assessment
Accidents
Decision making
Cameras
Experiments

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 proceedingConference contribution

Simulators
Specifications
Planning
Simulator
Specification
2 Citations (Scopus)

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 journalArticle

Time switches
Temporal logic
Hybrid systems
1 Citation (Scopus)

Functional gradient descent optimization for automatic test case generation for vehicle controllers

Tuncali, C. E., Yaghoubi, S., Pavlic, T. & 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 proceedingConference 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 journalArticle

Algebra
Specifications
Planning
Unmanned aerial vehicles (UAV)
Mathematical operators
1 Citation (Scopus)

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. 8431556

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

Temporal logic
Planning
Motion planning
Railroad cars
Semantics
1 Citation (Scopus)

Poster: Sim-ATAV: Simulation-based adversarial testing framework for autonomous vehicles

Tuncali, C. E., Fainekos, G., Ito, H. & Kapinski, J., Apr 11 2018, HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, Inc, p. 283-284 2 p.

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

Learning systems
Testing
Neural networks
4 Citations (Scopus)

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components

Tuncali, C. E., Fainekos, G., Ito, H. & Kapinski, J., Oct 18 2018, 2018 IEEE Intelligent Vehicles Symposium, IV 2018. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-June. p. 1555-1562 8 p. 8500421

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

Test Generation
Autonomous Vehicles
Learning systems
Machine Learning
Virtual reality

Special Session: Embedded Software for Robotics: Challenges and Future Directions

Abbas, H., Saha, I., Shoukry, Y., Ehlers, R., Fainekos, G., Gupta, R., Majumdar, R. & Ulus, D., Nov 15 2018, 2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018. Institute of Electrical and Electronics Engineers Inc., 8537236. (2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018).

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

Embedded Software
Embedded software
Robotics
Neural Networks
Reactive Oxygen Species
30 Citations (Scopus)

Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications

Bartocci, E., Deshmukh, J., Donzé, A., Fainekos, G., Maler, O., Ničković, D. & Sankaranarayanan, S., Jan 1 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 135-175 41 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10457 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Monitoring
Specification
Specifications
Discrete Event
Formal Verification
4 Citations (Scopus)

Vacuity aware falsification for MTL request-response specifications

Dokhanchi, A., Yaghoubi, S., Hoxha, B. & Fainekos, G., Jan 12 2018, 2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017. IEEE Computer Society, Vol. 2017-August. p. 1332-1337 6 p.

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

Temporal logic
Specifications
2017

Extended LTLvis motion planning interface

Wei, W., Kim, K. & Fainekos, G., Feb 6 2017, 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 4194-4199 6 p. 7844890

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

Temporal logic
Motion Planning
Motion planning
Linear Temporal Logic
Specifications
3 Citations (Scopus)

Formal requirement debugging for testing and verification of cyber-physical systems

Dokhanchi, A., Hoxha, B. & Fainekos, G., Dec 1 2017, In : ACM Transactions on Embedded Computing Systems. 17, 2, 34.

Research output: Contribution to journalArticle

Specifications
Testing
Temporal logic
Cyber Physical System
Formal specification
6 Citations (Scopus)

Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems

Yaghoubi, S. & Fainekos, G., Jun 29 2017, 2017 American Control Conference, ACC 2017. Institute of Electrical and Electronics Engineers Inc., p. 529-534 6 p. 7963007

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

Nonlinear systems
Specifications
Global optimization
Engineers
6 Citations (Scopus)

Mining parametric temporal logic properties in model-based design for cyber-physical systems

Hoxha, B., Dokhanchi, A. & Fainekos, G., Feb 3 2017, (Accepted/In press) In : International Journal on Software Tools for Technology Transfer. p. 1-15 15 p.

Research output: Contribution to journalArticle

Temporal logic
Specifications
Visualization
Semantics
Engines
1 Citation (Scopus)

Temporal logic control under incomplete or conflicting information

Fainekos, G. & Tanner, H. G., Jun 29 2017, 2017 American Control Conference, ACC 2017. Institute of Electrical and Electronics Engineers Inc., p. 1853-1858 6 p. 7963222

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

Temporal logic
Robots
Motion planning
2016

19th International Conference on Hybrid Systems: Computation and Control [Conference Reports]

Abate, A. & Fainekos, G., Oct 1 2016, In : IEEE Control Systems. 36, 5, p. 94-95 2 p., 7569047.

Research output: Contribution to journalArticle

Real-time Systems
Real time systems
Hybrid systems
Hybrid Systems
Sensor networks
3 Citations (Scopus)

An efficient algorithm for monitoring practical TPTL specifications

Dokhanchi, A., Hoxha, B., Tuncali, C. E. & Fainekos, G., Dec 27 2016, 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016. Institute of Electrical and Electronics Engineers Inc., p. 184-193 10 p. 7797763

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

Temporal logic
Specifications
Monitoring
Dynamic programming
Polynomials
2 Citations (Scopus)
Control systems
Linear programming
Program processors
Scalability
Engines

DisCoF: Cooperative pathfinding in distributed systems with limited sensing and communication range

Zhang, Y., Kim, K. & Fainekos, G., 2016, Springer Tracts in Advanced Robotics. Springer Verlag, Vol. 112. p. 325-340 16 p. (Springer Tracts in Advanced Robotics; vol. 112).

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

Robots
Communication
Robotics

HSCC 2016-Chairs' Welcome

Abate, A. & Fainekos, G., Apr 11 2016, In : Unknown Journal. p. iii-iv

Research output: Contribution to journalArticle

MITL specification debugging for monitoring of cyber-physical systems

Dokhanchi, A., Hoxha, B. & Fainekos, G., Dec 13 2016, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 232, p. 10-13 4 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach

Campbell, J., Tuncali, C. E., Liu, P., Pavlic, T., Ozguner, U. & Fainekos, G., Nov 14 2016, 2016 IEEE International Conference on Automation Science and Engineering, CASE 2016. IEEE Computer Society, Vol. 2016-November. p. 523-530 8 p. 7743450

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

Closed loop control systems
Communication
Industry
1 Citation (Scopus)

Planning in dynamic environments through temporal logic monitoring

Hoxha, B. & Fainekos, G., 2016, WS-16-01: Artificial Intelligence Applied to Assistive Technologies and Smart Environments; WS-16-02: AI, Ethics, and Society; WS-16-03: Artificial Intelligence for Cyber Security; WS-16-04: Artificial Intelligence for Smart Grids and Smart Buildings; WS-16-05: Beyond NP; WS-16-06: Computer Poker and Imperfect Information Games; WS-16-07: Declarative Learning Based Programming; WS-16-08: Expanding the Boundaries of Health Informatics Using AI; WS-16-09: Incentives and Trust in Electronic Communities; WS-16-10: Knowledge Extraction from Text; WS-16-11: Multiagent Interaction without Prior Coordination; WS-16-12: Planning for Hybrid Systems; WS-16-13: Scholarly Big Data: AI Perspectives, Challenges, and Ideas; WS-16-14: Symbiotic Cognitive Systems; WS-16-15: World Wide Web and Population Health Intelligence. AI Access Foundation, Vol. WS-16-01 - WS-16-15. p. 601-607 7 p.

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

Temporal logic
Specifications
Planning
Monitoring
Robotics
3 Citations (Scopus)

Traffic light status detection using movement patterns of vehicles

Campbell, J., Ben Amor, H., Ang, M. H. & Fainekos, G., Dec 22 2016, 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016. Institute of Electrical and Electronics Engineers Inc., p. 283-288 6 p. 7795568

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

Telecommunication traffic
Metadata
Lighting
9 Citations (Scopus)

Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles

Tuncali, C. E., Pavlic, T. & Fainekos, G., Dec 22 2016, 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016. Institute of Electrical and Electronics Engineers Inc., p. 1470-1475 6 p. 7795751

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

Cost functions
Controllers
Testing
2015
3 Citations (Scopus)

Automatic parallelization of simulink models for multi-core architectures

Tuncali, C. E., Fainekos, G. & Lee, Y-H., Nov 23 2015, Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015. Institute of Electrical and Electronics Engineers Inc., p. 964-971 8 p. 7336295

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

Linear programming
Program processors
Diesel engines
Scalability
Scheduling
1 Citation (Scopus)

DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems

Kim, K., Campbell, J., Duong, W., Zhang, Y. & Fainekos, G., Oct 7 2015, IEEE International Conference on Automation Science and Engineering. IEEE Computer Society, Vol. 2015-October. p. 369-376 8 p. 7294106

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

Robots
Communication
Simulators
Planning
11 Citations (Scopus)

Metric interval temporal logic specification elicitation and debugging

Dokhanchi, A., Hoxha, B. & Fainekos, G., Nov 30 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015. Institute of Electrical and Electronics Engineers Inc., p. 70-79 10 p. 7340472

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

Temporal logic
Specifications
Testing
Graphical user interfaces
Real time systems
10 Citations (Scopus)

On the minimal revision problem of specification automata

Kim, K., Fainekos, G. & Sankaranarayanan, S., Oct 30 2015, In : International Journal of Robotics Research. 34, 12, p. 1515-1535 21 p.

Research output: Contribution to journalArticle

Automata
Robot
Robots
Specification
Specifications
6 Citations (Scopus)

Requirements driven falsification with coverage metrics

Dokhanchi, A., Zutshi, A., Sriniva, R. T., Sankaranarayanan, S. & Fainekos, G., Nov 4 2015, 2015 Proceedings of the International Conference on Embedded Software, EMSOFT 2015. Institute of Electrical and Electronics Engineers Inc., p. 31-40 10 p. 7318257

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

Hybrid systems
9 Citations (Scopus)

Towards a verified artificial pancreas: Challenges and solutions for runtime verification

Cameron, F., Fainekos, G., Maahs, D. M. & Sankaranarayanan, S., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9333. p. 3-17 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9333).

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

Runtime Verification
Temporal logic
Temporal Logic
Closed loop control systems
Hybrid Control
7 Citations (Scopus)

VISPEC: A graphical tool for elicitation of MTL requirements

Hoxha, B., Mavridis, N. & Fainekos, G., Dec 11 2015, IEEE International Conference on Intelligent Robots and Systems. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-December. p. 3486-3492 7 p. 7353863

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

Temporal logic
Formal logic
Specifications
Formal languages
Formal methods
2014
23 Citations (Scopus)

Formal property verification in a conformance testing framework

Abbas, H., Mittelmann, H. & Fainekos, G., Nov 18 2014, 12th ACM/IEEE International Conference on Methods and Models for System Design, MEMOCODE 2014. Institute of Electrical and Electronics Engineers Inc., p. 155-164 10 p. 6961854

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

Conformance Testing
Testing
Model
Quantify
Automatic Code Generation
15 Citations (Scopus)

Functional gradient descent method for Metric Temporal Logic specifications

Abbas, H., Winn, A., Fainekos, G. & Julius, A. A., 2014, Proceedings of the American Control Conference. Institute of Electrical and Electronics Engineers Inc., p. 2312-2317 6 p. 6859453

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

Temporal logic
Trajectories
Specifications
Nonlinear dynamical systems
Semantics
29 Citations (Scopus)
Temporal logic
Temporal Logic
Simulink
Monitoring
Robustness
6 Citations (Scopus)

Revision of specification automata under quantitative preferences

Kim, K. & Fainekos, G., Sep 22 2014, Proceedings - IEEE International Conference on Robotics and Automation. Institute of Electrical and Electronics Engineers Inc., p. 5339-5344 6 p. 6907644

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

Specifications
Approximation algorithms
Scalability
14 Citations (Scopus)

Robustness-guided temporal logic testing and verification for Stochastic Cyber-Physical Systems

Abbas, H., Hoxha, B., Fainekos, G. & Ueda, K., Oct 7 2014, 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent Systems, IEEE-CYBER 2014. Institute of Electrical and Electronics Engineers Inc., p. 1-6 6 p. 6917426

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

Temporal logic
Specifications
Testing
Model checking
Markov processes
10 Citations (Scopus)

WiP abstract: Conformance testing as falsification for cyber-physical systems

Abbas, H., Hoxha, B., Fainekos, G., Deshmukh, J. V., Kapinski, J. & Ueda, K., 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014. IEEE Computer Society, p. 211 1 p. 6843724

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

Testing
Cyber Physical System
Specifications
2013
3 Citations (Scopus)

A graphical language for LTL motion and mission planning

Srinivas, S., Kermani, R., Kim, K., Kobayashi, Y. & Fainekos, G., 2013, 2013 IEEE International Conference on Robotics and Biomimetics, ROBIO 2013. IEEE Computer Society, p. 704-709 6 p. 6739543

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

Temporal logic
Language
Planning
Robots
Specifications
15 Citations (Scopus)

Computing descent direction of MTL robustness for non-linear systems

Abbas, H. & Fainekos, G., 2013, Proceedings of the American Control Conference. p. 4405-4410 6 p. 6580518

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

Temporal logic
Nonlinear systems
Specifications
Trajectories
Nonlinear dynamical systems
4 Citations (Scopus)

Minimal specification revision for weighted transition systems

Kim, K. & Fainekos, G., 2013, Proceedings - IEEE International Conference on Robotics and Automation. p. 4068-4074 7 p. 6631151

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

Specifications
Temporal logic
Costs
Planning
51 Citations (Scopus)

Probabilistic temporal logic falsification of cyber-physical systems

Abbas, H., Fainekos, G., Sankaranarayanan, S., Ivancic, F. & Gupta, A., May 2013, In : Transactions on Embedded Computing Systems. 12, 2 SUPPL., 95.

Research output: Contribution to journalArticle

Temporal logic
Large scale systems
Trajectories
Sampling
Testing
Temporal logic
Embedded systems
Innovation
Systems analysis
Bioelectric potentials