Concepedia

Hitashyam Maka

HM

Statistics

Publications

2

Citations

33

H-Index

2

Active since

2008

Affiliations

Carnegie Mellon University(Current)

Hitashyam Maka is an author at Carnegie Mellon University specializing in formal methods, control systems, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsControl SystemsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringComputer Engineering

Publications per year

2008–2008

2

Publications

2

Model checking in-the-loop: Finding counterexamples by systematic simulation

Flavio Lerda, James Kapinski, Hitashyam Maka et al. · 2008 · 19 citations

Engineering, Verification, Computer-aided Verification +19

Control software model checking using bisimulation functions for nonlinear systems

James Kapinski, Alexandre Donzé, Flavio Lerda et al. · 2008 · 14 citations

Bisimulation Functions, Engineering, Verification +17

1–2 of 2