Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
9
posts
with
1471
views
171
profile views
Browse
My Posts »
susmitjha
Research Scientist, PhD
Intel Strategic CAD Lab
Homepage
My Traffic
Summary of traffic and statistics of my posts on Sciweavers in real-time.
Traffic Gadget Embed Code
<div align="center"><iframe width="600px" height="450px" frameborder="0" scrolling="no" marginheight="0" marginwidth="0" src="https://www.sciweavers.org/traffic/aggregate/susmitjha"></iframe></div>
posted by
susmitjha
Mar 06 2013
My Recent Posts
Synthesis of optimal switching logic for hybrid systems
Views
By
susmitjha
Synthesizing Switching Logic to Minimize Long-Run Cost
Views
By
susmitjha
Randomization Based Probabilistic Approach to Detect Trojan Circuits
Views
By
susmitjha
Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions
Views
By
susmitjha
On voting machine design for verification and testability
Views
By
susmitjha
Oracle-guided component-based program synthesis
Views
By
susmitjha
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
Views
By
susmitjha
Automating Security Mediation Placement
Views
By
susmitjha
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
Views
By
susmitjha
See all posts...