| 2022 | ISSRE | Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems. | Doron Drusinsky, James Bret Michael, Matthew Litton |
| 2010 | GRC | Removing the Boundaries: Steps Toward a Cloud Nirvana. | Kevin D. Foster, John J. Shea, Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing |
| 2010 | RSP | Validating quality attribute requirements via execution-based model checking. | Doron Drusinsky, Man-tak Shing |
| 2009 | MODELS | Using UML Statecharts with Knowledge Logic Guards. | Doron Drusinsky, Man-tak Shing |
| 2007 | RSP | Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation. | Doron Drusinsky, Man-tak Shing |
| 2006 | RSP | Creation and Validation of Embedded Assertion Statecharts. | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir |
| 2005 | SMC | Creation and evaluation of formal specifications for system-of-systems development. | Doron Drusinsky, Man-tak Shing |
| 2005 | RSP | Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP. | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir |
| 2004 | RSP | TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions. | Doron Drusinsky, Man-tak Shing |
| 2003 | CAV | Monitoring Temporal Rules Combined with Time Series. | Doron Drusinsky |
| 2003 | RSP | Verification of Timing Properties in Rapid System Prototyping. | Doron Drusinsky, Man-tak Shing |
| 2003 | SEW | Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine. | Doron Drusinsky, Garth Watney |
| 1988 | CONCUR | On the Power of Cooperative Concurrency. | Doron Drusinsky, David Harel |