Who's Who in
Engineering Academia

Doron Drusinsky

Academic Title: Associate Professor

Name: Doron Drusinsky

 

Department: Computer Science

Department Website:

Institution: Naval Postgraduate School

 

Address: 1 University Circle
Monterey, California 93943

 

Highest Degree:

Date of Degree:

Degree Institution:

 

E-mail: Contact by e-mail?

 

Expertise: Harel statecharts, UML
Verification
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
Visualization
Programming Applications of Formal Methods
Knowledge models
Temporal Intrusion Pattern Detection

 

---

Start A New Search

If you are a faculty member and are not presently included in our Who's Who in Academia, you may submit a request to be added.

If you are currently included in our database and have previously established an account, you can update any of the information shown in your record.