Searching for authors named Abhik Roychoudhury – sorted by Relevance.
50 documents found, showing 1 through 10.
Next 10 →
-
UML
- …Modeling Embedded Systems using UML Abhik Roychoudhury CS 4272 – Hardware Software Codesign Ack…
- Add To MetaCart
-
Program Transformations for Automated Verification of Parameterized Concurrent Systems
- ….D. Dissertation Proposal Abhik Roychoudhury Department of Computer Science, State University of New York at Stony…
- Add To MetaCart
-
Introducing model checking to undergraduates
- …Introducing Model Checking to Undergraduates Abhik Roychoudhury Department of Computer Science…
- Cited by 1 (0 self) – Add To MetaCart
-
Formal Reasoning about Hardware and Software Memory Models
- …Formal Reasoning about Hardware and Software Memory Models ? Abhik Roychoudhury Department…
- Add To MetaCart
-
Specifying Multithreaded Java Semantics for Program Verification
- …ABSTRACT Specifying Multithreaded Java Semantics for Program Verification Abhik Roychoudhury…
- Cited by 12 (3 self) – Add To MetaCart
-
Automated Inductive Verification of Parameterized Protocols
- …Automated Inductive Verication of Parameterized Protocols # Abhik Roychoudhury # and I…
- Cited by 5 (1 self) – Add To MetaCart
-
An Executable Specification Language Based on Message Sequence Charts
- …An Executable Specication Language Based on Message Sequence Charts Abhik Roychoudhury and P…
- Cited by 2 (1 self) – Add To MetaCart
-
Hierarchical dynamic slicing
- …ABSTRACT Hierarchical Dynamic Slicing Tao Wang Abhik Roychoudhury Department of Computer Science…
- Cited by 3 (0 self) – Add To MetaCart
-
Effects of Branch Prediction on Worst Case Execution Time of Programs
- … 1 Abhik Roychoudhury Department of Computer Science School of Computing National University…
- Cited by 3 (0 self) – Add To MetaCart
-
Justifying Proofs using Memo Tables
- …ABSTRACT Justifying Proofs using Memo Tables Abhik Roychoudhury Dept. of Computer Science SUNY…
- Cited by 12 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
