Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sudipta Kundu
High-Level Verification
IPSJ Transactions on System LSI Design Methodology
Electronic Engineering
Computer Science Applications
Electrical
Related publications
MetAcsl: Specification and Verification of High-Level Properties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
High-Level Debugging and Verification for FPGA-Based Multicore Architectures
High-Level Frameworks for the Specification and Verification of Scheduling Problems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
System-Level Verification of Embedded Operating Systems Components
Concurrency-Oriented Verification and Coverage of System-Level Designs
ACM Transactions on Design Automation of Electronic Systems
Computer Science Applications
Electronic Engineering
Computer Graphics
Electrical
Computer-Aided Design
Formal Verification of User-Level Real-Time Property Patterns
High-Level Segment
Reports of the Economic and Social Council
Offline Signature Verification: An Approach Based on Score Level Fusion
International Journal of Computer Applications
Formal Verification of System-Level Safety Properties on Railway Software
