According to our database1, Sudipta Kundu authored at least 16 papers between 2004 and 2018.
Legend:Book In proceedings Article PhD thesis Other
PASTA: Python Algorithms for Searching Transition stAtes.
Comput. Phys. Commun., 2018
Adaptive Constellation Rotation Scheme for Two-User Fading MAC with Quantized Fade State Feedback.
IEEE Trans. Wireless Communications, 2013
An adaptive modulation scheme for two-user fading MAC with quantized fade state feedback.
Proceedings of the 23rd IEEE International Symposium on Personal, 2012
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
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
High-level verification of system designs.
PhD thesis, 2009
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
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
Automated refinement checking of concurrent systems.
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007
OaSis: An Application Specific Operating System for an Embedded Environment.
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004