| 2006 |
|---|
| 18 | EE | Xiaohua Kong,
Radu Negulescu:
Semihiding operators and active-edge specification.
IEEE Trans. on CAD of Integrated Circuits and Systems 25(9): 1831-1846 (2006) |
| 2004 |
|---|
| 17 | EE | Xiaohua Kong,
Radu Negulescu:
Bolstering Faith in GasP Circuits through Formal Verification.
ASYNC 2004: 113-124 |
| 16 | EE | Nisrine Saadallah,
Xiaohua Kong,
Radu Negulescu:
High-Speed Reduced Stack Dual Lock Circuits.
ASYNC 2004: 219-228 |
| 15 | EE | Radu Negulescu:
General Testers for Asynchronous Circuits.
ASYNC 2004: 28-38 |
| 14 | EE | Janusz A. Brzozowski,
Radu Negulescu:
Duality for Three: Ternary Symmetry in Process Spaces.
Theory Is Forever 2004: 1-14 |
| 2003 |
|---|
| 13 | EE | Xiaohua Kong,
Radu Negulescu,
Larry Weidong Ying:
Refinement-based formal verification with heterogeneous timing.
STTT 4(3): 359-370 (2003) |
| 2001 |
|---|
| 12 | EE | Radu Negulescu,
Xiaohua Kong:
Semi-Hiding Operators and the Analysis of Active-Edge Specifications for Digital Circuits.
ACSD 2001: 189- |
| 11 | EE | Xiaohua Kong,
Radu Negulescu:
Formal verification of pulse-mode asynchronous circuits.
ASP-DAC 2001: 347-352 |
| 10 | EE | Robert Berks,
Radu Negulescu:
Partial-Order Correctness-Preserving Properties of Delay-Insensitive Circuits.
ASYNC 2001: 74- |
| 9 | EE | Xiaohua Kong,
Radu Negulescu,
Larry Weidong Ying:
Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains in Systems on Chip.
CHARME 2001: 370-385 |
| 8 | | Xiaohua Kong,
Radu Negulescu:
Formal Verification of Peephole Optimizations in Asynchronous Circuits.
FORTE 2001: 219-234 |
| 2000 |
|---|
| 7 | EE | Radu Negulescu:
Process Spaces.
CONCUR 2000: 199-213 |
| 6 | EE | Janusz A. Brzozowski,
Radu Negulescu:
Automata of Asynchronous Behaviors.
Theor. Comput. Sci. 231(1): 113-128 (2000) |
| 1998 |
|---|
| 5 | EE | Radu Negulescu:
Event-Driven Verification of Switch-Level Correctness Concerns.
ACSD 1998: 213- |
| 4 | EE | Radu Negulescu,
Ad M. G. Peeters:
Verification of Speed-Dependences in Single-Rail Handshake Circuits.
ASYNC 1998: 159- |
| 3 | | Radu Negulescu,
Janusz A. Brzozowski:
Relative Liveness: From Intuition to Automated Verification.
Formal Methods in System Design 12(1): 73-115 (1998) |
| 1997 |
|---|
| 2 | | Janusz A. Brzozowski,
Radu Negulescu:
Automata of Asynchronous Behaviors.
Workshop on Implementing Automata 1997: 29-45 |
| 1995 |
|---|
| 1 | EE | Radu Negulescu,
Janusz A. Brzozowski:
Relative liveness: from intuition to automated verification.
ASYNC 1995: 108-117 |
