Search
Now showing items 1-2 of 2
Runtime verification of internet of things using complex-event processing (RECEP)
(2018-06)
Increase in the computing power and memory accompanied with decreasing architectural footprints has enabled conquering new frontiers in proliferation of technology in the next industry revolution. More autonomous systems ...
Extending static analysis with application-specific rules by analyzing runtime execution traces
(2016-07)
Static code analysis tools can generate alerts regarding only generic issues such as uninitialized variables. They cannot detect violations of application-speci c rules. Tools can be extended with specialized checkers that ...
Share this page