A survey on vehicular cloud computing

M Whaiduzzaman, M Sookhak, A Gani… - Journal of Network and …, 2014 - Elsevier
Vehicular networking has become a significant research area due to its specific features and
applications such as standardization, efficient traffic management, road safety and …

User interface system, method, and computer program product

MS Smith - US Patent 9,417,754, 2016 - Google Patents
A system, method, and computer program product are provided for a touch or pressure
signal-based interface. In operation, a touch or pressure signal is received in association …

Devices, methods, and graphical user interfaces for manipulating user interface objects with visual and/or haptic feedback

MS Smith - US Patent 10,386,960, 2019 - Google Patents
First worldwide family litigation filed litigation Critical https://patents. darts-ip. com/? family=
56164181&utm_source= google_patent&utm_medium= platform_link&utm_campaign …

Towards a distributed secure in-vehicle communication architecture for modern vehicles

C Patsakis, K Dellios, M Bouroche - Computers & security, 2014 - Elsevier
Modern automotive vehicles are becoming a collection of interconnected embedded
subsystems, where the mechanical parts are controlled by electronic ones and the vehicle is …

[HTML][HTML] SURROGATES: Virtual OBUs to foster 5G vehicular services

J Santa, PJ Fernández, J Ortiz, R Sanchez-Iborra… - Electronics, 2019 - mdpi.com
Virtualization technologies are key enablers of softwarized 5G networks, and their usage in
the vehicular domain can provide flexibility and reliability in real deployments, where …

Formal verification of a microkernel used in dependable software systems

C Baumann, B Beckert, H Blasum, T Bormer - International Conference on …, 2009 - Springer
In recent years, deductive program verification has improved to a degree that makes it
feasible for real-world programs. Following this observation, the main goal of the BMBF …

Towards Intelligent Automobile Cockpit via A New Container Architecture

L Jiang, F Zhang, J Ming - 21st USENIX Symposium on Networked …, 2024 - usenix.org
An intelligent cockpit is now crucial in automobiles, not just to provide digital instrumentation
and in-vehicle controls but also to offer a wide range of entertainment functionalities. To …

Sensor virtualization and data orchestration in internet of vehicles (iov)

A Muhammad, M Saqib… - 2021 IFIP/IEEE …, 2021 - ieeexplore.ieee.org
The idea of the Internet of Vehicles (IoV) has begun with the emergence of the Internet of
things (IoT) and big data. This concept of IoV allows for information exchange between …

Devices, methods, and graphical user interfaces for manipulating user interface objects with visual and/or haptic feedback

MS Smith - US Patent 10,649,581, 2020 - Google Patents
First worldwide family litigation filed litigation Critical https://patents. darts-ip. com/? family=
56164181&utm_source= google_patent&utm_medium= platform_link&utm_campaign …

[PDF][PDF] Next generation of automotive security: Secure hardware and secure open platforms

A Groll, J Holle, M Wolf, T Wollinger - 17th ITS World Congress, 2010 - Citeseer
This technical paper gives a short overview about the OVERSEE project, an European
research project developing a new in-vehicle application and communication platform with …