Search
Now showing items 1-3 of 3
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 ...
Automated maintenance support for data-tier software
Data-tier software includes the data model and business logic of enterprise systems, and it is subject to long-term maintenance. Even though the user interface of these systems can be completely replaced, data-tier software ...
Share this page