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
Temporal Logic Verification for Programs
Submitted by Byron Cook on Thu, 06/28/2012 - 9:04am. Contributor:
Byron Cook
Microsoft Research
University College London
National HCSS Conference 2012
Academia
Industry
Presentation
Compositional Reasoning (HCSS'12)
file
Time and Controls (When to Exercise Control?)
Submitted by tabuada on Wed, 06/13/2012 - 2:21pm. Contributor:
Paulo Tabuada
Concurrency and Timing
Real-time Systems
Control
Wireless Sensing and Actuation
UCLA
Academia
Presentations
RFI Submissions
RFI Responses
Workshop Presentations
file
Testing Deception Tactics in Response to Cyberattacks
Submitted by adyson on Tue, 05/29/2012 - 2:59pm. Contributors:
Erwin E. Frederick
Neil C. Rowe
Albert B. G. Wong
California
Naval Postgraduate School
Academia
Conference paper
MTRS 2012 Presentations
file
Artificial Diversity as Maneuvers in a Control Theoretic Moving Target Defense
Submitted by adyson on Tue, 05/29/2012 - 2:56pm. Contributors:
Jeff Rowe
Karl N. Levitt
Tufan Demir
Robert F. Erbacher
Abstract
ARL
UC at Davis
Academia
Conference paper
MTRS 2012 Presentations
file
Simulation-based Approaches to Studying Effectiveness of Moving-Target Network Defense
Submitted by adyson on Tue, 05/29/2012 - 2:44pm. Contributors:
Scott A. DeLoach
Xinming Ou
Anoop Singhal
Su Zhang
Rui Zhuang
Abstract
Kansas State University
National Institute of Standards and Technology
Academia
Conference paper
MTRS 2012 Presentations
file
Predictive Moving Target Defense
Submitted by adyson on Tue, 05/29/2012 - 1:58pm. Contributors:
Richard Colbaugh
Kristin Glass
adaptive adversaries
cyber security.
game theory
machine learning
moving target defense
New Mexico Institute of Mining and Technology
predictive defense
Sandia National Laboratories
Academia
Conference paper
MTRS 2012 Presentations
file
Improving the Diversity Defense of Genetic Algorithm-Based Moving Target Approaches
Submitted by adyson on Tue, 05/29/2012 - 1:45pm. Contributors:
Daniel Cañas
Michael B. Crouse
Errin W. Fulp
Wake Forest University
Academia
Conference paper
MTRS 2012 Presentations
file
Implementing an IPv6 Moving Target Defense on a Live Network
Submitted by adyson on Tue, 05/29/2012 - 1:39pm. Contributors:
Matthew Dunlop
Stephen Groat
Randy Marchany
Joseph Tront
Abstract
Bradley Department of Electrical and Computer Engineering
Virginia Tech Information Technology Security Laboratory
Academia
Conference paper
MTRS 2012 Presentations
file
Certifying Real-Time Software is Not Reasonable (Today)
Submitted by pjoannou on Tue, 05/15/2012 - 10:14am. Contributor:
Edward A. Lee
Certification
Software Certification Consortium Meeting #9
Academia
Presentation
SCC
Meeting #9
file
Quest-V: A Virtualized Multikernel for High-Confidence Systems
Submitted by TimTh on Fri, 05/11/2012 - 6:32am. Contributors:
Richard West
Ye Li
Eric Missimer
Abstract:
Boston University
National HCSS Conference 2012
Academia
Poster
HCSS'12 Poster Session
« first
‹ previous
…
179
180
181
182
183
184
185
186
187
…
next ›
last »
