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
software engineering
biblio
Scalable Quantitative Verification for Deep Neural Networks
Submitted by grigby1 on Tue, 03/15/2022 - 11:11am
tools
Neural networks
pubcrawl
resilience
Resiliency
Scalability
Metrics
Compositionality
Probabilistic logic
testing
Robustness
software engineering
deep-neural-networks
probabilistic
quantitative-verification
scalable verification
biblio
Analysis of Data Transforming Technology for Malware Detection
Submitted by grigby1 on Mon, 02/07/2022 - 3:45pm
malware
malicious script
GBM
detection rate
data conversion
Malware Analysis
learning (artificial intelligence)
software engineering
Training data
privacy
Resiliency
resilience
Metrics
Human behavior
pubcrawl
machine learning
deep learning
biblio
System Component-Level Self-Adaptations for Security via Bayesian Games
Submitted by aekwall on Fri, 02/04/2022 - 9:34am
Computing Theory
resilience
Bayes methods
Bayesian game
composability
Computational modeling
Games
Metrics
object oriented security
pubcrawl
Resiliency
security
Self-Adaptation
software engineering
system analysis and design
Systems architecture
biblio
Exploring the Efficiency of Self-Organizing Software Teams with Game Theory
Submitted by aekwall on Mon, 01/31/2022 - 3:32pm
Measurement
Task Analysis
Software
Human Factors
pubcrawl
Scalability
Resiliency
game theory
Adaptation models
software engineering
self organizing teams
Solids
work factor metrics
biblio
How Experience Impacts Practitioners' Perception of Causes and Effects of Technical Debt
Submitted by aekwall on Mon, 01/31/2022 - 3:31pm
Conferences
Human Factors
InsighTD
level of experience
Planning
pubcrawl
Resiliency
Scalability
Software
software engineering
technical debt
technical debt causes
technical debt effects
work factor metrics
biblio
White-Box Analysis over Machine Learning: Modeling Performance of Configurable Systems
Submitted by aekwall on Mon, 01/31/2022 - 3:11pm
Analytical models
Buildings
Compositionality
composability
Current measurement
dynamic analysis
machine learning
Metrics
Open Source Software
Performance influence modeling
pubcrawl
Resiliency
Software configuration
software engineering
Stakeholders
White Box Security
biblio
Methodological Proposal for the development of Computerized Educational Materials based on Augmented Reality
Submitted by grigby1 on Tue, 01/25/2022 - 2:24pm
privacy
pubcrawl
Human behavior
resilience
Resiliency
Scalability
computer science
Proposals
Systematics
augmented reality
Computerized Educational Material
methodology
software engineering
biblio
If It's Not Secure, It Should Not Compile: Preventing DOM-Based XSS in Large-Scale Web Development with API Hardening
Submitted by grigby1 on Mon, 12/20/2021 - 10:28am
language based security
Writing
web security
testing
software engineering
Software
security
Resiliency
resilience
pubcrawl
API
encoding
Empirical Software Engineering
cross-site scripting
Compositionality
composability
Application Programming Interface (API)
application program interfaces
Application program interface
APIs
biblio
Revealing Injection Vulnerabilities by Leveraging Existing Tests
Submitted by grigby1 on Mon, 11/29/2021 - 1:30pm
Benchmark testing
composability
injection attacks
Metrics
Open Source Software
Pathology
Production
pubcrawl
software engineering
static analysis
taint analysis
taint tracking
Test pattern generators
vulnerability testing
biblio
Scaling Application-Level Dynamic Taint Analysis to Enterprise-Scale Distributed Systems
Submitted by grigby1 on Mon, 11/29/2021 - 1:27pm
Complexity theory
composability
distributed systems
dynamic taint analysis
faces
Metrics
new bugs
pubcrawl
Scalability
software engineering
software tools
static analysis
taint analysis
tools
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
