Radu Negulescu

24 papers B 2C 1Journal 5Unranked 16
YearRankTypeTitle / Venue / Authors
2023 — conf
Using Z3 to Verify Inferences in Fragments of Linear Logic.
FROM
Alen Docef, Radu Negulescu, Mihai Prunescu
2006 J jnl
Semihiding operators and active-edge specification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Xiaohua Kong, Radu Negulescu
2004 — conf
Bolstering Faith in GasP Circuits through Formal Verification.
ASYNC
Xiaohua Kong, Radu Negulescu
2004 — conf
Duality for Three: Ternary Symmetry in Process Spaces.
Theory Is Forever
Janusz A. Brzozowski, Radu Negulescu
2004 — conf
General Testers for Asynchronous Circuits.
ASYNC
Radu Negulescu
2004 — conf
High-Speed Reduced Stack Dual Lock Circuits.
ASYNC
Nisrine Saadallah, Xiaohua Kong, Radu Negulescu
2003 B conf
Generic Transforms on Incomplete Specifications of Asynchronous Interfaces.
MFPS
Radu Negulescu
2003 J jnl
Refinement-based formal verification with heterogeneous timing.
Int. J. Softw. Tools Technol. Transf.
Xiaohua Kong, Radu Negulescu, Larry Weidong Ying
2002 — conf
A single-rail handshake CDMA correlator.
ICECS
Weiwen Zhu, Zeljko Zilic, Radu Negulescu
2001 C conf
Formal Verification of Peephole Optimizations in Asynchronous Circuits.
FORTE
Xiaohua Kong, Radu Negulescu
2001 — conf
Formal verification of pulse-mode asynchronous circuits.
ASP-DAC
Xiaohua Kong, Radu Negulescu
2001 — conf
Partial-Order Correctness-Preserving Properties of Delay-Insensitive Circuits.
ASYNC
Robert Berks, Radu Negulescu
2001 — conf
Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains in Systems on Chip.
CHARME
Xiaohua Kong, Radu Negulescu, Larry Weidong Ying
2001 — conf
Semi-Hiding Operators and the Analysis of Active-Edge Specifications for Digital Circuits.
ACSD
Radu Negulescu, Xiaohua Kong
2000 — conf
An asynchronous FIFO with fights: case study in speed optimization.
ICECS
Sébastien Laberge, Radu Negulescu
2000 J jnl
Automata of Asynchronous Behaviors.
Theor. Comput. Sci.
Janusz A. Brzozowski, Radu Negulescu
2000 — conf
Design of divergence-free protocol converters using supervisory control techniques.
ICECS
Hesham Hallal, Radu Negulescu, Alexandre Petrenko
2000 B conf
Process Spaces.
CONCUR
Radu Negulescu
1998 — conf
Event-Driven Verification of Switch-Level Correctness Concerns.
ACSD
Radu Negulescu
1998 J jnl
Relative Liveness: From Intuition to Automated Verification.
Formal Methods Syst. Des.
Radu Negulescu, Janusz A. Brzozowski
1998 — conf
Verification of Speed-Dependences in Single-Rail Handshake Circuits.
ASYNC
Radu Negulescu, Ad M. G. Peeters
1997 J jnl
A Characterization of Finite Ternary Algebras.
Int. J. Algebra Comput.
Janusz A. Brzozowski, J. J. Lou, Radu Negulescu
1997 — conf
Automata of Asynchronous Behaviors.
Workshop on Implementing Automata
Janusz A. Brzozowski, Radu Negulescu
1995 — conf
Relative liveness: from intuition to automated verification.
ASYNC
Radu Negulescu, Janusz A. Brzozowski