Concepedia

Iman Narasamdya

IN

4

Publications

172

Citations

4

H-Index

2010

Active since

Affiliations

Fondazione Bruno Kessler(Current)

University of Illinois Urbana-Champaign

Microsoft (United States)

Iman Narasamdya is an author at Fondazione Bruno Kessler specializing in engineering, program analysis, and software testing.

Top concepts

Publications per year

2010–2014

4

Publications

4

Verifying SystemC: a software model checking approach

Alessandro Cimatti, Andrea Micheli, Iman Narasamdya et al. · Formal Methods in Computer-Aided Design · 2010 · 73 citations

, , +21

Software Model Checking SystemC

Alessandro Cimatti, Iman Narasamdya, Marco Roveri · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013 · 53 citations

, , +17

Automated migration of build scripts using dynamic analysis and search-based refactoring

Milos Gligoric, Wolfram Schulte, Chandra Prasad et al. · 2014 · 31 citations

, , +22

Automated migration of build scripts using dynamic analysis and search-based refactoring

Milos Gligoric, Wolfram Schulte, Chandra Prasad et al. · ACM SIGPLAN Notices · 2014 · 15 citations

, , +19

Rows per page

1–4 of 4