Publications

2017

  • B. Kim, “Testing Advanced Driving Assistance Systems (ADAS) in Virtual Simulation Environment,” Workshop on Monitoring and Testing of Cyber-Physical Systems, Pittsburgh, PA, 2017/4.
  • N. Arechiga, S. Dathathri, S. Vernekar, N. Kathare, S. Gao, and S. Shiraishi, “Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables,” International Workshop on Safe Control of Connected and Autonomous Vehicles, Pittsburgh, PA, 2017/4.
  • R. Melen, “Bluetooth and the Connected Car Society,” Bluetooth World by Avren Events, Santa Clara, CA, 2017/3.
  • S. Dathathri, N. Arechiga, and S. Gao, “Faster Constraint Solving Using Learning Based Abstractions,” SoCal Machine Learning Symposium, San Francisco, CA, 2017/2.
  • C.-W. Lin, N. Arechiga, S. Dai, B. Kim, and S. Shiraishi, “Emerging Research Topics for Intelligent and Connected Vehicles,” Newsletter of IEEE Technical Committee for Cyper-Physical Systems, 2017/2.
  • S. Dai and Y. Kashiba, “Using Virtual Reality Technologies for the Prototyping and Designing of Vehicles,” Invited Talk at University of Notre Dame, South Bend, IN, 2017/2.
  • C.-W. Lin, “Design Framework and Evolutional Architecture for Next-Generation Connected Vehicles,” Talk at Northeastern University, Boston, MA, 2017/2.
  • C.-W. Lin, “Design Framework and Evolutional Architecture for Next-Generation Connected Vehicles,” Talk at University of Pennsylvania, Philadelphia, PA, 2017/2.
  • M. Yamaura, N. Arechiga, and S. Shiraishi, “Simplified Adaptive Cruise Control Benchmark for Verification of Lookup Tables,” https://github.com/Toyota-ITC-SSD/SimulinkVerificationBenchmark, 2017/1.
  • B. Kim, Y. Kashiba, S. Dai, and S. Shiraishi, “Testing Autonomous Vehicle Software in the Virtual Prototyping Environment,” IEEE Embedded Systems Letters (ESL), 2017/1.

