Concepedia

Hanumanthrao Kannan

HK

9

Publications

183

Citations

9

H-Index

2014

Active since

Affiliations

Iowa State University(Current)

University of Alabama in Huntsville

Hanumanthrao Kannan is an author at Iowa State University specializing in engineering, systems engineering, and design.

Top concepts

EngineeringDesignSystems EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceSoftware AnalysisAutomated ReasoningFormal Verification

Publications per year

2014–2019

9

Publications

9

A mathematical model of verification strategies

Alejandro Salado, Hanumanthrao Kannan · Systems Engineering · 2018 · 41 citations

Engineering, Verification, Computer-aided Verification +20

Elemental patterns of verification strategies

Alejandro Salado, Hanumanthrao Kannan · Systems Engineering · 2019 · 34 citations · Full text

Engineering, Verification, Computer-aided Verification +17

Increased System Consistency through Incorporation of Coupling in Value‐Based Systems Engineering

Hanumanthrao Kannan, Bryan Mesmer, Christina Bloebaum · Systems Engineering · 2017 · 24 citations

Properties of the Utility of Verification

Alejandro Salado, Hanumanthrao Kannan · 2018 · 19 citations

Engineering, Verification, Software Engineering +18

A Game Theory approach to Bargaining over Attributes of Complex Systems in the context of Value-Driven Design

Garima Bhatia, Hanumanthrao Kannan, Christina Bloebaum · 54th AIAA Aerospace Sciences Meeting · 2016 · 16 citations

Negotiation, Value-driven Design, Mechanism Design +15

Rows per page

1–5 of 9