Doron Drusinsky

Using statecharts for hardware description and synthesis

Doron Drusinsky, David Harel · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1989 · 165 citations

Engineering, Computer Engineering, Computer Science +17

On the power of bounded concurrency I

Doron Drusinsky, David Harel · Journal of the ACM · 1994 · 101 citations · Full text

Computing, Computer Science, Computer Systems +17

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Guillaume Brat, Doron Drusinsky, Dimitra Giannakopoulou et al. · Formal Methods in System Design · 2004 · 85 citations

Engineering, Aerospace Engineering, Autonomous Systems +16

A Visual Tradeoff Space for Formal Verification and Validation Techniques

Doron Drusinsky, James Bret Michael, Man‐Tak Shing · IEEE Systems Journal · 2008 · 29 citations

Computing, Computer Science, Formal Methods +16

Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions

Doron Drusinsky · Electronic Notes in Theoretical Computer Science · 2005 · 25 citations · Full text

Computing, Computer Engineering, Computer Science +17