2016

  • M. Sepulcre, O. Altintas, and J. Gozalvez, “Poster: Insights on Communication Range and Capacity Requirements of Automated Vehicles,” IEEE Vehicular Networking Conference (VNC), Columbus, OH, 2016/12.
  • F. Hagenauer, C. Sommer, T. Higuchi, O. Altintas, and F. Dressler, “Poster: Using Clusters of Parked Cars as Virtual Vehicular Network Infrastructure,” IEEE Vehicular Networking Conference (VNC), Columbus, OH, 2016/12.
  • F.-C. Chou, S. Shladover, and G. Bansal, “Coordinated Merge Control Based on V2V Communication,” IEEE Vehicular Networking Conference (VNC), Columbus, OH, 2016/12.
  • B. Aygun, C.-W. Lin, S. Shiraishi, and A. Wyglinski, “Selective Message Relaying for Multi-Hopping Vehicular Networks,” IEEE Vehicular Networking Conference (VNC), Columbus, OH, 2016/12.
  • O. Altintas, “Using the Vehicle as a non-Transportation Resource,” International Wireless Industry Consortium (IWPC) Vehicle to Vehicle (V2V) and Vehicle to Infrastructure (V2X) Connectivity Workshop, San Jose, CA, 2016/11.
  • O. Altintas, “A Communication-centric Look at Automated Driving,” Invited Talk at IEEE 5G Summit, Seattle, WA, 2016/11.
  • J. Shum, B. Kim, and S. Shiraishi, “Open Source Vehicle Simulation Toolkit,” https://github.com/Toyota-ITC-SSD/Vehicle-Simulation-Toolkit, 2016/11.
  • W. Shi, M. B. Alawieh, X. Li, H. Yu, N. Arechiga, and N. Tomatsu, “Efficient Statistical Validation of Machine Learning Systems for Autonomous Driving,” IEEE/ACM International Conference on Computer Aided Design (ICCAD), Austin, TX, 2016/11.
  • B. Zeng, C.-W. Lin, H. Liang, Q. Zhu, and H. Yu, “CONVINCE: A Cross-Layer Modeling, Exploration and Validation Framework for Next-Generation Connected Vehicles,” IEEE/ACM International Conference on Computer Aided Design (ICCAD), Austin, TX, 2016/11.
  • A. Sakr and G. Bansal, “Positioning Improvement via DSRC and Multi-Sensor Multi-Target Track Association: A Kalman Filter-Based Approach,” IEEE ITSC – International Workshop on Planning, Perception and Navigation for Intelligent Vehicles – A bridge between Robotics and ITS technologies, Rio de Janeiro, Brazil, 2016/11.
  • T. Zhou, P. J. Pillai, and G. Yalla, “Hierarchical Context-Aware Hand Detection Algorithm for Naturalistic Driving,” IEEE International Conference on Intelligent Transportation Systems (ITSC), Rio de Janeiro, Brazil, 2016/11.
  • A. Rostami, B. Cheng, M. Gruteser, H. Lu, J. Kenney, and G. Bansal, “Wireless Channel Capacity Evaluation for Pedestrian DSRC Transceivers,” ACM Carss, NY, 2016/11.
  • C.-W. Lin, “Design Framework and Evolutional Architecture for Next-Generation Connected Vehicles,” Invited Talk at Boston University, Boston, MA, 2016/10.
  • C.-W. Lin, S. Shiraishi, and B. Kim, “An Amanat-Based Multi-Party Certification Protocol for Outsourced Software in Automotive Systems,” IEEE International Symposium on Software Reliability Engineering (ISSRE), Ottawa, ON, Canada, 2016/10.
  • H. Lu, J. Kenney, “Using Vehicular Safety Contextual Information for DSRC Channel Congestion Control,” Intelligent Transportation System World Congress, Melbourne, Australia, 2016/10.
  • T. Shimizu, H. Lu, and J. Kenney, “Preliminary Comparison of Suitability of IEEE 802.11p and LTE-V2X for V2V Safety Applications,” Intelligent Transportation System World Congress, Melbourne, Australia, 2016/10.
  • O. Gani, A. Tahmasbi-Sarvestani, Y. Fallah, G. Bansal, and T. Shimizu, “Evaluating Performance on Content and Rate Control Schemes for Scalable Automated Vehicles Communication,” Intelligent Transportation System World Congress, Melbourne, Australia, 2016/10.
  • F.-C. Chou, S. Shladover, and G. Bansal, “Using Communications to Improve the Performance of Road Vehicle Automation Systems: Automated Merging,” Intelligent Transportation System World Congress, Melbourne, Australia, 2016/10.
  • D. Kim and E. Martinson, “Human Centric Spatial Affordances for Improving Human Activity Recognition,” IEEE International Conference on Intelligent Robots and Systems (IROS), Daejeon, South Korea, 2016/10.
  • E. Martinson and G. Yalla, “Augmenting Deep Convolutional Neural Networks with Depth-Based Layered Detection for Human Detection,” IEEE International Conference on Intelligent Robots and Systems (IROS), Daejeon, South Korea, 2016/10.
  • P. Joshi, V. Narasimhan, H. Zeng, S. Shukla, C.-W. Lin, and H. Yu, “Design Space Exploration for Deterministic Ethernet-Based Architecture of Automotive Systems,” IEEE International High-Level Design Validation and Test Workshop (HLDVT), Santa Cruz, CA, 2016/10.
  • B. Kim, A. Jarandikar, J. Shum, S. Shiraishi, and M. Yamaura, “The SMT-Based Automatic Road Network Generation in Vehicle Simulation Environment,” ACM International Conference on Embedded Software (EMSOFT), Pittsburgh, PA, 2016/10.
  • T. Shimizu, R. Heath Jr., V. Va, and G. Bansal, “Millimeter Wave Communication for Connected Vehicles,” IEEE VTC 2016-Fall Tutorials, Montreal, QC, 2016/9.
  • E. Martinson, A. Blasdel, and E. Sisbot, “Personalizing Object Handover with an Electronic Health Record,” IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), New York, NY, 2016/8.
  • E. Martinson and G. Yalla, “Real-Time Human Detection for Robots using CNN with a Feature-Based Layered Pre-filter,” IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), New York, NY, 2016/8.
  • A. Cosgun, E. Sisbot, and H. Christensen, “Anticipatory Robot Path Planning in Human Environments,” IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), New York, NY, 2016/8.
  • D. Gangadharan, O. Sokolsky, J. H. Kim, B. Kim, C.-W. Lin, S. Shiraishi, and I. Lee, “Platform-based Plug and Play of Automotive Safety Features – Challenges and Directions,” IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Daegu, South Korea, 2016/8.
  • Y. Fallah, A. Sidiya, M. Kalantari, G. Bansal, X. Li, and T. Shimizu, “Fusion of Information from Local Sensors and V2X Communicated Data for Automated Driving,” Automated Vehicles Symposium, San Francisco, CA, 2016/7.
  • S. Gao, J. Kapinski, J. Deshmukh, X. Jin, A. Solar-lezama, and N. Arechiga, “Epsilon Induction,” International Conference on Computer Aided Verification, Toronto, ON, 2016/7.
  • B. Zheng, H. Liang, Q. Zhu, H. Yu, and C.-W. Lin, “Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving,” IEEE Computer Society Annual Symposium on VLSI, Pittsburgh, PA, 2016/7.
  • O. Altintas, “Connected Vehicle Basics and Thoughts on Communication Requirements Towards Automated Vehicles,” IEEE Vehicular Technology Society Connected & Autonomous Vehicles Summer School, Worcester, MA, 2016/7.
  • M. Wilhelm, T. Higuchi, and O. Altintas, “Poster: Geo-spatial Resource Allocation for Heterogeneous Vehicular Communications,” ACM International Symposium on Mobile Ad Hoc Networking and Computing (ACM MobiHoc), Paderborn, Germany, 2016/7.
  • T. Higuchi, R. Onishi, O. Altintas, D. Nobayashi, T. Ikenaga, and K. Tsukamoto, “Regional InfoHubs by Vehicles: Balancing Spatio-Temporal Coverage and Network Load,” ACM MobiHoc Workshop on Internet of Vehicles and Vehicles of Internet (IoV-VoI), Paderborn, Germany, 2016/7.
  • B. Cheng, G. Bansal, H. Lu, and J. Kenney, “Evolution of Vehicular Congestion Control Without Degrading Legacy Vehicle Performance,” SmartVehicles, Coimbra, Portugal, 2016/6.
  • C.-W. Lin and H. Yu, “Cooperation or Competition? Coexistence of Safety and Security in Next-Generation Ethernet-Based Automotive Networks,” ACM/IEEE Design Automation Conference (DAC), Austin, TX, 2016/6.
  • H. Teshiba, D. Nobayashi, K. Tsukamoto, T. Ikenaga, T. Higuchi, and O. Altintas, “Data Transmission Control for Reliable and Efficient Spatio-Temporal Data Retention by Vehicles,” IEICE Technical Committee on Network Systems Workshop, (in Japanese), Sapporo, Japan, 2016/6.
  • G. Ozbilgin, U. Ozguner, J. Maroli, H. Kremo, and O. Altintas, “Evaluating the Requirements of Communicating Vehicles in Collaborative Automated Driving,” IEEE Intelligent Vehicles Symposium, Gothenburg, Sweden, 2016/6.
  • R. Melen, “Assessing What Consumers Want From A Fully Autonomous Car And From Advanced Driver Assistance Systems,” Informa Telecoms and Media LTD, Santa Clara, CA, 2016/5.
  • V. Va, T. Shimizu, G. Bansal, and R. Heath Jr., “Millimeter Wave Vehicular Communications: A Survey,” NOW Publishers, 2016/5.
  • V. Va, T. Shimizu, G. Bansal, and R. Heath Jr., “Beam Design for Beam Switching Based Millimeter Wave Vehicle-to-Infrastructure Communications,” IEEE International Conference on Communications, Kuala Lumpur, Malaysia, 2016/5.
  • M. Yamaura, J. Hite, S. Eisele, J. Scott, S. Neema, T. Bapty, N. Arechiga, and S. Shiraishi, “ADAS Virtual Prototyping using Modelica and Unity Co-simulation via OpenMETA,” Japanese Modelica Conference, Tokyo, Japan, 2016/5.
  • H. Yu, “Architecture-Centric Integration Challenges for Automotive Cyber-Physical Systems,” Newsletter of IEEE Computer Society Technical Committee on Very Large Scale Integration (TCVLSI), 2016/4.
  • R. Melen, “The Connected Car Will Bring New Automation Challenges And Opportunities To Future Vehicle Fuels and Retailers,” Annual Meeting of Fuels Institute, San Francisco, CA, 2016/4.
  • B. Kim, J. Shum, A. Jarandikar, and S. Shiraishi, “Demo Abstract: Systematic Road Environment Generation for Vehicle Software Simulation,” International Conference on Cyber-Physical Systems, Vienna, Austria, 2016/4.
  • D. Gangadharan, O. Sokolsky, I. Lee, B. Kim, and S. Shiraishi, “Platform-Based Automotive Safety Features,” SAE World Congress & Exhibition, Detroit, MI, 2016/4.
  • P. Pillai, V. Yalla, and K. Oguchi, “Ease of Driving Road Classification for Night-time Driving Conditions,” SAE World Congress & Exhibition, Detroit, MI, 2016/4.
  • S. Eisele, M. Yamaura, N. Arechiga, and S. Shiraishi, “ADAS Virtual Prototyping with the OpenMETA Toolchain,” SAE World Congress & Exhibition, Detroit, MI, 2016/4.
  • P. Daian, G. Rosu, A. Iwai, and S. Shiraishi, “RV-ECU: Maximum Assurance In-Vehicle Safety Checks at Runtime,” SAE World Congress & Exhibition, Detroit, MI, 2016/4.
  • A. Hocking, M. Aiello, J. Knight, S. Shiraishi, M. Yamaura, and N. Arechiga, “Proving Properties of Simulink Models that Include Discrete Valued Functions,” SAE World Congress & Exhibition, Detroit, MI, 2016/4.
  • H. Yu, C.-W. Lin and B. Kim, “Automotive Software Certification: Current Status and Challenges,” SAE World Congress & Exhibition, Detroit, MI, 2016/4.
  • M. O’kelly, H. Abbas, S. Shiraishi, S. Kato, and R. Mangharam, “APEX: Autonomous Vehicle Plan Verification and Execution,” SAE World Congress & Exhibition, Detroit, MI, 2016/4.
  • D. Kim, E. Song, and H. Yu, “Introducing Attribute-Based Access Control to AUTOSAR,” SAE World Congress & Exhibition, Detroit, MI, 2016/4.
  • T. Shimizu, T. Ono, W. Hirohashi, K. Kumita, and Y. Hayashi, “Experimental Demonstration of Smart Charging and Vehicle-to-Home Technologies for Plugin Electric Vehicles Coordinated with Home Energy Management Systems for Automated Demand Response,” SAE World Congress & Exhibition, Detroit, MI, 2016/4.
  • H. Yu, and C.-W. Lin, “Security Concerns for Automotive Communication and Software Architecture,” IEEE INFOCOM Workshop on Cross-Layer Cyber-Physical Systems Security (CPSS@INFOCOM), San Francisco, CA, 2016/4.
  • H. Yu, “An architecture-centric design analysis and optimization framework for automotive systems,” NII Shonan Meeting on Architecture-Centric Modeling, Analysis, and Verification of Cyber-Physical Systems, Shonan, Japan, 2016/3.
  • H. Yu, “Software Challenges for Automotive Cyber-Physical Systems,” Newsletter of IEEE Technical Committee on Cybernetics for Cyber-Physical Systems, 2016/2.
  • A. Rostami, B. Cheng, G. Bansal, K. Sjoberg, M. Gruteser, and J. Kenney, “Stability Challenge and Enhancement for Vehicular Channel Congestion Control Approaches,” IEEE Transactions on Intelligent Transportation System (ITS) Journal, 2016/2.
  • A. Hocking, M. Aiello, J. Knight, and N. Arechiga, “Proving Critical Properties of Simulink Models,” IEEE High Assurance Systems Engineering (HASE), Orlando, FL, 2016/1.
  • S. Shiraishi, V. Mohan, and H. Marimuthu, “Open Sourcing of Benchmarks for Evaluation of Static and Dynamic Analysis Tools (Free Software),” Online. https://github.com/Toyota-ITC-SSD/Software-Analysis-Benchmark, 2016.

