Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Science of Security VO
Home
Archive
About
Search
Calendar
Members
Contact Us
Forums
Files
CPS-VO
»
Science of Security VO
» UIUC
UIUC
biblio
Targeted Test Input Generation Using Symbolic-Concrete Backward Execution
Submitted by amyclay on Mon, 11/23/2015 - 6:30pm
Concolic; Symcretic; Backward Execution; Goal-Directed
UIUC
file
Targeted Test Input Generation Using Symbolic Concrete Backward Execution 1
Submitted by amyclay on Mon, 11/23/2015 - 6:09pm
Concolic; Symcretic; Backward Execution; Goal-Directed
UIUC
biblio
Targeted Test Input Generation using Symbolic-concrete Backward Execution
Submitted by amyclay on Mon, 11/23/2015 - 6:09pm
Concolic; Symcretic; Backward Execution; Goal-Directed
UIUC
file
Performance Evaluation of Sensor Networks by Statistical Modeling and Euclidean Model Checking
Submitted by amyclay on Mon, 11/23/2015 - 6:01pm
DTMC estimation
iLTL
networks
Performance
performance evaluation
Probabilistic Model Checking
Reliability
statistical testing
TDoA
verification
wireless sensor
UIUC
biblio
Performance Evaluation of Sensor Networks by Statistical Modeling and Euclidean Model Checking
Submitted by amyclay on Mon, 11/23/2015 - 6:01pm
DTMC estimation
iLTL
networks
Performance
performance evaluation
Probabilistic Model Checking
Reliability
statistical testing
TDoA
verification
wireless sensor
UIUC
file
Automated Inference of Atomic Sets for Safe Concurrent Execution
Submitted by amyclay on Mon, 11/23/2015 - 5:25pm
Atomic Sets
Data-Centric Synchronization
UIUC
biblio
Automated Inference of Atomic Sets for Safe Concurrent Execution
Submitted by amyclay on Mon, 11/23/2015 - 5:25pm
Atomic Sets
Data-Centric Synchronization
UIUC
biblio
Parameterized Concurrent Multi-Party Session Types
Submitted by amyclay on Mon, 11/23/2015 - 5:12pm
UIUC
file
Parameterized Concurren Multi-Party Session Types
Submitted by amyclay on Mon, 11/23/2015 - 5:12pm
UIUC
file
Simulation Debugging and Visualization in the Mobius Modeling Framework
Submitted by amyclay on Mon, 11/23/2015 - 5:04pm
UIUC
« first
‹ previous
…
28
29
30
31
32
33
34
35
36
…
next ›
last »
