Biblio
.
2017. A Precedence Graph-Based Approach to Detect Message Injection Attacks in J1939 Based Networks. Privacy, Security, and Trust - 12th International Conference, {PST} 2017, Calgary, Canada, August 28-30, 2017, Proceedings.
.
2017. POSTER: PenJ1939: An Interactive Framework for Design and Dissemination of Exploits for Commercial Vehicles. Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 - November 03, 2017. :2559–2561.
.
2015. Automatic Parallelization of Simulink Models for Multi-core Architectures. 12th IEEE International Conference on Embedded Software and Systems.
.
2015. DisCoF$^+$: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems. IEEE International Conference on Automation Science and Engineering.
.
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).