Sudipta Kundu

According to our database1, Sudipta Kundu authored at least 16 papers between 2004 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
PASTA: Python Algorithms for Searching Transition stAtes.
Comput. Phys. Commun., 2018

2013
Adaptive Constellation Rotation Scheme for Two-User Fading MAC with Quantized Fade State Feedback.
IEEE Trans. Wireless Communications, 2013

2012
An adaptive modulation scheme for two-user fading MAC with quantized fade state feedback.
Proceedings of the 23rd IEEE International Symposium on Personal, 2012

2011
Symbolic predictive analysis for concurrent programs.
Formal Asp. Comput., 2011

High-Level Verification - Methods and Tools for Verification of System-Level Designs.
Springer, ISBN: 978-1-4419-9358-8, 2011

2010
Translation Validation of High-Level Synthesis.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2010

Contessa: Concurrency Testing Augmented with Symbolic Analysis.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
High-level verification of system designs.
PhD thesis, 2009

High-Level Verification.
IPSJ Trans. System LSI Design Methodology, 2009

Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions.
Proceedings of the Model Checking Software, 2009

Proving optimizations correct using parameterized program equivalence.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Symbolic Predictive Analysis for Concurrent Programs.
Proceedings of the FM 2009: Formal Methods, 2009

2008
Partial order reduction for scalable testing of systemC TLM designs.
Proceedings of the 45th Design Automation Conference, 2008

Validating High-Level Synthesis.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Automated refinement checking of concurrent systems.
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2004
OaSis: An Application Specific Operating System for an Embedded Environment.
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004


  Loading...