2015

  • M. Hu, R. Melen, and G. Bansal, “Differential Pressure for V2V Vertical Clearance,” IEEE Vehicular Networking Conference (VNC), 2015/12, Kyoto, Japan.
  • B. Kim, L. Feng, O. Sokolksy, and I. Lee, “Platform Specific Code Generation from Platform-Independent Timed Models,” IEEE Real-Time Systems Symposium (RTSS), 2015/12, San Antonio, TX.
  • H. Lu, G. Bansal, J. Kenney, C. Poellabauer, and C. Rohrs, “EMBARC: Adaptive Broadcast Rate Control for Vehicle-to-Vehicle Safety Communications,” IEEE Transaction on Vehicular Technology, 2015/12.
  • K. Murakami, S. Samuelsen, J. Salazar, Y. Goto, and D. Mikat, “Demonstrative Experiment for Regional optimum charging control system,” EPRI Infrastructure Working Council, 2015/11, Atlanta, GA.
  • S. Shiraishi, V. Mohan, and H. Marimuthu, “Test Suites for Benchmarks of Static Analysis Tools,” IEEE International Symposium on Software Reliability Engineering (ISSRE), 2015/11, Gaithersburg, MD.
  • 大野 友也, 汲田 邦彦, 広橋 亘, 清水 崇之, “Cooperative Systems of Electric Vehicle and HEMS for Demand Response Signals,” JSAE Annual Congress – Autumn, 2015/10, Kitakyushu, Japan.
  • N. Arechiga, J. Kapinski, J. Deshmukh, A. Platzer, and B. Krogh, “Forward Invariant Cuts to Simplify Proofs of Safety,” EMSOFT, 2015/10, Amsterdam, Netherlands.
  • H. Lu, J. Kenney, and G. Bansal, “A joint power-rate adaption algorithm for DSRC-based vehicular safety communications,” ITS World Congress, 2015/10, Bordeaux, France.
  • J. Kenney, “Spectrum Sharing in the 5.9 GHz DSRC Band,” ITS World Congress, 2015/10, Bordeaux, France.
  • H. Yu, “Towards Model-Based Virtual System Integration for Automotive Software Systems (invited talk),” Virginia Tech CESCA Seminar, 2015/9, Blacksburg, VA.
  • P. Daian, Y. Falcone, P. Meredith, T. Serbanuta, S. Shiriashi, and A. Iwai, “RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial,” International Conference on Runtime Verification, 2015/9, Vienna, Austria.
  • V. Yalla, P. Pillai, and K. Oguchi, “CHASE Algorithm: “Ease of Driving” Classification,” International Conference on Intelligent Transportation Systems (ITSC), 2015/9, Canary Islands, Spain.
  • J. Talpin, L. Besnard, E. Borde, A. Bouakaz, P. Dissaux, T. Gautier, P. Guernic, Y. Ma, and H. Yu, “Behavioral semantic of an architecture analysis and design standard – an overview,” IRISA Real-Time Summer School, 2015/8, Rennes, France.
  • G. Bansal, T. Shimizu, M. Fanaei, A. Tahmasbi-Sarvestani, O. Gani, and Y. Fallah, “Scalable V2X Communication System for Automated Driving,” Automated Vehicles Symposium, 2015/7, Ann Arbor, MI.
  • B. Cheng, A. Rostami, M. Gruteser, G. Bansal, J. Kenney, and K. Sjoeberg, “Performance Evaluation of a Mixed Vehicular Network with CAM-DCC and LIMERIC Vehicles,” IEEE SmartVehicles, 2015/6, Boston, MA.
  • H. Yu, P. Joshi, J. Talpin, S. Shukla, and S. Shiraishi, “The challenge of interoperability: model-based integration for automotive control software,” ACM/IEEE Design Automation Conference (DAC), 2015/6, San Francisco, CA.
  • J. Kenney, and G. Bansal, “Dedicated Short Range Vehicular Communication: Overview, Technical Challenges, and Applications,” IEEE ICC, 2015/6, London, UK.
  • R. Melen, “Expectations for 5G in Future Automated Vehicle Applications,” 5G North American Workshop help by Qualcomm and Ericsson, 2015/4, Palo Alto, CA.
  • H. Yu, J. Talpin, S. Shukla, P. Joshi, and S. Shiraishi, “Technical documents sharing and discussion with AISIN researchers,” AISIN COMCRUISE, 2015/2, Aichi, Japan.

