Doron Drusinsky

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 18

Top Topics

Hidden Information

Reverse Engineering

Security Analysis

Top Venues

Innov. Syst. Softw. Eng.

ISSRE Workshops

Publications

Matthew Litton, Doron Drusinsky, James Bret Michael
Continuous Assurance of Autonomous Vehicle Behavior Through Machine Learned Correctness Properties. CoRR (2024)
Doron Drusinsky
From P Versus NP to Probabilistic and Zero Knowledge Proof Systems. Computer 57 (4) (2024)
Doron Drusinsky, Matthew Litton, James Bret Michael
Machine-Learned Verification and Advance Notice Oracles for Autonomous Systems. Computer 56 (7) (2023)
Doron Drusinsky
Encrypting for Time- and/or Location-Based Decryption. Computer 56 (1) (2023)
Doron Drusinsky
On the High-Energy Consumption of Bitcoin Mining. Computer 55 (1) (2022)
Doron Drusinsky
Cryptographic-Biometric Self-Sovereign Personal Identities. Computer 55 (6) (2022)
Doron Drusinsky, Matthew Litton, James Bret Michael
Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties. Computer 55 (2) (2022)
Doron Drusinsky, James Bret Michael, Matthew Litton
Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems. ISSRE Workshops (2022)
Doron Drusinsky
Who Is Authenticating My E-Commerce Logins? Computer 54 (4) (2021)
James Bret Michael, Doron Drusinsky, Duminda Wijesekera
Formal Verification of Cyberphysical Systems. Computer 54 (9) (2021)
James Bret Michael, Doron Drusinsky, Duminda Wijesekera
Formal Methods in Cyberphysical Systems. Computer 54 (9) (2021)
Doron Drusinsky, James Bret Michael
Multiagent Pathfinding Under Rigid, Optimization, and Uncertainty Constraints. Computer 54 (7) (2021)
Doron Drusinsky, James Bret Michael
Obtaining Trust in Executable Derivatives Using Crowdsourced Critiques With Blind Signatures. Computer 53 (4) (2020)
James Bret Michael, George W. Dinolt, Doron Drusinsky
Open Questions in Formal Methods. Computer 53 (5) (2020)
Doron Drusinsky
Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data. Innov. Syst. Softw. Eng. 13 (1) (2017)
Doron Drusinsky
Reverse engineering concurrent UML state machines using black box testing and genetic programming. Innov. Syst. Softw. Eng. 13 (2-3) (2017)
Doron Drusinsky
Run-time monitoring using bounded constraint instance discovery within big data streams. Innov. Syst. Softw. Eng. 12 (2) (2016)
Doron Drusinsky
Early detection of evolving system failures and temporal conflicts using parameterized formal specifications and bounded constraint-solving. Innov. Syst. Softw. Eng. 11 (2) (2015)
Michael A. Schumann, Doron Drusinsky, James Bret Michael, Duminda Wijesekera
Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes. IEEE Trans. Software Eng. 40 (2) (2014)
Doron Drusinsky
Computer-aided discovery of formal specification behavioral requirements and requirement to implementation mappings. Innov. Syst. Softw. Eng. 10 (4) (2014)
Doron Drusinsky
Runtime monitoring and verification of systems with hidden information. Innov. Syst. Softw. Eng. 10 (2) (2014)
Doron Drusinsky
Behavioral and Temporal Rule Checking for Gaussian Random Process - a Kalman Filter Example. J. Univers. Comput. Sci. 19 (15) (2013)
Miriam C. Bergue Alves, Doron Drusinsky, James Bret Michael, Man-tak Shing
End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software. IEEE Syst. J. 7 (4) (2013)
Doron Drusinsky, Man-tak Shing
Validating quality attribute requirements via execution-based model checking. Softw. Pract. Exp. 42 (7) (2012)
Doron Drusinsky
Behavioral and Temporal Pattern Detection within Financial Data with Hidden Information. J. Univers. Comput. Sci. 18 (14) (2012)
Doron Drusinsky
Runtime Verification of Systems with Hidden Information. Infotech@Aerospace (2012)
Doron Drusinsky, J. Bret Michael, Thomas W. Otani, Man-tak Shing
Putting order into the cloud: Object-oriented UML-based enforcement for document and application organization. SoSE (2011)
Miriam C. Bergue Alves, Doron Drusinsky, J. Bret Michael, Man-tak Shing
Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring. SoSE (2011)
James Bret Michael, Doron Drusinsky, Thomas W. Otani, Man-tak Shing
Verification and Validation for Trustworthy Software Systems. IEEE Softw. 28 (6) (2011)
Doron Drusinsky, J. Bret Michael, Man-tak Shing
Rapid runtime system verification using automatic source code instrumentation. SoSE (2011)
Doron Drusinsky, Man-tak Shing
Validating quality attribute requirements via execution-based model checking. International Symposium on Rapid System Prototyping (2010)
Kevin D. Foster, John J. Shea, Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing
Removing the Boundaries: Steps Toward a Cloud Nirvana. GrC (2010)
Doron Drusinsky, Man-tak Shing
Using UML Statecharts with Knowledge Logic Guards. MoDELS (2009)
Doron Drusinsky
Guarding the guard: Using meta formal specifications to guard assertions. SoSE (2009)
Doron Drusinsky
TLtoSQL: Rapid post-mortem verification using temporal logic to SQL code generation in the Eclipse PDE. SoSE (2009)
Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing
Integrating statechart assertions into Java components using AspectJ. SoSE (2008)
Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing
Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance. SSIRI (2008)
Doron Drusinsky
From UML activity diagrams to specification requirements. SoSE (2008)
Doron Drusinsky, James Bret Michael, Man-tak Shing
A framework for computer-aided validation. Innov. Syst. Softw. Eng. 4 (2) (2008)
Doron Drusinsky, James Bret Michael, Man-tak Shing
A Visual Tradeoff Space for Formal Verification and Validation Techniques. IEEE Syst. J. 2 (4) (2008)
Thomas S. Cook, Doron Drusinsky, Man-tak Shing
Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors. SoSE (2007)
Thomas W. Otani, Mikhail Auguston, Thomas S. Cook, Doron Drusinsky, James Bret Michael, Man-tak Shing
A design pattern for using non-developmental items in real-time Java. JTRES (2007)
Doron Drusinsky, Man-tak Shing
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation. IEEE International Workshop on Rapid System Prototyping (2007)
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir
Creating and Validating Embedded Assertion Statecharts. IEEE Distributed Syst. Online 8 (5) (2007)
Doron Drusinsky
On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata. J. Univers. Comput. Sci. 12 (5) (2006)
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir
Creation and Validation of Embedded Assertion Statecharts. IEEE International Workshop on Rapid System Prototyping (2006)
Man-tak Shing, Doron Drusinsky, Thomas S. Cook
Quality assurance of the timing properties of real-time, reactive system-of-systems. SoSE (2006)
Doron Drusinsky, Man-tak Shing
Creation and evaluation of formal specifications for system-of-systems development. SMC (2005)
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir
Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP. IEEE International Workshop on Rapid System Prototyping (2005)
Man-tak Shing, Doron Drusinsky
Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems. Monterey Workshop (2005)
Doron Drusinsky
Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions. Electron. Notes Theor. Comput. Sci. 113 (2005)
Doron Drusinsky
Automatic Simulation of Network Problems in UDP-Based Java Programs Temporal Logic and Natural Language Conditioned Transitions. IPDPS (2004)
Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods Syst. Des. 25 (2-3) (2004)
Doron Drusinsky, Man-tak Shing
TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions. IEEE International Workshop on Rapid System Prototyping (2004)
Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser
Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines (2003)
Doron Drusinsky, Man-tak Shing
Monitoring Temporal Logic Specifications Combined with Time Series Constraints. J. Univers. Comput. Sci. 9 (11) (2003)
Doron Drusinsky, Garth Watney
Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine. SEW (2003)
Doron Drusinsky, Man-tak Shing
Verification of Timing Properties in Rapid System Prototyping. IEEE International Workshop on Rapid System Prototyping (2003)
Doron Drusinsky
Monitoring Temporal Rules Combined with Time Series. CAV (2003)
Doron Drusinsky
The Temporal Rover and the ATG Rover. SPIN (2000)
Doron Drusinsky, David Harel
On the Power of Bounded Concurrency I: Finite Automata. J. ACM 41 (3) (1994)
Doron Drusinsky, David Harel
Using statecharts for hardware description and synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8 (7) (1989)
Doron Drusinsky, David Harel
On the Power of Cooperative Concurrency. Concurrency (1988)