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
Academia
The document was issued by academy or academy organization.
file
Deep Specifications and Certified Abstraction Layers
Submitted by Ronghui Gu on Thu, 04/23/2015 - 5:36pm. Contributor:
Ronghui Gu
Presented as part of the
2015 HCSS conference
.
Abstract:
Validation and Verification
abstraction layers
deep specifications
National HCSS Conference 2015
Academia
Abstract
HCSS'15
Proof Engineering (HCSS'15)
file
Issues, Challenges and Opportunities in the Qualification of Formal Method Tools
Submitted by tinelli on Thu, 04/23/2015 - 5:36pm. Contributor:
Cesare Tinelli
Presented as part of the
2015 HCSS conference
.
Abstract:
certification
formal methods
model-checkers
Safety-Critical Systems
tool qualification
National HCSS Conference 2015
Academia
Abstract
Presentation
HCSS'15
Proof Engineering (HCSS'15)
file
Collected Presentation List.pdf
Submitted by harald.ruess on Wed, 04/22/2015 - 8:07pm
CPS Domains
CPS Technologies
Foundations
CPS Week 2015
2015
Academia
Documentation
April 13 2015
file
Model-Based Systems Engineering for Networked CPS Research and Education.pdf
Submitted by John Baras on Wed, 04/22/2015 - 5:23pm. Contributor:
John Baras
CPS Domains
Networked Control
Control
Transportation
Validation and Verification
Foundations
CPS analysis
framework
integration
methods
networked CPS
synthesis
tools
CPS Week 2015
2015
Academia
Presentation
April 13 2015
file
Test Bed for Medical Cyber-‐Physical Systems.pdf
Submitted by Insup Lee on Wed, 04/22/2015 - 5:19pm. Contributor:
Insup Lee
CPS Domains
Medical Devices
Modeling
Health Care
Simulation
Validation and Verification
Foundations
closed-loop
Hardware
Safety
test beds
CPS Week 2015
2015
Academia
Position Paper
Publications
April 13 2015
file
A Conceptual Model of System of Systems.pdf
Submitted by Werner Damm on Wed, 04/22/2015 - 4:31pm. Contributors:
Werner Damm
Alberto Sangiovanni Vincentelli
Modeling
Foundations
distributed
large-scale
real-time
safety-critical
CPS Week 2015
2015
Academia
Presentation
April 13 2015
file
A Conceptual Model of System of Systems_White Paper.pdf
Submitted by Werner Damm on Wed, 04/22/2015 - 4:31pm. Contributors:
Werner Damm
Alberto Sangiovanni Vincentelli
CPS Domains
CPS Technologies
Foundations
framework
system of systems
CPS Week 2015
2015
Academia
Position Paper
Publications
April 13 2015
file
The CPS Challenge – Linking Physicality and Computation_White Paper.pdf
Submitted by Site Manager on Wed, 04/22/2015 - 4:31pm. Contributor:
Joseph Sifakis
CPS Domains
Modeling
Foundations
Computation
modeling
CPS Week 2015
2015
Academia
Position Paper
Publications
April 13 2015
file
Transatlantic CPS Summit Upgrade Strategic EU-US Cooperation on CPS Research.pdf
Submitted by broym on Wed, 04/22/2015 - 4:24pm. Contributor:
Manfred Broy
CPS Domains
CPS Technologies
Education
Foundations
CPS Week 2015
2015
Academia
Presentation
April 13 2015
file
Cyber-Physical Correctness Specification Validation and Verification.pdf
Submitted by broym on Wed, 04/22/2015 - 4:24pm. Contributor:
Manfred Broy
Validation and Verification
Foundations
correctness
Reliability
CPS Week 2015
2015
Academia
Presentation
April 13 2015
« first
‹ previous
…
51
52
53
54
55
56
57
58
59
…
next ›
last »
