Searching for authors named "Doron Drusinsky" – sorted by Relevance.
-
On-line monitoring of metric temporal logic with time-series constraints using alternating finite automata
- Automata Doron Drusinsky (Naval Postgraduate School, Monterey, CA, USA ddrusins@(email omitted); and Time Rover, Inc
- Cited by 1 (0 self) – Add To MetaCart
-
Monitoring Temporal Rules Combined with Time Series
- Monitoring Temporal Rules Combined with Time Series Doron Drusinsky Naval Postgraduate School
- Cited by 18 (3 self) – Add To MetaCart
-
Execution-Based Model Checking of Interrupt-Based Systems
- . Execution-Based Model Checking of Interrupt-Based Systems Doron Drusinsky 1 Naval Postgraduate School
- Cited by 1 (0 self) – Add To MetaCart
-
On the Power of Bounded Concurrency I: Finite Automata
- On the Power of Bounded Concurrency I: Finite Automata DORON DRUSINSKY AND DAVID HAREL
- Cited by 25 (6 self) – Add To MetaCart
-
The Temporal Rover and the ATG Rover
- The Temporal Rover and the ATG Rover Doron Drusinsky Time-Rover, Inc. 11425 Charsan Ln., Cupertino
- Add To MetaCart
-
Rapid System Prototyping Creating and Validating Embedded Assertion Statecharts
- Society Rapid System Prototyping Creating and Validating Embedded Assertion Statecharts Doron Drusinsky
- Add To MetaCart

