NPS - Faculty Profiles - Heading

Faculty Profile Directory

Welcome to the NPS Faculty Profile directory. Use the form below to search the NPS faculty profiles. All NPS Faculty may update their profiles by logging into FAIRS.

Back to Search

Doron Drusinsky

Phone: (831) 656-2168
Other Experience
  • 2000 - 2002 Consultant, Xerox Palo Alto Research Center, DHL
  • 1999 President, Time Rover, Inc.
  • 1997 - 1999 Software architect, BetterState product, Integrated Systems Inc. (ISI)
  • 1992 - 1997 President, R-Active Concepts, Inc.
Research Interests
Harel statecharts, UML
Formal Methods
Software Testing
Run time Verification
Temporal Pattern Matching
Automatic Test Generation
Real Time Model Checking
Real Time, Low Impact, On-line business rule and security checking
Temporal Logic, Metric Temporal Logic
Probabilistic Temporal Logic
Extended Regular Expressions
Programming Applications of Formal Methods
Knowledge models
Temporal Intrusion Pattern Detection
Teaching Interests
Algorithms and Automata Theory
Model Checking and Run Time Verification of Safety Critical Systems Principles of Software Design
Principles of Programming Languages
Introduction to Software Engineering


  • 1988 - Gad Reshef Award, Weizmann Institute of Science, Statecharts