Biblio
Filters: First Letter Of Last Name is M [Clear All Filters]
Optimizing Departures of Automated Vehicles From Highways While Maintaining Mainline Capacity. IEEE Transactions on Intelligent Transportation Systems. 17:3498–3511.
.
2016.
Panel 2: Connected electrified vehicles and cybersecurity. Transportation Electrification Conference and Expo (ITEC), 2015 IEEE. :1–1.
.
2015.
Implications of distracted driving on start-up lost time for dual left-turn lanes. Journal of transportation engineering. 139:923–930.
.
2013.
Relating transportation systems management and operations strategies to policy goals: A framework for quantitative decision making. Engineering Management Journal. 24:32–42.
.
2012.
Using simulation models to assess the impacts of highway work zone strategies: Case studies along interstate highways and state routes in new england. Transportation Research Record: The Journal of the Transportation Research Board. 2169:62.
.
2010.
Automated electric transportation: A way to meet America’s critical issues. Leadership and Management in Engineering. 11:23–28.
.
2010.
Simulation models for assessment of the impacts of strategies for highway work zones: Eight case studies along interstate highways and state routes in New England. Transportation Research Record: Journal of the Transportation Research Board. :62–69.
.
2010.
Using Simulation Models to Assess the Impacts of Highway Work Zone Strategies; Case Studies along Interstate Highways in Massachusetts and Rhode Island. the Proceedings of the 2008 Transportation Research Board Annual Meeting, Washington, DC.
.
2008.
JAMMY: A Distributed and Dynamic Solution to Selective Jamming Attack in TDMA WSNs. IEEE Transactions on Dependable and Secure Computing. 14:392–405.
.
2017.
Superior colliculus encodes visual saliency before the primary visual cortex. Proceedings of the National Academy of Sciences. :201701003.
.
2017.
HTA-based Tracking of Pilot Actions in the Cockpit. Applied Human Factors Expo.
.
2016.
Evolving Side-Channel Resistant Reconfigurable Hardware for Elliptic Curve Cryptography. Proc. of IEEE Congress on Evolutionary Computation (CEC).
.
2017.
Formal Verification of Stability Properties of Cyber-physical Systems. CoqPL'16: The Second International Workshop on Coq for PL.
.
2016.
Modular Deductive Verification of Sampled-data Systems. Proceedings of the 13th International Conference on Embedded Software. :17:1–17:10.
.
2016.
Crowd-sourced storage-assisted demand response in microgrids. Proceedings of the Eighth International Conference on Future Energy Systems, ser. e-Energy '17. :91–100.
.
2017.
A Layered and Aggregated Queuing Network Simulator for Detection of Abnormalities. Winter simulation Conference.
.
2017.
Convoy: Physical Context Verification for Vehicle Platoon Admission. 18th International Workshop on Mobile Computing Systems and Applications (HotMobile).
.
2017.
SenseTribute: Smart Home Occupant Identification via Fusion Across On-Object Sensing Devices. 4th ACM International Conference on Systems for Energy-Efficient Built Environments (BuildSys).
.
2017. to appear
Successive convexification of non-convex optimal control problems and its convergence properties. Conference on Decision and Control ({CDC}), 2016. :3636–3641.
.
2016.
LPAttack: Leverage Point Attacks against State Estimation in Smart Grid. IEEE Globe Communications Conference (GlobeCom).
.
2014.