2014

  • H. Yu, “Towards Model-Based Engineering for Next Generation Automotive Systems,” Invited Talk in 15th KOCSEA Technical Symposium at IBM Watson Research Center, 2014/12, Yorktown Heights, NY.
  • R. Melen, “Expectations for 5G in Future Automated Vehicle Applications,” 5G North American Workshop help by Qualcomm and Ericsson, 2014/11, Asilomar, CA.
  • S. Shiraishi, J. Knight, A. Hocking, and M. Aiello, “Proving Model Equivalence in Model Based Design,” IEEE International Symposium on Software Reliability Engineering, 2014/11, Naples, Italy.
  • S. Shiraishi, J. Knight, A. Hocking, and M. Aiello, “Arguing Software Compliance With ISO 26262,” International Workshop on Assurance Cases for Software-intensive Systems (ASSURE), 2014/11, Naples, Italy.
  • T. Shimizu, A. Yokoyama, K. Sato, and K. Kumita, “Smart Charging System for PEV Based on SEP 2.0 and SAE Standards,” IEEE International Conference on Smart Grid Communications, 2014/11, Venice, Italy.
  • S. Shiraishi, A. Hocking, M. Aiello, and J. Knight, “Software Assurance for Automotive Control Systems Using Advanced Formal Verification: An Industrial Case Study,” High Integrity Software (HIS), 2014/10, Bristol, UK.
  • S. Shiraishi, M. O’Kelly, T. Nghiem, and R. Mangharam, “Making Autonomous Driving Safe: Formal Analysis of Driving Scenarios,” Cyber-Physical Systems Industry Day (Open House of University of Pennsylvania), 2014/10, Philadelphia, PA.
  • E. Martinson and G. Yalla, “Guiding Computational Perception through a Shared Auditory Space,” IEEE International Conference on Intelligent Robots and Systems (IROS), 2014/9, Chicago, IL.
  • G. Bansal, J. Kenney, K. Sjoberg, B. Cheng, A. Rostami, and M. Gruteser, “Comparing LIMERIC and DCC approaches for VANET Channel Congestion Control,” IEEE WiVEC, 2014/9, Vancouver, BC.
  • G. Bansal, M. Fanaei, A. Tahmasbi-Sarvestani, Y. Fallah, and J. Kenney, “Adaptive Content Control for Communication amongst Cooperative Automated Vehicles,” IEEE WiVEC, 2014/9, Vancouver, BC.
  • G. Bansal, J. Kenney, M. Fanaei, A. Tahmasbi-Sarvestani, and Y. Fallah (WVU), “Software Assurance for Automotive Control Systems Using Advanced Formal Verification: An Industrial Case Study,” AUVSI Symposium, 2014/7, San Francisco, CA.
  • S. Shiraishi, V. Mohan, and H. Marimuthu, “Open Sourcing of Benchmarks for Evaluation of Static and Dynamic Analysis Tools (Free Software),” , 2014/7.
  • L. Besnard, E. Borde, P. Dissaux, T. Gautier, P. L. Guernic, J. P. Talpin, “Logically timed specifications in the AADL: a synchronous model of computation and communication (recommendations to the SAE committee on AADL),” INRIA Technical Report, 2014/7.
  • H. Imaizumi, “Automotive & IoT/M2M,” Interop, 2014/6, Tokyo, Japan.
  • A. Cosgun, E. Sisbot, and H. Christensen, “Vibro-Tactile Belt Interface for Robotic Human Navigation,” IEEE International conference on Robotics and Automation (ICRA), 2014/5, Hong Kong.
  • H. Yu, J. P. Talpin, L. Besnard, A. Bouakaz, T. Gautier, P. L. Guernic, Y.Ma, “Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony,” Elsevier Journal: Science of Computer Programming, 2014/5.
  • G. Grassi, D. Pesavento, L. Wang, G. Pau, L. Zhang, R. Wakikawa, and R. Vuyyuru, “VANET via Named Data Networking,” Workshop on Name Oriented Mobility (NOM) associated with IEEE Infocom, 2014/4, Toronto, ON.
  • A. Cosgun, E. Sisbot and H. Christensen, “Evaluation of Rotational and Directional Vibration Patterns on a Tactile Belt for Guiding Visually Impaired People,” IEEE Haptics Symposium, 2014/2, Houston, TX.
  • P. Spaanderman and J. Kenney, “World Wide Spectrum Sharing WiFi ↔ ITS (+ DSRC for EU),” ETSI Workshop on ITS, 2014/2, Berlin, Germany.

