On the Power of Cooperative Concurrency. - Doron Drusinsky; David Harel (Concurrency, 1988)

Using statecharts for hardware description and synthesis. - Doron Drusinsky; David Harel (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989)

Symbolic cover minimization of fully I/O specified finite state machines. - Doron Drusinsky-Yoresh (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990)

A state assignment procedure for single-block implementation of state charts. - Doron Drusinsky-Yoresh (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991)

Decision problems for interacting finite state machines. - Doron Drusinsky-Yoresh (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991)

On the Power of Bounded Concurrency I: Finite Automata. - Doron Drusinsky; David Harel (J. ACM, 1994)

The Temporal Rover and the ATG Rover. - Doron Drusinsky (SPIN, 2000)

Experiments with Test Case Generation and Runtime Analysis. - Cyrille Artho; Doron Drusinsky; Allen Goldberg; Klaus Havelund; Michael R. Lowry; Corina S. Pasareanu; Grigore Rosu; Willem Visser (Abstract State Machines, 2003)

Monitoring Temporal Rules Combined with Time Series. - Doron Drusinsky (CAV, 2003)

Verification of Timing Properties in Rapid System Prototyping. - Doron Drusinsky; Man-tak Shing (IEEE International Workshop on Rapid System Prototyping, 2003)

Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine. - Doron Drusinsky; Garth Watney (SEW, 2003)

Monitoring Temporal Logic Specifications Combined with Time Series Constraints. - Doron Drusinsky; Man-tak Shing (J. Univers. Comput. Sci., 2003)

Automatic Simulation of Network Problems in UDP-Based Java Programs Temporal Logic and Natural Language Conditioned Transitions. - Doron Drusinsky (IPDPS, 2004)

TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions. - Doron Drusinsky; Man-tak Shing (IEEE International Workshop on Rapid System Prototyping, 2004)

Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions. - Doron Drusinsky (RV@ETAPS, 2004)

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. - Guillaume P. Brat; Doron Drusinsky; Dimitra Giannakopoulou; Allen Goldberg; Klaus Havelund; Michael R. Lowry; Corina S. Pasareanu; Arnaud Venet; Willem Visser; Richard Washington (Formal Methods Syst. Des., 2004)

Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems. - Man-tak Shing; Doron Drusinsky (Monterey Workshop, 2005)

Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP. - Doron Drusinsky; Man-tak Shing; Kadir Alpaslan Demir (IEEE International Workshop on Rapid System Prototyping, 2005)

Creation and evaluation of formal specifications for system-of-systems development. - Doron Drusinsky; Man-tak Shing (SMC, 2005)

Modeling and verification using UML statecharts - a working guide to reactive system design, runtime monitoring and execution-based model checking. - Doron Drusinsky (Elsevier, 2006)

Creation and Validation of Embedded Assertion Statecharts. - Doron Drusinsky; Man-tak Shing; Kadir Alpaslan Demir (IEEE International Workshop on Rapid System Prototyping, 2006)

Quality assurance of the timing properties of real-time, reactive system-of-systems. - Man-tak Shing; Doron Drusinsky; Thomas S. Cook (SoSE, 2006)

On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata. - Doron Drusinsky (J. Univers. Comput. Sci., 2006)

A design pattern for using non-developmental items in real-time Java. - Thomas W. Otani; Mikhail Auguston; Thomas S. Cook; Doron Drusinsky; James Bret Michael; Man-tak Shing (JTRES, 2007)

Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation. - Doron Drusinsky; Man-tak Shing (IEEE International Workshop on Rapid System Prototyping, 2007)

Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors. - Thomas S. Cook; Doron Drusinsky; Man-tak Shing (SoSE, 2007)

Creating and Validating Embedded Assertion Statecharts. - Doron Drusinsky; Man-tak Shing; Kadir Alpaslan Demir (IEEE Distributed Syst. Online, 2007)

Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance. - Doron Drusinsky; James Bret Michael; Thomas W. Otani; Man-tak Shing (SSIRI, 2008)

From UML activity diagrams to specification requirements. - Doron Drusinsky (SoSE, 2008)

Integrating statechart assertions into Java components using AspectJ. - Doron Drusinsky; James Bret Michael; Thomas W. Otani; Man-tak Shing (SoSE, 2008)

A framework for computer-aided validation. - Doron Drusinsky; James Bret Michael; Man-tak Shing (Innov. Syst. Softw. Eng., 2008)

A Visual Tradeoff Space for Formal Verification and Validation Techniques. - Doron Drusinsky; James Bret Michael; Man-tak Shing (IEEE Syst. J., 2008)

Using UML Statecharts with Knowledge Logic Guards. - Doron Drusinsky; Man-tak Shing (MoDELS, 2009)

Guarding the guard: Using meta formal specifications to guard assertions. - Doron Drusinsky (SoSE, 2009)

