Modeling and Verification Using UML Statecharts von Doron Drusinsky

Volltext

From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design von Bordis, Tabea, Kodetzki, Maximilian, Schaefer, Ina, Drusinsky, Doron

Volltext

Machine-Learned Verification and Advance Notice Oracles for Autonomous Systems von Drusinsky, Doron, Litton, Matthew, Michael, James Bret, Drusinsky, Doron

Volltext

From P Versus NP to Probabilistic and Zero Knowledge Proof Systems von Drusinsky, Doron, Drusinsky, Doron

Volltext

Forming Adversarial Example Attacks Against Deep Neural Networks With Reinforcement Learning von Akers, Matthew, Barton, Armon, Drusinsky, Doron

Volltext

An Overview and Concerns Related to Quantum Cryptanalysis: Past, Present, and Future von Maitra, Subhamoy, Stanica, Pantelimon, Drusinsky, Doron

Volltext

One Algorithm to Rule Them All: On the Changing Roles of Humans in Data Integration von Shraga, Roee, Gal, Avigdor, Drusinsky, Doron

Volltext

Encrypting for Time- and/or Location-Based Decryption von Drusinsky, Doron

Volltext

Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems von Mitra, Sayan, Sibai, Hussein, Drusinsky, Doron

Volltext

Algorithms for Artificial Intelligence von Rowe, Neil C., Drusinsky, Doron

Volltext

On the High-Energy Consumption of Bitcoin Mining von Drusinsky, Doron, Drusinsky, Doron

Volltext

Elliptic Curve Pairings von Fitzgerald, Joshua Brian, Drusinsky, Doron

Volltext

Who Is Authenticating My E-Commerce Logins? von Drusinsky, Doron

Volltext

Cryptographic-Biometric Self-Sovereign Personal Identities von Drusinsky, Doron, Michael, James Bret

Volltext

Modeling Flow-Arrest Transitions in Granular Media von Clark, Abram H., Srivastava, Ishan, Drusinsky, Doron

Volltext

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

Volltext

Formal Methods in Cyberphysical Systems von Michael, James Bret, Drusinsky, Doron, Wijesekera, Duminda

Volltext

Formal Verification of Cyberphysical Systems von Michael, James Bret, Drusinsky, Doron, Wijesekera, Duminda

Volltext

Machine-Learned Correctness Properties, Runtime Verification, and Advance-Warning Oracles for Autonomous Systems von Litton, Matthew, Drusinsky, Doron, Bridget, London, Michael, James Bret, Drusinsky, Doron

Volltext

Reverse engineering concurrent UML state machines using black box testing and genetic programming von Drusinsky, Doron

Volltext