2013

  • J. Lansford, J. Kenney, and P. Eccelsine, “Coexistence of Unlicensed Devices with DSRC Systems in the 5.9 GHz ITS Band,” IEEE Vehicular Networking Conference (VNC), 2013/12, Boston, MA.
  • G. Bansal and J. Kenney, “Controlling Congestion in Safety-Message Transmissions: A Philosophy for Vehicular DSRC Systems,” IEEE Vehicular Technology Magazine, 2013/12.
  • R. Melen, “The Impact of Future Autonomous Connected Car Technology On The Driving Experience,” American Road and Transportation Builders Association (ARTBA) TransOvation Conference, 2013/10, San Jose, CA.
  • S. Shiraishi, “Lightweight Quality Assurance Framework for Third Party Applications of IVI Systems,” International Workshop on Mobile Development Lifecycle (MobileDeLi), 2013/10, San Francisco, CA.
  • A. Yokoyama, T. Shimizu, K. Sato, and K. Kumita, “Demonstrative experiment on optimum charging and power demand control based on Smart Grid standard technologies,” ITS World Congress, 2013/10, Tokyo, Japan.
  • G. Bansal, J. Kenney, H. Lu, and C. Poellabauer, “Assigning Safety Message Priority Based on Vehicle Dynamics,” ITS World Congress, 2013/10, Tokyo, Japan.
  • S. Chen and R. Vuyyuru, “Dynamic Channel Selection for Wireless Mobile Ad hoc Networks: Adaptation and Learning,” IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 2013/10, Lyon, France.
  • R. Melen and S. Tsunoda, “Cloud Computers and The Autonomous Connected Car,” Introduction Talk at Calty Innovation Hub, Japan Society Northern California, 2013/8.
  • S. Shiraishi, “SDK-Based Quality Assurance Framework for Third Party Apps of IVI Systems,” International Workshop on Software Development Lifecycle for Mobile (DeMobile), 2013/8, Saint Petersburg, Russia.
  • J. Agosta and P. Pillai, “A Lightweight Inference Method for Image Classification,” Workshop on Models for Spatial, Temporal and Network Data (UAI), 2013/7, Bellevue, WA.
  • G. Bansal, J. Kenney, H. Lu, and C. Poellabauer, “Error Model based Adaptive Rate Control for Vehicle-to-Vehicle Communications,” ACM VANET, 2013/6, Taipei, Taiwan.
  • A. Baid, T. Vu, K. Nagaraja, S. Mudigonda, J. Fukuyama and D. Raychaudhuri, “Enabling Vehicular Networking in the Mobility: First Future Internet Architecture,” International Symposium on a World of Wireless, Mobile and Multimedia Networks, 2013/6, Madrid, Spain.
  • G. Bansal and J. Kenney, “Achieving Weighted-Fairness in Message Rate-Based Congestion Control for DSRC Systems,” International Symposium on Wireless Vehicular Communications, 2013/6, Dresden, Germany.
  • J. Kenney and G. Bansal, “V2V Safety Communications: An overview and examination of technical challenges,” IEEE Vehicular Technology Conference, 2013/6, Dresden, Germany.
  • J. Agosta, M. Crovella, D.Ting, J. Chandrashekar, and N. Taft, “Mixture Models of Endhost Network Traffic,” IEEE International Conference on Computer Communications (INFOCOM), 2013/4, Turin, Italy.
  • T. Shimizu, A. Yokoyama, K. Sato, and S. Hinkel, “Demonstrative Experiment on Optimum Charging and Power Demand Control Based on Smart Grid Standard Technologies,” EPRI Infrastructure Working Council, 2013/3, Tempe, AZ.
  • S. Sai, O. Altintas, J. Kenney, H. Tanaka, and Y. Inoue, “Current and Future ITS,” IEICE Transactions on Information and Systems, vol. E96-D, no. 2, 2013/2.
  • S. Mudigonda, J. Fukuyama, and K. Ozbay, “Evaluation of a Methodology for Scalable Dynamic Vehicular Ad-Hoc Networks in a Well-Calibrated Vehicular Mobility Test Bed,” Transportation Research Board, 2013/1, Washington, DC.
  • S. Shiraishi and M. Abe, “Qualitative Comparison of ADL-Based Approaches to Real-World Automotive System Development,” Information Processing Society of Japan (IPSJ) Journal, 2013/1.
  • J. Kenney, G. Bansal, and C. Rohrs, “LIMERIC: A Linear Adaptive Message Rate Algorithm for DSRC Congestion Control,” IEEE Transactions on Vehicular Technology, 2013.

