Iman Narasamdya

According to our database1, Iman Narasamdya authored at least 18 papers between 2004 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Automated migration of build scripts using dynamic analysis and search-based refactoring.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013
Software Model Checking SystemC.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2013

2012
Software Model Checking with Explicit Scheduler and Symbolic Threads
Logical Methods in Computer Science, 2012

Verification of parametric system designs.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Boosting Lazy Abstraction for SystemC with Partial Order Reduction.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

An Analytic Evaluation of SystemC Encodings in Promela.
Proceedings of the Model Checking Software, 2011

Kratos - A Software Model Checker for SystemC.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Verifying SystemC: A software model checking approach.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009
Inter-program Properties.
Proceedings of the Static Analysis, 16th International Symposium, 2009

Certification of smart-card applications in common criteria.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Certification of Smart-Card Applications in Common Criteria.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008
Service Combinators for Farming Virtual Machines.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007
Establishing program equivalence in translation validation for optimizing compilers.
PhD thesis, 2007

Service Combinators for Farming Virtual Machines.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

2005
Finding Basic Block and Variable Correspondence.
Proceedings of the Static Analysis, 12th International Symposium, 2005

2004
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Knowledge of Other Agents and Communicative Actions in the Fluent Calculus.
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004


  Loading...