159 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
This paper proposes a novel approach to program reliability analysis leveraging concepts and techniques from information theory. Traditional program reliability methods often rely on empirical testing and statistical modeling, which can be computationally expensive and may not fully capture the inherent uncertainty and...
This paper presents a novel approach to formally verifying hardware-software co-design using temporal logic. Traditional verification methods often struggle to account for the intricate, time-dependent interactions inherent in these systems. We propose a methodology centered around constructing a formal model of the co...
This paper proposes a novel approach to program error detection and repair based on information entropy. Traditional methods for detecting and fixing program errors often rely on static analysis or dynamic testing, which can be limited in their ability to identify and resolve complex errors. This research introduces a...
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
