Searching for authors named "Doron Drusinsky" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
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
Showing 1 through 6.
