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
formal verification
biblio
Reducing Crash Recoverability to Reachability
Submitted by grigby1 on Tue, 05/16/2017 - 12:43pm
Crash recovery
formal verification
program analysis
pubcrawl
Resiliency
System recovery
biblio
"Applying Formal Methods to Networking: Theory, Techniques, and Applications"
Submitted by grigby1 on Tue, 02/21/2017 - 12:11pm
Internet community
Tutorials
software defined networking
Software
SDN
pubcrawl170103
Protocols
networking protocols
network infrastructure
Mathematics
Internet culture
applying formal methods
Internet architecture
internet
formal verification
formal specifications
formal correctness
Computers
computer networks
Communities
clean slate Internet design
file
Bagheri_COVERT_DG.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 2:26pm
android
CMU
formal verification
Inter-App vulnerabilities
Jan'16
static analysis
file
Bagheri_Titanium_DG.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 11:42am
CMU
Evolving Software
formal verification
Jan'17
Oct'16
Partial Models
Relational Logic
biblio
Titanium: Efficient Analysis of Evolving Alloy Specifications
Submitted by Jamie Presken on Tue, 12/06/2016 - 11:39am
CMU
Evolving Software
formal verification
Jan'17
Oct'16
Partial Models
Relational Logic
CMU
Jan'17
file
Shen_Sequence_Diagram_TB.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:36pm
CMU
formal verification
HIPAA
July'16
Privacy Policy
sequence diagram
Temporal Logic
biblio
Sequence Diagram Aided Privacy Policy Specification
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:36pm
CMU
formal verification
HIPAA
July'16
Privacy Policy
sequence diagram
Temporal Logic
CMU
July'16
biblio
COVERT: Compositional Analysis of Android Inter-App Permission Leakage
Submitted by Jamie Presken on Mon, 02/15/2016 - 1:00pm
android
CMU
formal verification
Inter-App vulnerabilities
Jan'16
static analysis
CMU
Jan'16
file
Verification of Decision Procedures Modeled in Intelligent Agents
Submitted by akarns on Fri, 01/29/2016 - 12:50pm. Contributors:
Siddhartha Bhattacharyya
Marco M. Carvalho
Jennifer Davis
Tom C. Eskridge
Abstract:
Validation and Verification
Foundations
formal verification
Intelligent Agents
Cognitive Architecture
High Confidence Software and Systems Conference 2016
Poster
Posters
HCSS'16
HCSS'16 Poster Session
file
Safety-Constrained Reinforcement Learning for MDPs
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributor:
Nils Jansen
Presented as part of the
2016 HCSS conference
.
Modeling
Validation and Verification
Foundations
Controller Synthesis
formal verification
Markov Models
MILP
SMT
University of Texas
High Confidence Software and Systems Conference 2016
Academia
Presentation
« first
‹ previous
…
10
11
12
13
14
15
16
17
18
next ›
last »
