Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Satyaki Das
Refining Approximations in Software Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction
Towards Abstraction and Automation in Software Engineering
The Winnower
A Simulation Approach to Predicate the Reliability of a Pervasive Software System
AirNet: An Edge-Fabric Abstraction Model to Manage Software-Defined Networks
International Journal of Network Management
Computer Networks
Computer Science Applications
Communications
MPI as an Abstraction for Software-Hardware Interaction for HPRCs
Predicate Clefting in Kisi
Annual Meeting of the Berkeley Linguistics Society
Software Engineering Data Analytics: A Framework Based on a Multi-Layered Abstraction Mechanism
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Formal Predicate Calculus
