Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by C. R. Ramakrishnan
Using Statistical Model Checking for Measuring Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Verification of Interlocking Systems Using Statistical Model Checking
Automated Parameter Estimation for Biological Models Using Bayesian Statistical Model Checking
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
Coupling and Importance Sampling for Statistical Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extrapolation of an Optimal Policy Using Statistical Probabilistic Model Checking
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Statistical Model Checking of LLVM Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking
On-The-Fly Confluence Detection for Statistical Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Model Checking for Simply-Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Implicit-Invocation Systems
