Visible to the public Biblio

Filters: Author is Theodore P. Pavlic  [Clear All Filters]
2018-05-15
Joseph Campbell, Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios Fainekos.  2016.  Toward Modeling Concurrency and Reconfiguration in Vehicular Systems. 9th Interaction and Concurrency Experience.
Joseph Campbell, Cumhur Erkan Tuncali, Peng Liu, Theodore P. Pavlic, Umit Ozguner, Georgios Fainekos.  2016.  Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach. IEEE International Conference on Automation Science and Engineering.
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.
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.