Doron Drusinsky

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