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
CMU
file
Caires_Behavioral_Polymorphism_FP.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:27am
CMU
biblio
Behavioral Polymorphism and Parametricity in Session-Based Communication
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:27am
CMU
CMU
file
Abi-Antoun_Object_Graphs.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:20am
CMU
corpus analysis; object-oriented metrics; points-to analysis; heap abstractions
Oct'14
biblio
Are Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code? Extended Version
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:17am
CMU
corpus analysis; object-oriented metrics; points-to analysis; heap abstractions
Oct'14
CMU
Oct'14
file
Ahmad_A_Epistemic_Formulation_RH.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:11am
CMU
July'15
security; non-interference; authorized declassi- fication; epistemic logic
biblio
An Epistemic Formulation of Information Flow Analysis
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:11am
CMU
July'15
security; non-interference; authorized declassi- fication; epistemic logic
CMU
July'15
file
Zawadzki_Generalization_SAT_AP.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:02am
#SAT
CMU
counting
July'14
policy evaluation
quantifier alternation
satisfiability
file
Zawadzki_Projection_Algorithm_AP.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:01am
CMU
biblio
A projection algorithm for strictly monotone linear complementarity problems
Submitted by Jamie Presken on Mon, 12/05/2016 - 8:59am
CMU
CMU
biblio
A Generalization of SAT and #SAT for Robust Policy Evaluation
Submitted by Jamie Presken on Mon, 12/05/2016 - 8:51am
#SAT
CMU
counting
July'14
policy evaluation
quantifier alternation
satisfiability
CMU
July'14
« first
‹ previous
…
25
26
27
28
29
30
31
32
33
next ›
last »
