Biblio
Filters: First Letter Of Last Name is S [Clear All Filters]
.
2017. Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines. 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
.
Submitted. Robust Combinatorial Circuits in Chemical Reaction Networks. Proceedings of the 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2017), Prague, Czech Republic, Springer LNCS.
To appear.
.
2017. State logging in chemical reaction networks. Proceedings of the 4th {ACM} International Conference on Nanoscale Computing and Communication, {NANOCOM} 2017, Washington, DC, USA, September 27-29, 2017. :23:1–23:6.
.
2016. A Modification to the Hazardous Situation ODP to Support Risk Assessment and Mitigation. Workshop on Ontology and Semantic Web Patterns (WOP 2016).
.
2016. Using model-based simulation for augmenting Incident Command System for disaster response. 2016 Winter Simulation Conference (WSC). :3017-3027.
.
2016. Towards a Cyber Assurance Testbed for Heavy Vehicle Electronic Controls. {SAE International Journal of Commercial Vehicles}. 9:339–349.
.
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. Requirements driven falsification with coverage metrics. 12th International Conference on Embedded Software (EMSOFT).
.
2017. Local Descent for Temporal Logic Falsification of Cyber-Physical Systems. Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems.
.
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. Vacuity Aware Falsification for MTL Request-Response Specifications. IEEE International Conference on Automation Science and Engineering.
.
2015. Dynamic modeling of robotic fish caudal fin with electrorheological fluid-enabled tunable stiffness. Proceedings of the 2015 ASME Dynamic Systems and Control Conference. :DSCC2015-9879.
.
2017. Design and dynamic modeling of electrorheological fluid-based variable-stiffness fin for robotic fish. Smart Materials and Structures. 26:085014.
.
2017. Role of pectoral fin flexibility in robotic fish performance. Journal of Nonlinear Science. 27:1155-1181.
.
2015. The Role of Diameter in the Controllability of Complex Networks. {IEEE} Conference on Decision and Control. :980–985.
.
2015. Dynamic Load Altering Attacks in Smart Grid. IEEE PES Conf. on Innovative Smart Grid Technologies (ISGT).
.
2017. Discrete-Time Dynamical Networks with Diagonal Controllability Gramian. {IFAC} World Congress.
To appear
.
2017. Hierarchical Location Identification of Destabilizing Faults and Attacks in Power Systems: A Frequency-Domain Approach. {IEEE} Transactions on Smart Grid.
Submitted
.
2015. Dynamic Load Altering Attacks Against Power System Stability: Attack Models and Protection Designs. {IEEE} Transactions on Smart Grid. :1–5.
.
Submitted. Local and Low-cost Whitespace Detection. Proc. IEEE International Conference on Distributed Computing Systems}, issue date = {June 20017.