Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
»
Publications
Position Paper
file
We Need Handles for Our Knives and Codes for Our Buildings
Submitted by Carl Landwehr on Tue, 05/20/2014 - 3:41pm. Contributor:
Carl Landwehr
CFP Submissions
George Washington University
Cyber2025
2014
CFPs
Academia
Position Paper
Publications
file
Cyberspace 2025—Biometrics to Support Trusted Identities
Submitted by SSchuckers on Tue, 05/20/2014 - 3:41pm. Contributor:
Stephanie Schuckers
CFP Submissions
Clarkson University
identity
biometrics
Cyber2025
2014
CFPs
Academia
Position Paper
Publications
file
Integrating Clouds with VANETs
Submitted by bbshail12 on Fri, 05/16/2014 - 11:53am. Contributors:
Bharat Bhargava
Vimal Kumar
Sanjay Madria
CPS Domains
Automotive
Transportation
CPS Technologies
Foundations
Cloud Computing
Identity management
security
VANET
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
MOUNT: Mountain-oriented Optimal Ubiquitous Networked Transportation
Submitted by thickicesong on Tue, 04/01/2014 - 10:18pm. Contributor:
Houbing Song
CPS Domains
Transportation Systems Sector
Automotive
Networked Control
Communication
Control
Critical Infrastructure
Wireless Sensing and Actuation
Transportation
CPS Technologies
Foundations
networked transportation systems
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Fault-Tolerant Vehicle Architectures and Design Methods
Submitted by shladover on Thu, 02/20/2014 - 5:07pm. Contributor:
Steven Shladlover
CPS Domains
Automotive
Architectures
Control
Wireless Sensing and Actuation
Transportation
CPS Technologies
Foundations
fault management
Fault-tolerant
road vehicle automation
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Ensuring the Safety of Transportation Cyber-Physical Systems
Submitted by linhphan on Thu, 02/20/2014 - 5:07pm. Contributors:
Linh T.X. Phan
Insup Lee
Oleg Sokolsky
Christopher Gill
Chenyang Lu
CPS Domains
Automotive
Architectures
Control
Modeling
Transportation
CPS Technologies
Foundations
analysis
design
feature
Safety
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Formalisms for Cyber-Physical Systems in Transportation
Submitted by Gul Agha on Thu, 02/20/2014 - 5:07pm. Contributor:
Gul Agha
Automotive
CPS Domains
Avionics
Concurrency and Timing
Embedded Software
Modeling
Wireless Sensing and Actuation
Transportation
CPS Technologies
Foundations
middleware
formal methods
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Formal Verification of Transportation Systems
Submitted by zheng@cse.usf.edu on Thu, 02/20/2014 - 12:07pm. Contributors:
Hao Zheng
Chris J. Myers
CPS Domains
Automotive
Architectures
Modeling
Transportation
Validation and Verification
CPS Technologies
Foundations
compositional reasoning
formal verification
model checking
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
WInternet and Its Applications for Transportation Systems
Submitted by jianjiawu on Thu, 02/20/2014 - 12:07pm. Contributors:
Wei Zhao
Lizuo Zhang
Jianjia Wu
CPS Domains
Automotive
Architectures
Architectures
Transportation
CPS Technologies
Foundations
Internet of Things
Transportation
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Monitoring for Safety in Transportation CPS
Submitted by mzefran on Thu, 02/20/2014 - 12:07pm. Contributors:
A. Prasad Sistla
Milos Zefran
CPS Domains
Automotive
Modeling
Transportation
Validation and Verification
CPS Technologies
Foundations
driver
Monitoring
PMCP
Safety
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »