Citation Impact
Citing Papers
Formal Analysis of the Remote Agent Before and After Flight
2000
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
2008 Standout
Model Checking Programs
2003 Standout
Practical Application of Model Checking in Software Verification
1999
Granular Computing: Perspectives and Challenges
2013 Standout
DART
2005 Standout
Formal analysis of a space-craft controller using SPIN
2001
Model checking JAVA programs using JAVA PathFinder
2000
An analysis of the most cited articles in software engineering journals – 2002
2008
Korat
2002
A lightweight message authentication scheme for Smart Grid communications in power sector
2016
Internet of Things security: A survey
2017 Standout
Secure and dependable software defined networks
2015
Works of Radu Iosif being referenced
Modeling and Validation of Java Multi-threading applications using Spin
1998
A deadlock detection tool for concurrent Java programs
1999
Computer Aided Verification
2010