TLtoSQL: Rapid post-mortem verification using temporal logic to SQL code generation in the Eclipse PDE. - Doron Drusinsky (SoSE, 2009)

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 (GrC, 2010)

Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring. - Miriam C. Bergue Alves; Doron Drusinsky; J. Bret Michael; Man-tak Shing (SoSE, 2011)

Putting order into the cloud: Object-oriented UML-based enforcement for document and application organization. - Doron Drusinsky; J. Bret Michael; Thomas W. Otani; Man-tak Shing (SoSE, 2011)

Rapid runtime system verification using automatic source code instrumentation. - Doron Drusinsky; J. Bret Michael; Man-tak Shing (SoSE, 2011)

Verification and Validation for Trustworthy Software Systems. - James Bret Michael; Doron Drusinsky; Thomas W. Otani; Man-tak Shing (IEEE Softw., 2011)

Runtime Verification of Systems with Hidden Information. - Doron Drusinsky (Infotech@Aerospace, 2012)

Behavioral and Temporal Pattern Detection within Financial Data with Hidden Information. - Doron Drusinsky (J. Univers. Comput. Sci., 2012)

Validating quality attribute requirements via execution-based model checking. - Doron Drusinsky; Man-tak Shing (Softw. Pract. Exp., 2012)

Behavioral and Temporal Rule Checking for Gaussian Random Process - a Kalman Filter Example. - Doron Drusinsky (J. Univers. Comput. Sci., 2013)

End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software. - Miriam C. Bergue Alves; Doron Drusinsky; James Bret Michael; Man-tak Shing (IEEE Syst. J., 2013)

Runtime monitoring and verification of systems with hidden information. - Doron Drusinsky (Innov. Syst. Softw. Eng., 2014)

Computer-aided discovery of formal specification behavioral requirements and requirement to implementation mappings. - Doron Drusinsky (Innov. Syst. Softw. Eng., 2014)

Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes. - Michael A. Schumann; Doron Drusinsky; James Bret Michael; Duminda Wijesekera (IEEE Trans. Software Eng., 2014)

Early detection of evolving system failures and temporal conflicts using parameterized formal specifications and bounded constraint-solving. - Doron Drusinsky (Innov. Syst. Softw. Eng., 2015)

Run-time monitoring using bounded constraint instance discovery within big data streams. - Doron Drusinsky (Innov. Syst. Softw. Eng., 2016)

Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data. - Doron Drusinsky (Innov. Syst. Softw. Eng., 2017)

Reverse engineering concurrent UML state machines using black box testing and genetic programming. - Doron Drusinsky (Innov. Syst. Softw. Eng., 2017)

Obtaining Trust in Executable Derivatives Using Crowdsourced Critiques With Blind Signatures. - Doron Drusinsky; James Bret Michael (Computer, 2020)

Open Questions in Formal Methods. - James Bret Michael; George W. Dinolt; Doron Drusinsky (Computer, 2020)

Who Is Authenticating My E-Commerce Logins? - Doron Drusinsky (Computer, 2021)

Multiagent Pathfinding Under Rigid, Optimization, and Uncertainty Constraints. - Doron Drusinsky; James Bret Michael (Computer, 2021)

Formal Verification of Cyberphysical Systems. - James Bret Michael; Doron Drusinsky; Duminda Wijesekera (Computer, 2021)

Formal Methods in Cyberphysical Systems. - James Bret Michael; Doron Drusinsky; Duminda Wijesekera (Computer, 2021)

Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems. - Doron Drusinsky; James Bret Michael; Matthew Litton (ISSRE Workshops, 2022)

Cryptographic-Biometric Self-Sovereign Personal Identities. - Doron Drusinsky (Computer, 2022)

On the High-Energy Consumption of Bitcoin Mining. - Doron Drusinsky (Computer, 2022)

Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties. - Doron Drusinsky; Matthew Litton; James Bret Michael (Computer, 2022)

Encrypting for Time- and/or Location-Based Decryption. - Doron Drusinsky (Computer, 2023)

Machine-Learned Verification and Advance Notice Oracles for Autonomous Systems. - Doron Drusinsky; Matthew Litton; James Bret Michael (Computer, 2023)

From P Versus NP to Probabilistic and Zero Knowledge Proof Systems. - Doron Drusinsky (Computer, 2024)

Machine-Learned Correctness Properties, Runtime Verification, and Advance-Warning Oracles for Autonomous Systems. - Matthew Litton; Doron Drusinsky; London Bridget; James Bret Michael (Computer, 2024)

Multiagent Aircraft Flight Route Planning in a 3D Threat-Contested Environment Using Cross-Entropy Search. - Christopher Bud Daniel; Doron Drusinsky; Loren E. Peitso (Computer, 2025)

Discovering Decision Manifolds to Assure Trusted Autonomous Systems. - Matthew Litton; Doron Drusinsky; James Bret Michael (IEEE Syst. J., 2025)