2012

  • S. Mudigonda, J. Fukuyama, and K. Ozbay, “Improved Information Dissemination for Generic Applications using a Scalable Dynamic VANET Algorithm,” International Conference on Connected Vehicles and Expo, 2012/12, Beijing, China.
  • S. Shiraishi, “Simulation-Based Design Verification of Real-Time Distributed Automotive Systems,” Analytic Virtual Integration of Cyber-Physical Systems Workshop, 2012/12, San Juan, Puerto Rico.
  • S. Mudigonda, J. Fukuyama, and K. Ozbay, “Microscopic Simulation-based Validation of Scalability and Data Quality for a Dynamic Vehicular Ad-Hoc Networks Algorithm (DEMO),” IEEE Vehicular Networking Conference (VNC), 2012/11, Seoul, Korea.
  • R. Parundekar and K. Oguchi, “Driver Recommendations of POIs using a Semantic Content-based Approach,” International Workshop on Semantic Technologies meet Recommender Systems & Big Data (SeRSy), 2012/11, Bari, Italy.
  • S. Rocke, R. Vuyyuru, O. Altintas, S. Chen, and A. Wyglinski, “Knowledge-based Dynamic Channel Selection in Vehicular Networks,” IEEE Vehicular Networking Conference (VNC), 2012/11, Seoul, Korea.
  • S. Sharafkandi, G. Bansal, J. Kenney, and D. Su, “Using EDCA to improve Vehicle Safety Messaging,” IEEE Vehicular Networking Conference (VNC), 2012/11, Seoul, Korea.
  • J. Kenney, S. Barve, and V. Rai, “Comparing Communication Performance of DSRC OBEs from Multiple Suppliers,” ITS World Congress, 2012/10, Vienna, Austria.
  • S. Chen, R. Vuyyuru, O. Altintas, and A. Wyglinski, “Learning-Based Channel Selection of VDSA Networks in Shared TV Whitespace,” IEEE Vehicular Technology Conference (Fall), 2012/9, Quebec City, QC.
  • T. Shimizu, A. Yokoyama, and M. Iwai, “Grouped Interference Alignment in Inter-Vehicle Communications,” IEEE Vehicular Technology Conference (Fall), 2012/9, Quebec City, QC.
  • S. Shiraishi, “Architecture Modeling and Analysis for Automotive Control System Development,” Dagstuhl Seminar: Architecture-Driven Semantic Analysis of Embedded Systems, 2012/7, Wadern, Germany.
  • M. Takai, T. Wada, K. Ishibashi, W. Shin, and A. Yokoyama, “A Study on Semi-Blind Interference Alignment Exploiting Frequency Selectivity of Fading Channels,” Institute of Electronics, Information and Communication Engineers (IEICE), 2012/7, Nagoya, Japan.
  • R. Melen, “EDA Development Challenges Of An Efficient Vehicle Charging Network,” ACM/IEEE Design Automation Conference (DAC), 2012/6, San Francisco, CA.
  • S. Sharafkandi, G. Bansal, and J. Kenney, “A Novel Use of EDCA to Improve Vehicle Safety Communication,” ACM International Workshop on Vehicular Inter-Networking, Systems, and Applications, 2012/6, Low Wood Bay, UK.
  • T. Vu, A. Baid, Y. Zhang, T. Nguyen, J. Fukuyama, R. Martin, and D. Raychaudhuri, “DMap: A Shared Hosting Scheme for Dynamic Identifier to Locator Mappings in the Global Internet,” International Conference on Distributed Computing Systems, 2012/6, Macau, China.
  • L. Wang, A. Afanasyev, R. Wakikawa, R. Kuntz, R. Vuyyuru, and L. Zhang, “Rapid Traffic Information Dissemination Using Named Data,” Workshop on Emerging Name-Oriented Mobile Networking Design – Architecture, Algorithms, and Applications (NOM), 2012/6, Hilton Head, SC.
  • T. Shimizu, A. Yokoyama, and H. Iwai, “Application of Interference Alignment to Inter-Vehicle Communications with Simultaneous Multi-User Transmission and its Performance Evaluation,” IEICE Technical Committee on Radio Communication Systems (RCS), 2012/3, Yokosuka, Japan.
  • L. Wang, R. Wakikawa, R. Kuntz, R. Vuyyuru, and L. Zhang, “Data Naming in Vehicle-to-Vehicle Communications,” Workshop on Emerging Design Choices in Name-Oriented Networking (NOMEN), 2012/3, Orlando, FL.
  • R. Parundekar and K. Oguchi, “Learning Driver Preferences of POIs Using a Semantic Web Knowledge System,” The Semantic Web: Research and Applications, Springer Berlin/Heidelberg, 2012.

2011

  • S. Chen, R. Vuyyuru, O. Altintas, and A. Wyglinski, “On optimizing vehicular dynamic spectrum access networks: Automation and learning in mobile wireless environments,” IEEE Vehicular Networking Conference (VNC), 2011/11, Amsterdam, Netherlands.
  • A. Weinfield, J. Kenney, and G. Bansal, “An Adaptive DSRC Message Transmission Rate Control Algorithm,” ITS World Congress, 2011/10, Orlando, FL.
  • G. Bansal, J. Kenney, and A. Weinfield, “Cross-Validation of DSRC Radio Testbed and NS-2 Simulation Platform for Vehicular Safety Communications,” IEEE Vehicular Technology Conference (Fall), 2011/9, San Francisco, CA.
  • J. Kenney, G. Bansal, and C. Rohrs, “LIMERIC: A Linear Message Rate Control algorithm for Vehicular DSRC Systems,” VANET, 2011/9, Las Vegas, NV.
  • R. Melen and B. Shaw, “Future Vehicle Computer System in a Five Screen World,” IEEE Computer Society of Silicon Valley, Cadence Auditorium, 2011/7, San Jose, CA.
  • S. Kaul, M. Gruteser, V. Rai, and J. Kenney, “Minimizing Age of Information in Vehicular Networks,” SECON, 2011/6, Salt Lake City, UT.
  • D. Borota, G. Ivkovic, R. Vuyyuru, O. Altintas, I. Seskar, and P. Spasojevic, “On the Delay to Reliably Detect Channel Availability in Cooperative Vehicular Environments,” IEEE Vehicular Technology Conference (Spring) , 2011/5, Budapest, Hungary.
  • D. Borota, P. Spasojevic, I. Seskar, and R. Vuyyuru, “A Comparative Study on Cooperative Spectrum Sensing in Vehicular Environments,” IEEE Vehicular Technology Conference (Spring) , 2011/5, Budapest, Hungary.
  • Y. Li and J. Fukuyama, “Autonomous Algorithm to Construct a Spanning Forest in a Vehicular Network,” Annual Meeting of Transportation Research Board, 2011/1, Washington, DC.
  • J. Fukuyama, “A Probabilistic Protocol for Multi-Hop Routing in VANETs,” Journal of Electrical and Computer Engineering, 2011.
  • J. Kenney, “Dedicated Short-Range Communications (DSRC) Standards in the United States,” IEEE Journal, Special Issue on Vehicular Communications, 99 (7), 2011.
  • T. Shimizu, A. Yokoyama, and H. Iwai, “Channel Capacity of Interference Alignment in MIMO Interference Channels with Channel Estimation Error and Channel Time-Variation,” Institute of Electronics, Information and Communication Engineers (IEICE), 2011.

