Biblio
Filters: Author is Georgios Fainekos [Clear All Filters]
.
2015. Automatic Parallelization of Simulink Models for Multi-core Architectures. 12th IEEE International Conference on Embedded Software and Systems.
.
2016. Extended LTLvis Motion Planning Interface. IEEE International Conference on Systems, Man, and Cybernetics.
.
2016. Automatic Parallelization of Multi-rate Block Diagrams of Control Systems on Multi-core Platforms. ACM Transactions on Embedded Computing Systems. 16:ArticleNo15.
.
2016. Planning in Dynamic Environments Through Temporal Logic Monitoring. Workshops of the Thirtieth AAAI Conference on Artificial Intelligence: Planning for Hybrid Systems.
.
2016. Toward Modeling Concurrency and Reconfiguration in Vehicular Systems. 9th Interaction and Concurrency Experience.
.
2016. Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach. IEEE International Conference on Automation Science and Engineering.
.
2017. Temporal Logic Control under Incomplete or Conflicting Information. American Control Conference.
.
2014. Formal property verification in a conformance testing framework. 12th ACM-IEEE International Conference on Formal Methods and Models for System Design.
.
2015. Requirements driven falsification with coverage metrics. 12th International Conference on Embedded Software (EMSOFT).
.
2016. Utilizing S-TaLiRo as an Automatic Test Generation Framework for Autonomous Vehicles. IEEE Intelligent Transportation Systems Conference.
.
2016. An efficient algorithm for monitoring practical TPTL specifications. 14th ACM-IEEE International Conference on Formal Methods and Models for System Design. :184-193.
.
2017. Local Descent for Temporal Logic Falsification of Cyber-Physical Systems. Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems.
.
2017. Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems (Accepted).
.
2017. Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.
On-line at: \url{http://www-verimag.imag.fr/ maler/Papers/monitor-RV-chapter.pdf}
.
2017. Functional Gradient Descent Optimization for Automatic Test Case Generation for Vehicle Controllers. IEEE International Conference on Automation Science and Engineering.
.
2017. Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems. International Journal on Software Tools for Technology Transfer.
.
2017. Vacuity Aware Falsification for MTL Request-Response Specifications. IEEE International Conference on Automation Science and Engineering.