Browse

Author Profile

Browsing by Authority 257c60d0-d052-4e6c-8f97-022cf3676a09

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 2 of 2
  • OER000001013-1.pdf.jpg
  • Book

  • Computer Aided Verification. Part I

    • Authors : Lahiri, Shuvendu K. (2020)

  • AI Verification NNV: The Neural Network Verification Tool, Verification of Deep Convolutional Neural Networks Using ImageStars. An Abstraction-Based Framework for Neural Network Verification. Blockchain and Security The Move Prover, End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract. Concurrency Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems Refinement for Structured Concurrent Programs. Hardware Verification and Decis...
  • OER000001012-1.pdf.jpg
  • Book

  • Computer Aided Verification. Part II

    • Authors : Lahiri, Shuvendu K. (2020)

  • Model Checking Automata Tutor v3, Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization, RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft, Software Verification Code2Inv: A Deep Learning Framework for Program Verification. Stochastic Systems Maximum Causal Entropy Specification Inference from Demonstrations. Certifying Certainty and Uncertainty in Approximate Membership Query Structures. Synthesis Good-Enough Synthesis, Synthesizing JIT Compilers ...