UB Paderborn / Katalog / Suche / in CDI

Modeling and Verification Using UML Statecharts

Doron Drusinsky

2011

Volltextzugriff (PDF)

From P Versus NP to Probabilistic and Zero Knowledge Proof Systems

Computer (Long Beach, Calif.), 2024-04, Vol.57 (4), p.119-130

Drusinsky, Doron

2024

Volltextzugriff (PDF)

Forming Adversarial Example Attacks Against Deep Neural Networks With Reinforcement Learning

Computer (Long Beach, Calif.), 2024-01, Vol.57 (1), p.88-99

2024

Volltextzugriff (PDF)

Encrypting for Time- and/or Location-Based Decryption

Computer (Long Beach, Calif.), 2023-01, Vol.56 (1), p.102-110

Drusinsky, Doron

2023

Volltextzugriff (PDF)

Elliptic Curve Pairings

Computer (Long Beach, Calif.), 2022-04, Vol.55 (4), p.74-77

2022

Volltextzugriff (PDF)

On the High-Energy Consumption of Bitcoin Mining

Computer (Long Beach, Calif.), 2022-01, Vol.55 (1), p.88-93

Drusinsky, Doron

2022

Volltextzugriff (PDF)

Who Is Authenticating My E-Commerce Logins?

Computer (Long Beach, Calif.), 2021-04, Vol.54 (4), p.49-54

Drusinsky, Doron

2021

Volltextzugriff (PDF)

Algorithms for Artificial Intelligence

Computer (Long Beach, Calif.), 2022-07, Vol.55 (7), p.97-102

2022

Volltextzugriff (PDF)

Cryptographic-Biometric Self-Sovereign Personal Identities

Computer (Long Beach, Calif.), 2022-06, Vol.55 (6), p.96-102

2022

Volltextzugriff (PDF)

Multiagent Pathfinding Under Rigid, Optimization, and Uncertainty Constraints

Computer (Long Beach, Calif.), 2021-07, Vol.54 (7), p.111-118

2021

Volltextzugriff (PDF)

Machine-Learned Verification and Advance Notice Oracles for Autonomous Systems

Computer (Long Beach, Calif.), 2023-07, Vol.56 (7), p.121-130

2023

Volltextzugriff (PDF)

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

Drusinsky, Doron

1, 2011

Volltextzugriff (PDF)

One Algorithm to Rule Them All: On the Changing Roles of Humans in Data Integration

Computer (Long Beach, Calif.), 2023-04, Vol.56 (4), p.102-109

2023

Volltextzugriff (PDF)

Obtaining Trust in Executable Derivatives Using Crowdsourced Critiques With Blind Signatures

Computer (Long Beach, Calif.), 2020-04, Vol.53 (4), p.51-56

2020

Volltextzugriff (PDF)

Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems

Computer (Long Beach, Calif.), 2022-10, Vol.55 (10), p.88-93

2022

Volltextzugriff (PDF)

Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties

Computer (Long Beach, Calif.), 2022-02, Vol.55 (2), p.102-108

2022

Volltextzugriff (PDF)

Formal Methods in Cyberphysical Systems

Computer (Long Beach, Calif.), 2021-09, Vol.54 (9), p.25-29

2021

Volltextzugriff (PDF)

Formal Verification of Cyberphysical Systems

Computer (Long Beach, Calif.), 2021-09, Vol.54 (9), p.15-24

2021

Volltextzugriff (PDF)

From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design

Computer (Long Beach, Calif.), 2024-07, Vol.57 (7), p.113-119

2024

Volltextzugriff (PDF)

Reverse engineering concurrent UML state machines using black box testing and genetic programming

Innovations in systems and software engineering, 2017-09, Vol.13 (2-3), p.117-128

Drusinsky, Doron

2017

Volltextzugriff (PDF)

An Overview and Concerns Related to Quantum Cryptanalysis: Past, Present, and Future

Computer (Long Beach, Calif.), 2023-10, Vol.56 (10), p.86-92

2023

Volltextzugriff (PDF)

Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data

Innovations in systems and software engineering, 2017-03, Vol.13 (1), p.67-79

Drusinsky, Doron

2017

Volltextzugriff (PDF)

Open Questions in Formal Methods

Computer (Long Beach, Calif.), 2020-05, Vol.53 (5), p.81-84

2020

Volltextzugriff (PDF)

Run-time monitoring using bounded constraint instance discovery within big data streams

Innovations in systems and software engineering, 2016-06, Vol.12 (2), p.141-151

Drusinsky, Doron

2016

Volltextzugriff (PDF)

Early detection of evolving system failures and temporal conflicts using parameterized formal specifications and bounded constraint-solving

Innovations in systems and software engineering, 2015-06, Vol.11 (2), p.143-152

Drusinsky, Doron

2015

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Modeling and Verification Using UML Statecharts

From P Versus NP to Probabilistic and Zero Knowledge Proof Systems

Forming Adversarial Example Attacks Against Deep Neural Networks With Reinforcement Learning

Encrypting for Time- and/or Location-Based Decryption

Elliptic Curve Pairings

On the High-Energy Consumption of Bitcoin Mining

Who Is Authenticating My E-Commerce Logins?

Algorithms for Artificial Intelligence

Cryptographic-Biometric Self-Sovereign Personal Identities

Multiagent Pathfinding Under Rigid, Optimization, and Uncertainty Constraints

Machine-Learned Verification and Advance Notice Oracles for Autonomous Systems

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

One Algorithm to Rule Them All: On the Changing Roles of Humans in Data Integration

Obtaining Trust in Executable Derivatives Using Crowdsourced Critiques With Blind Signatures

Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems

Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties

Formal Methods in Cyberphysical Systems

Formal Verification of Cyberphysical Systems

From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design

Reverse engineering concurrent UML state machines using black box testing and genetic programming

An Overview and Concerns Related to Quantum Cryptanalysis: Past, Present, and Future

Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data

Open Questions in Formal Methods

Run-time monitoring using bounded constraint instance discovery within big data streams

Early detection of evolving system failures and temporal conflicts using parameterized formal specifications and bounded constraint-solving

Suchergebnisse filtern