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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Safe Coding
biblio
SafeCheck: Safety Enhancement of Java Unsafe API
Submitted by
grigby1
on Fri, 03/27/2020 - 11:29am
application program interfaces
bytecode
bytecode verification
collaboration
Computer bugs
dynamic analysis
Human behavior
Human Factors
Java
Java core library
Java runtime
Java unsafe API
JVM crash
Libraries
low- level system code
Memoey Safety
memory checker
Memory Protection
memory safety
Metrics
openJDK bug system
policy-based governance
program debugging
Programming Language
pubcrawl
resilience
Resiliency
Runtime
Safe Coding
Safety
safety enhancement
security of data
storage management
tools
unsafe crash patterns
biblio
Smarter Smart Contract Development Tools
Submitted by
grigby1
on Fri, 03/27/2020 - 11:29am
blockchain
blockchain environments
blockchain platforms
blockchain software development tools
blockchain software engineering tool set
buggy code
collaboration
Computer bugs
Computer languages
contracts
Human behavior
Human Factors
Metrics
policy-based governance
program compilers
program debugging
Programming Language
pubcrawl
resilience
Resiliency
Safe Coding
security of data
security vulnerabilities
smart contracts
smarter smart contract development
Software
software engineering
software tools
tools
usability of programming languages
biblio
Design of Software Rejuvenation for CPS Security Using Invariant Sets
Submitted by
grigby1
on Fri, 03/27/2020 - 11:28am
collaboration
control engineering computing
control-theoretic perspective
CPS Security
Cyber Attacks
cyber-physical systems
Data protection
Human behavior
Human Factors
invariance
invariant sets
Lyapunov function
Lyapunov methods
malicious modifications
Metrics
online software
policy-based governance
pubcrawl
quadrotor system
resilience
Resiliency
run-time code
run-time system
Safe Coding
security of data
software engineering
software rejuvenation design
biblio
HyperPS: A Hypervisor Monitoring Approach Based on Privilege Separation
Submitted by
grigby1
on Fri, 03/27/2020 - 11:28am
Cloud Computing
cloud environment
collaboration
guest virtual machine security
Human behavior
Human Factors
HyperPS
hypervisor monitoring
hypervisor security
Kernel
KVM hypervisor
Linux
Logic gates
Metrics
microhypervisor reducing attack surface
Monitoring
monolithic operating system
operating system kernels
policy-based governance
privilege separation
pubcrawl
Registers
resilience
Resiliency
Safe Coding
security
security of data
security-sensitive system resources
system monitoring
system software error
Trusted Computing
trusted environment
Virtual machine monitors
virtual machines
Virtualization
biblio
An Advance Cryptographic Solutions in Cloud Computing Security
Submitted by
grigby1
on Fri, 03/27/2020 - 11:28am
access management
biometric
biometric coding
biometric knowledge
biometrics (access control)
Ciphers
Cloud Computing
cloud computing security
collaboration
computer security
Cryptography
encoding
Fingerprint recognition
Human behavior
Human Factors
identification mechanism
information management
innovative safe cloud computing design
Metrics
policy-based governance
pubcrawl
resilience
Resiliency
Safe Coding
Safety
Virtualization
biblio
Critical Quality Factors for Rapid, Scalable, Agile Development
Submitted by
grigby1
on Fri, 03/27/2020 - 11:28am
2-week sprints
Agile development
agile methods
agile projects
capability releases
collaboration
common critical quality factors
computer architecture
critical quality factors
daily standup meetings
DP management
executable architecture research project
Games
high-quality development
Human behavior
Human Factors
knowledge management
Metrics
parallel agile
policy-based governance
project management
pubcrawl
Q-factor
quality requirements
resilience
Resiliency
Safe Coding
safe system
Safety
scalalble agile
Schedules
secure system
security
shared tacit knowledge
Software
software architectures
software development management
software processes
software quality
team working
Unified modeling language
unsecurable agile code
user-developer misunderstandings
biblio
A Secure Blockchain-Based Group Mobility Management Scheme in VANETs
Submitted by
grigby1
on Fri, 03/27/2020 - 11:28am
authentication
blockchain
collaboration
Distributed Mobility Management
distributed mobility management protocol
DMM solutions
frequent handovers
group communication scenario
Handover
handover authentication
high mobility
Human behavior
Human Factors
message authentication
Metrics
mobility management (mobile radio)
network architecture
network entities
next generation mobile network
policy-based governance
Protocols
pubcrawl
resilience
Resiliency
Safe Coding
safe transportation
secure blockchain-based group mobility management scheme
secure group mobility management scheme
security
Security analysis
security functionalities
significant overload
smooth handovers
telecommunication security
VANET
VANETs
vehicular ad hoc networks
Vehicular Ad-hoc Network
biblio
Grid Code Compliant Modeling and Control of Modular Multilevel Converters during Unbalanced Faults
Submitted by
grigby1
on Fri, 03/27/2020 - 11:27am
Balancing Control
collaboration
Converter Control Design
Decoupled Double Synchronous Reference Frame - Phase-Locked-Loop
Decoupled Double Synchronous Reference Frame-Current Control
electric current control
fast fault injection
fault current injection
Fault-Ride-Through capability
Fault-Ride-Through Capability (FRT)
German Technical Connection Rules
grid code compliant modeling
Grid Codes
grid currents
grid voltage
High Voltage Direct Current (HVDC)
horizontal balancing control
Human behavior
Human Factors
HVDC converters
HVDC power convertors
HVDC power transmission
Metrics
Modular Multilevel Converter (MMC)
modular multilevel converter control
Phase locked loops
policy-based governance
power convertors
power generation faults
power grids
power system control
pubcrawl
resilience
Resiliency
Safe Coding
Technical Connection Rules (TCR)
unbalanced faults
biblio
Reinforcement Learning for Robotic Safe Control with Force Sensing
Submitted by
grigby1
on Fri, 03/27/2020 - 11:27am
collaboration
control engineering computing
force sensation
force sensing
force sensors
force-based reinforcement learning method
hand-coded methods
haptic interfaces
haptic perception
Human behavior
Human Factors
human-robot interaction
learning (artificial intelligence)
manipulators
Metrics
mobile robots
motion control
policy-based governance
pubcrawl
resilience
Resiliency
robotic dynamic control
robotic safe control
Safe Coding
tactile sensors
tactual sensation
biblio
Resilient Reorder Buffer Design for Network-on-Chip
Submitted by
grigby1
on Fri, 03/27/2020 - 11:27am
area efficient safe design techniques
buffer circuits
collaboration
control logic function
Diagnostic Coverage requirement
error correction codes
error detection
error detection code
error detection codes
fault tolerance
Fault tolerant systems
high performance computing systems
Human behavior
Human Factors
Industries
integrated circuit design
invariance checking
logic design
Metrics
Network interfaces
network-on-chip
Network-on-Chip Advanced eXtensible Interface Network Interface block
parallel processing
policy-based governance
pubcrawl
random control logic
Registers
Reorder Buffer
resilience
Resiliency
resilient Reorder buffer design
Safe Coding
safe control logic design
safe ROB design
Safety
Table lookup
1
2
3
next ›
last »