2010

  • E. Baccelli, T. Clausen, and R. Wakikawa, “IPv6 operation for WAVE – Wireless Access in Vehicular Environments,” IEEE Vehicular Networking Conference (VNC), 2010/12, Jersey City, NJ.
  • S. Chen, A. Wyglinski, R. Vuyyuru, and O. Altintas, “Feasibility Analysis of vehicular Dynamic Spectrum Access via Queueing Theory Model,” IEEE Vehicular Networking Conference (VNC), 2010/12, Jersey City, NJ.
  • S. Chen, A. Wyglinski, R. Vuyyuru, and O. Altintas, “Feasibility Analysis of Vehicular Dynamic Spectrum Access over TV White Spaces via Queueing Theory Model,” IEEE Vehicular Networking Conference (VNC), 2010/12, Jersey City, NJ.
  • W. Chen, R. Vuyyuru, J. Fukuyama, R. Guha, and J. Chennikara-Varghese, “Context-Drive Disruption Tolerant Networking for Vehicular Applications,” IEEE Vehicular Networking Conference (VNC), 2010/12, Jersey City, NJ.
  • J. Fukuyama, R. Vuyyuru, R. Guha, W. Chen, and J. Lee, “A Fast and Distributed Algorithm for Vehicular Network Coding,” IEEE Vehicular Networking Conference (VNC), 2010/12, Jersey City, NJ.
  • J. Wang, R. Wakikawa, and L. Zhang, “DMND: Collecting Data from Mobiles Using Named Data,” IEEE Vehicular Networking Conference (VNC), 2010/12, Jersey City, NJ.
  • W. Chen, T. Kwon, R. Onishi, and R. Vuyyuru, “Dynamic Adaptations of LPG-based Vehicular Ad Hoc Networks,” ITS World Congress, 2010/10, Busan, Korea.
  • R. Gorcitz, P. Spathis, M. Dias de Amorim, S. Fdida, and R. Wakikawa, “Vehicles in the Internet of the Future,” RESCOM, 2010/8, Paris, France.
  • S. Kaul, V. Rai, M. Gruteser, and J. Kenney, “On The prediction and compression of GPS Traces,” IEEE Vehicular Networks & Applications Workshop, 2010/5, Cape Town, South Africa.
  • H. Tazaki, R. Van Meter, R. Wakikawa, T. Wongsaardsakul, K. Kanchanasut, M. Dias de Amorim, and J. Murai, “MANEMO Routing in Practice: Protocol Selection, Expected Performance, and Experimental Evaluation,” IEICE Transactions on Communications, 2010.
  • Z. Zhu, R. Wakikawa, and L. Zhang, “Supporting Mobility for Internet Cars,” IEEE Communication Magazine, 2010.

2009

  • R. Vuyyuru, C. Lacatus, O. Altintas, D. Borota, and I. Seskar, “Evaluation of Energy Based Spectrum Sensing Algorithm for Vehicular Networks,” SDR Forum Technical Conference, 2009/12, Washington, DC.
  • W. Chen, R. Guha, J. Lee, R. Onishi, and R. Vuyyuru, “A Multi-antenna Switched Links based Inter-vehicular Network Architecture,” IEEE Vehicular Networking Conference, 2009/10, Tokyo, Japan.
  • W. Chen, T. Kwon, R. Onishi, and R. Vuyyuru, “Dynamic Adaptive Local Peer Group (Adaptive LPG) based VANETs,” IEEE Vehicular Networking Conference, 2009/10, Tokyo, Japan.
  • J. Fukuyama and R. Vuyyuru, “A Delay Time Analysis for Multi-Hop V2V Communications over a Linear VANET,” IEEE Vehicular Networking Conference, 2009/10, Tokyo, Japan.
  • H. Kremo, I. Seskar, and P. Spajovic, “Experimental Modeling of the Effect of Adjacent Lane Traffic on the Vehicular Channel,” IEEE Vehicular Networking Conference, 2009/10, Tokyo, Japan.
  • S. Pagadarai, A. Wyglinski, and R. Vuyyuru, “Characterization of vacant UHF TV channels for vehicular Dynamic Spectrum Access,” IEEE Vehicular Networking Conference, 2009/10, Tokyo, Japan.
  • K. Hong, J. Kenney, V. Rai, and D. Xing, “Characterization of DSRC Performance as a Function of Transmit Power,” VANET, 2009/9, Beijing, China.
  • L. Zhang, R. Wakikawa, and Z. Zhu, “Supporting Mobility in the Global Internet,” MICNET, 2009/9, Beijing, China.
  • W. Chen and R. Onishi, “Architecture and Technology for Adaptive Multi-hop V2V Networking in Dynamic Environments,” ITU The Fully Networked Car Workshop, 2009/3, Geneva, Switzerland.
  • G. Valadon, C. Magnien, and R. Wakikawa, “Mobile IPv6 Deployments: Graph-based Analysis and Practical Guidelines,” Computer Communications: The International Journal for the Computer and Telecommunications Industry, 2009.
  • R. Wakikawa, S. Kiriyama, and S. Gundavelli, “The applicability of Virtual Interface for Inter-technology handoffs in Proxy Mobile IPv6,” Wireless Communications and Mobile Computing, 2009.

