Concepedia

Krishna M. Kavi

KM

5

Publications

162

Citations

5

H-Index

1992

Active since

Affiliations

The University of Texas at Arlington(Current)

University of Alabama in Huntsville

University of North Texas

Krishna M. Kavi is an author at The University of Texas at Arlington specializing in computer science, software engineering, and engineering.

Top concepts

EngineeringComputer ScienceSoftware EngineeringFormal MethodsSoftware DesignSystem SoftwareSoftware SystemsSoftware AnalysisProgram AnalysisSoftware Testing

Publications per year

1992–2003

5

Publications

5

Parallelism in object-oriented languages: a survey

B.B. Wyatt, Krishna M. Kavi, S. Hufnagel · IEEE Software · 1992 · 52 citations

Engineering, Object-oriented Modeling, Software Systems +24

Modeling Multithreaded Applications Using Petri Nets

Krishna M. Kavi, Alireza Moshtaghi, Deng‐Jyi Chen · International Journal of Parallel Programming · 2002 · 43 citations

The pressure is on [computer systems research]

Krishna M. Kavi, J. C. Browne, Aprna Tripathi · Computer · 1999 · 30 citations

Engineering, System Programming, Computer Architecture +18

A framework for designing, modeling and analyzing agent based software systems

Krishna M. Kavi, M. Aborizka, David Chenho Kung · 2003 · 19 citations

Engineering, Software Systems, Software Engineering +18

Reliability analysis of CSP specifications using Petri nets and Markov processes

Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shirazi et al. · 2002 · 18 citations

Petri Net, Engineering, Verification +29

Rows per page

1–5 of 5