Visible to the public Biblio

Filters: Keyword is 1350420  [Clear All Filters]
2018-05-15
Houssam Abbas, Hans Mittelmann, Georgios Fainekos.  2014.  Formal property verification in a conformance testing framework. 12th ACM-IEEE International Conference on Formal Methods and Models for System Design.
Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos.  2015.  Requirements driven falsification with coverage metrics. 12th International Conference on Embedded Software (EMSOFT).
Houssam Abbas, Georgios Fainekos.  2015.  Towards composition of conformant systems.
Houssam Abbas.  2015.  Test-Based Falsification and Conformance Testing for Cyber-Physical Systems.

\url{http://hdl.handle.net/2286/R.I.29861}

Georgios Fainekos.  2016.  AUTOMATED TEST GENERATION FOR STRUCTURAL COVERAGE FOR TEMPORAL LOGIC FALSIFICATION OF CYBER-PHYSICAL SYSTEMS.
Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios Fainekos.  2016.  Utilizing S-TaLiRo as an Automatic Test Generation Framework for Autonomous Vehicles. IEEE Intelligent Transportation Systems Conference.
Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos.  2016.  Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems (Extended Version).
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos.  2016.  An efficient algorithm for monitoring practical TPTL specifications. 14th ACM-IEEE International Conference on Formal Methods and Models for System Design. :184-193.
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos.  2016.  Metric Interval Temporal Logic Specification Elicitation and Debugging.
Shakiba Yaghoubi, Georgios Fainekos.  2017.  Local Descent for Temporal Logic Falsification of Cyber-Physical Systems. Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems.
Adel Dokhanchi.  2017.  From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems.
Georgios Fainekos.  2017.  AUTOMATED TEST GENERATION FOR STRUCTURAL COVERAGE FOR TEMPORAL LOGIC FALSIFICATION OF CYBER-PHYSICAL SYSTEMS.
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos.  2017.  Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems (Accepted).
Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donze, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan.  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}

Cumhur Erkan Tuncali, Shakiba Yaghoubi, Theodore P. Pavlic, Georgios Fainekos.  2017.  Functional Gradient Descent Optimization for Automatic Test Case Generation for Vehicle Controllers. IEEE International Conference on Automation Science and Engineering.
Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos.  2017.  Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems. International Journal on Software Tools for Technology Transfer.
Bardh Hoxha.  2017.  Formal Requirements-Driven Analysis of Cyber Physical Systems.
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos.  2017.  Vacuity Aware Falsification for MTL Request-Response Specifications. IEEE International Conference on Automation Science and Engineering.
{Systems'-TemporAl LogIc RObustness(S-TaLiRo) Tools}.  Submitted.  URL: https://sites.google.com/a/asu.edu/s-taliro/.