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

Research Output 2003 2019

  • 2169 Citations
  • 23 h-Index
  • 65 Conference contribution
  • 18 Article
  • 2 Patent
  • 1 Chapter
Filter
Article
2018
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

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
2017
2 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
5 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
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
2 Citations (Scopus)
Control systems
Linear programming
Program processors
Scalability
Engines

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

2015
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
2014
26 Citations (Scopus)
Temporal logic
Temporal Logic
Simulink
Monitoring
Robustness
2013
50 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
2012

Editorial: Special section VCPSS'09

Fainekos, G., Goubault, E., Ivančí, F. & Sankaranarayanan, S., Aug 2012, In : Transactions on Embedded Computing Systems. 11, SUPPL. 2, 52.

Research output: Contribution to journalArticle

2011

Foreword

Fainekos, G., Goubault, E., Putot, S. & Ratschan, S., Dec 2011, In : Mathematics in Computer Science. 5, 4, p. 357-358 2 p.

Research output: Contribution to journalArticle

2009
168 Citations (Scopus)

Robustness of temporal logic specifications for continuous-time signals

Fainekos, G. & Pappas, G. J., Sep 28 2009, In : Theoretical Computer Science. 410, 42, p. 4262-4291 30 p.

Research output: Contribution to journalArticle

Temporal logic
Temporal Logic
Continuous Time
Specification
Robustness
333 Citations (Scopus)

Temporal-logic-based reactive mission and motion planning

Kress-Gazit, H., Fainekos, G. & Pappas, G. J., Dec 2009, In : IEEE Transactions on Robotics. 25, 6, p. 1370-1381 12 p., 5238617.

Research output: Contribution to journalArticle

Temporal logic
Motion planning
Robots
Controllers
Specifications
208 Citations (Scopus)

Temporal logic motion planning for dynamic robots

Fainekos, G., Girard, A., Kress-Gazit, H. & Pappas, G. J., Feb 2009, In : Automatica. 45, 2, p. 343-352 10 p.

Research output: Contribution to journalArticle

Temporal logic
Motion planning
Robots
Specifications
Kinematics
2008
71 Citations (Scopus)

Translating structured english to robot controllers

Kress-Gazit, H., Fainekos, G. & Pappas, G. J., Oct 1 2008, In : Advanced Robotics. 22, 12, p. 1343-1359 17 p.

Research output: Contribution to journalArticle

Temporal logic
Robots
Controllers
Mobile robots
Motion planning
2003
22 Citations (Scopus)

Inverse design of airfoils based on a novel formulation of the ant colony optimization method

Fainekos, G. & Giannakoglou, K. C., Feb 2003, In : Inverse Problems in Engineering. 11, 1, p. 21-38 18 p.

Research output: Contribution to journalArticle

Ant colony optimization
Airfoil
Airfoils
Optimization Methods
Formulation