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
analysis
biblio
Modeling Network Medium Access Protocols for Network Quality of Service Analysis
Submitted by Katie Dey on Thu, 11/12/2015 - 1:58pm
Resilient Systems
Science of Security
Foundations
network time-varying performance
Access
analysis
Analytical models
Bandwidth
Calculus
Data models
delays
design-time analysis
distributed real-time embedded system verification
embedded systems
foundations
Medium
Network
network medium channel access protocol
network quality of service analysis
verification
protocol
Protocols
QoS
quality
quality of service
Resilient Monitoring and Control
Resilient Systems
Satellites
Science of Security
Service
SURE Project
TDMA
time division multiple access
time-varying channels
file
Multi-Language and Multi-Prover Verification with SAWScript
Submitted by Katie Dey on Thu, 04/23/2015 - 6:36pm. Contributor:
Aaron Tomb
Presented as part of the
2015 HCSS conference
.
Abstract:
Validation and Verification
analysis
formal methods
SAT solvers
SMT solvers
theorem provers
National HCSS Conference 2015
Research Organization
Abstract
Presentation
HCSS'15
Proof Engineering (HCSS'15)
file
SpeAR: Specification and Analysis of Requirements
Submitted by brad_martin on Sat, 04/26/2014 - 7:40am. Contributors:
Lucas Wagner
Aaron Fifarek
Dan DaCosta
Kerianne Gross
Abstract
analysis
formal requirements analysis
kind
Requirements
Rockwell Collins
University of Minnesota
USAF
National HCSS Conference 2014
Academia
Industry
Poster
HCSS'14
HCSS'14: Poster Session
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
Analysis of Cyber-Physical Systems
Submitted by WarrenAHuntJr on Thu, 02/20/2014 - 12:06pm. Contributor:
Warren A. Hunt, Jr.
CPS Domains
Automotive
Transportation
CPS Technologies
Foundations
analysis
cyber physical systems
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
New Paradigm in Energy Cyber-Physical Systems: Automated Disturbance Detection, Analysis and Mitigation
Submitted by Mladen Kezunovic on Wed, 02/19/2014 - 11:25am. Contributor:
Mladen Kezunovic
CPS Domains
Energy
CPS Technologies
Foundations
analysis
automated disturbance detection
cyber physical energy systems
energy security
mitigation
CFP Paper Submissions
CFP Submissions
2013 National Workshop on Energy Cyber-Physical Systems
2013
Academia
Position Paper
Publications
file
Analysis and Control for Resilient Interdependent Cyber-Physical Networks
Submitted by eyeh@ece.neu.edu on Mon, 02/17/2014 - 4:43pm. Contributor:
Edmund Yeh
CPS Domains
Control
Energy
CPS Technologies
Foundations
analysis
cyber physical networks
resilience
CFP Paper Submissions
CFP Submissions
2013 National Workshop on Energy Cyber-Physical Systems
2013
Academia
Position Paper
Publications
file
How a Wealth of Information Begets a Poverty of Attention: The Special Case of Data Overload in the ICU
Submitted by Perren Cobb on Thu, 02/06/2014 - 6:26pm. Contributor:
J. Perren Cobb
CPS Domains
Medical Devices
Health Care
CPS Technologies
Foundations
analysis
challenges
data
health engineering
ICU
medical CPS
Massachusetts General Hospital
Harvard Medical School
Invited Talks
Invited Talks
2014 National Workshop on Research Frontiers in Medical CPS
2014
Academia
Presentation
file
Improving Usability and Security
Submitted by ttodd on Thu, 02/23/2012 - 10:39am. Contributors:
Travis Breaux
Laurie Williams
Jianwei Niu
Science of Security
analysis
Carnegie Mellon University
North Carolina State University
Software
University of Texas
Improving the Usability of Security Requirements by Software Developers Through Empirical Studies and Analysis
Academia
Report
file
breaux_nsaLablet_postfinal.pdf
Submitted by ttodd on Tue, 02/21/2012 - 12:03pm. Contributor:
Travis Breaux
Science of Security
analysis
security
Software
Improving the Usability of Security Requirements by Software Developers Through Empirical Studies and Analysis
« first
‹ previous
1
2
3