2008

  • T. Kwon, W. Chen, R. Onishi, and T. Hikita, “Unicast Routing among Local Peer Group (LPG)-based VANETs,” Autonet, 2008/12, New Orleans, LA.
  • R. Onishi, T. Hikita, R. Vuyyuru, W. Chen, J. Chennikara-Varghese, and M. Pang, “Local Peer Group Based Emergency Brake Information Distribution Lab Demonstration,” World Congress on Intelligent Transport Systems, 2008/11, New York, NY.
  • S. Kaul, M. Gruteser, R. Onishi, and R. Vuyyuru, “GeoMAC: A geo-Location based Co-operative MAC protocol for V2V networks,” International Conference on Vehicular Electronics and Safety (ICVES), 2008/9, Columbus, Ohio.
  • J. Lee, W. Chen, R. Onishi, and R. Vuyyuru, “Vehicle Local Peer Group based Multicasting Protocol for Vehicle-to-Vehicle Communications,” V2VCOM, 2008/6, Eindhoven, Netherlands.
  • T. Hikita, R. Onishi, R. Vuyyuru, W. Chen, J. Chennikara-Varghese, T. Kwon, and J. Lee, “Dynamic Vehicle Group Architecture for Efficient V2V and V2R Networking,” ITU The Fully Networked Car Workshop, 2008/3, Geneva, Switzerland.

2007

  • K. Ramachandran, M. Gruteser, T. Hikita, and R. Onishi, “Experimental Analysis of Broadcast Reliability in Dense Vehicular Networks,” IEEE Vehicular Technology Magazine, 2 , 2007/12#.
  • J. Chennikara-Varghese, W. Chen, R. Onishi, and T. Hikita, “Local Peer Groups and Vehicle-to-Infrastructure Communications,” Autonet, 2007/11, Washington, DC.
  • T. Hikita, R. Onishi, W. Chen, and J. Chennikara-Varghese, “Vehicular Applications using Local Peer Group Architecture,” World Congress on Intelligent Transport Systems, 2007/10, Beijing, China.
  • K. Ramachandran, M. Gruteser, T. Hikita, and R. Onishi, “Experimental Analysis of Dense Vehicular Networks: An ORBIT Testbed Case Study,” IEEE International Symposium on Wireless Vehicular Communications, 2007/9, Baltimore, MD.
  • W. Chen, J. Lee, T. Hikita, and R. Onishi, “Embedded Multicasting with Vehicle Local Peer Group for Efficient Vehicle Communications,” V2VCOM, 2007/6, Istanbul, Turkey.
  • R. Vuyyuru and K. Oguchi, “Vehicle-to-Vehicle Ad Hoc communication Protocol Evaluation Using Realistic Simulation Framework,” Wireless On demand Network Systems and Services (WONS), 2007/1, Obergurgl, Austria.
  • V. Ermagan, I. Krueger, M. Menarini, J. Mizutani, D. Weir, and K. Oguchi, “Towards Model-Based Failure-Management for Automotive Software,” International Conference on Software Engineering (ICSE), 2007, Minneapolis, MN.

2006

  • W. Chen, J. Chennikara-Varghese, T. Kwon, R. Onishi, and T. Hikita, “Integrated Local Peer Group Organization and Routing,” Autonet, 2006/12, San Francisco, CA.
  • R. Vuyyuru and K. Oguchi, “Communication Protocol Development and Simulation Platform for Vehicular Communication,” VANET, 2006/9, Los Angeles, CA.
  • R. Vuyyuru and K. Oguchi, “Automesh: Flexible Simulation Framework for Vehicular Communication,” V2VCOM, 2006/7, San Jose, CA.
  • S. Cai, T. Hikita, W. Chen, J. Chennikara-Varghese, and J. Lee, “Dynamic Local Peer Group Organizations for Vehicle Communications,” V2VCOM, 2006/7, San Jose, CA.
  • A. Dutta, S. Madhani, and W. Chen, “GPS-assisted Fast-handoff Mechanism for Real-time Communication,” IEEE Sarnoff Symposium, 2006/3, Princeton, NJ.

2005

  • K. Oguchi, P. Vinograd, and H. Garcia-Molina, “Publish-Subscribe Event Dissemination in High-Mobility Networks,” ITS World Congress, 2005/11, San Francisco, CA..
  • S. Cai, W. Chen, and J. Chenninkara-Varghese, “Local Peer Group Architecture and Organization for Vehicle Communications,” V2VCOM, 2005/7, San Diego, CA.
  • J. Chennikara-Varghese, H. Tanna, W. Chen, O. Altintas, Y. Suwa, and S. Cai, “Framework For Transparent Service Adaptation In Heterogenous Environments,” World Wireless Congress (WWC), 2005/5, Palo Alto, CA.
  • I. Jonsson, M. Zajicek, H. Harris, and C. Nass, “Thank You, I did not see that: In-car Speech Based Information Systems for Older Adults,” Conference on Human Factors in Computing Systems (CHI), 2005/4, Portland, OR.
  • W. Chen and S. Cai, “Ad-hoc Peer-to-Peer Network Architecture for Vehicle Safety Communications,” IEEE ComSoc Communication Magazine, 2005/4#.
  • C. Chen, Y. Ling, M. Pang, W. Chen, S. Cai, Y. Suwa, and O. Altintas, “Scalable Request Routing with Next-Neighbor Load Sharing for Multi-Server Environments,” IEEE International Conference on Advanced Information Networking and Applications (AINA), 2005/3, Taipei, Taiwan.

2004

  • A. Dutta, S. Madhani, W. Chen, O. Altintas, and H. Schulzrinne, “Fast-handoff Schemes for Application Layer Mobility Management,” IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), 2004/9, Barcelona, Spain.

2003

  • A. Dutta, J. Chennikara, W. Chen, O. Altintas, and H. Schulzrinne, “Multicasting Streaming Media to Mobile Users,” IEEE Communications Magazine, 41, 2003.