Taxonomic Search: chris OR dupilka

Results 21 - 30 of 64

Results

page

2011 Program Agenda

Hovering over speakers’ names will display titles in most browsers.

forum

February 1: Meeting Minutes

CPS Time-Critical Systems Workshop Logistics Teleconference

Feb 1, 2012

Participants


John Eidson – UC Berkeley

Helen Gill - NSF

Ted Baker – NSF

Frankie King - Vanderbilt

Brad Martin – NSA

Katie Dey - Vanderbilt

Al Wavering – NIST

Brian Hulbert – AFRL

Jake Hinchman – AFRL

Ann Dyson – Vanderbilt

Chris vanBuskirk – Vanderbilt

Joan Stanley - NCO

 


Paul Miner - NASA

event

AVM Deep Dive Meeting
Mar 07, 2012 3:45:pm - Mar 09, 2012 7:45:am

Time Thursday, March 8 Friday, March 9
  Meta-X C2M2L
8:00    
8:30 Deep Dive Intro/Overview/Agenda (Ted) I
9:00 CyPhy Language (Sandepp+Adam) N
9:30
video

Name of Video

Type a description about this video here.

event

2nd International Workshop on Quantitative Aspects in Security Assurance (QASA 2013) Affiliated with ESORICS 2013
Sep 08, 2013 11:00:pm - Sep 13, 2013 5:00:am

2nd International Workshop on Quantitative Aspects in Security Assurance (QASA 2013)
                      Affiliated with ESORICS 2013
                 (Sept. 12-13 2013 RHUL, Egham, U.K.)
                    

file

Automatic Abstraction for Verification of Cyber-Physical Systems

Verification of cyber-physical systems is complicated by both their heterogeneous nature as well as their sheer complexity. Cyber-physical systems include hardware, software, and physical  environment, so a formal model must integrate all of these concerns.
page

About the Portal

The CPS-VO Portal provides services and content for : (i) facilitating interaction and information exchange among CPS researchers across a broad range of institutions, programs and disciplines, (ii) sharing knowledge generated by CPS research with the broader engineering and scientific communities, sharing and integrating experimental tools, platforms and simulators among researchers and stakeholders, (iii) fostering collaboration and information exchange between CPS researchers and industry and (iv) helping international collaboration.

event

The 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2013)
Aug 19, 2013 12:00:pm - Aug 21, 2013 5:00:pm

The 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2013) will bring together researchers and developers from academia and industry for the advancing of the technology of embedded and real-time systems, and ubiquitous computing applications.

file

VC Evaluation of Cyber Security Proposals

Becky Bace is widely recognized as one of the most influential people in information security today. Her career includes roles in research, development, operational management, and strategy in settings ranging from the U.S. Intelligence Community (NSA) to a national laboratory (Los Alamos National Laboratory) to her current role as a strategic consultant in Silicon Valley. Ms.