Sagar Chaki

According to our database1, Sagar Chaki authored at least 77 papers between 2001 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Achieving high coverage in hardware equivalence checking via concolic verification.
Formal Methods Syst. Des., 2022

2019
High Coverage Concolic Equivalence Checking.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018
BDD-Based Symbolic Model Checking.
Proceedings of the Handbook of Model Checking., 2018

Have Your PI and Eat it Too: Practical Security on a Low-Cost Ubiquitous Computing Platform.
Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

2017
Formal Verification of a Timing Enforcer Implementation.
ACM Trans. Embed. Comput. Syst., 2017

Combining Symbolic Runtime Enforcers for Cyber-Physical Systems.
Proceedings of the Runtime Verification - 17th International Conference, 2017

Decision-Making with Cross-Entropy for Self-Adaptation.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

2016
SMT-based model checking for recursive programs.
Formal Methods Syst. Des., 2016

Model Checking with Multi-threaded IC3 Portfolios.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor.
Proceedings of the 25th USENIX Security Symposium, 2016

Input Attribution for Statistical Model Checking Using Logistic Regression.
Proceedings of the Runtime Verification - 16th International Conference, 2016

BUZZ: Testing Context-Dependent Policies in Stateful Networks.
Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016

Verifying cyber-physical systems by combining software model checking with hybrid systems reachability.
Proceedings of the 2016 International Conference on Embedded Software, 2016

2015
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation).
Formal Methods Syst. Des., 2015

Scalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong.
CoRR, 2015

Semantic Importance Sampling for Statistical Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Statistical Model Checking of Distributed Adaptive Real-Time Software.
Proceedings of the Runtime Verification - 6th International Conference, 2015

High Assurance for Distributed Cyber Physical Systems.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach.
Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, 2015

2014
Toward parameterized verification of synchronous distributed applications.
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Optimizing Robotic Team Performance with Probabilistic Model Checking.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014

Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis.
Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, 2014

Model-Driven Verifying Compilation of Synchronous Distributed Applications.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Efficient verification of periodic programs using sequential consistency and snapshots.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

Contract-based integration of cyber-physical analyses.
Proceedings of the 2014 International Conference on Embedded Software, 2014

2013
Verification across Intellectual Property Boundaries.
ACM Trans. Softw. Eng. Methodol., 2013

Compositional Sequentialization of Periodic Programs.
Proceedings of the Verification, 2013

UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Probabilistic Verification of Coordinated Multi-robot Missions.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework.
Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

Bounded model checking of high-integrity software.
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Finding Errors in Python Programs Using Dynamic Symbolic Execution.
Proceedings of the Testing Software and Systems, 2013

Verifying periodic programs with priority inheritance locks.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

Automatic Abstraction in SMT-Based Unbounded Software Model Checking.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Regression Verification for Multi-threaded Programs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Parametric Verification of Address Space Separation.
Proceedings of the Principles of Security and Trust - First International Conference, 2012

Binary Function Clustering Using Semantic Hashes.
Proceedings of the 11th International Conference on Machine Learning and Applications, 2012

Non-preemptive Scheduling with History-Dependent Execution Time.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

2011
Automated assume-guarantee reasoning for omega-regular systems and specifications.
Innov. Syst. Softw. Eng., 2011

Efficient Predicate Abstraction of Program Summaries.
Proceedings of the NASA Formal Methods, 2011

Supervised learning for provenance-similarity of binaries.
Proceedings of the 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2011

Time-bounded analysis of real-time systems.
Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2010
Combining predicate and numeric abstraction for software model checking.
Int. J. Softw. Tools Technol. Transf., 2010

Software model checking without source code.
Innov. Syst. Softw. Eng., 2010

Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size.
Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

Boxes: A Symbolic Abstract Domain of Boxes.
Proceedings of the Static Analysis - 17th International Symposium, 2010

Using Architecturally Significant Requirements for Guiding System Evolution.
Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010

2009
Towards engineered architecture evolution.
Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

Decision diagrams for linear arithmetic.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Verifying Information Flow Control over Unbounded Processes.
Proceedings of the FM 2009: Formal Methods, 2009

ASPIER: An Automated Framework for Verifying Security Protocol Implementations.
Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

2008
Three optimizations for Assume-Guarantee reasoning with L<sup>*</sup>.
Formal Methods Syst. Des., 2008

Verification of evolving software via component substitutability analysis.
Formal Methods Syst. Des., 2008

2007
Optimized L*-Based Assume-Guarantee Reasoning.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Model-Driven Construction of Certified Binaries.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

2006
Error explanation with distance metrics.
Int. J. Softw. Tools Technol. Transf., 2006

Verifying Concurrent Message-Passing C Programs with Recursive Calls.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

SAT-Based Software Certification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Assume-Guarantee Reasoning for Deadlock.
Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005
An Iterative Framework for Simulation Conformance.
J. Log. Comput., 2005

Concurrent software verification with states, events, and deadlocks.
Formal Aspects Comput., 2005

Parallel Assignments in Software Model Checking.
Proceedings of the Third International Workshop on Software Verification and Validation, 2005

State/Event Software Verification for Branching-Time Specifications.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Dynamic Component Substitutability Analysis.
Proceedings of the FM 2005: Formal Methods, 2005

The ComFoRT Reasoning Framework.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Automated Assume-Guarantee Reasoning for Simulation Conformance.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
Modular Verification of Software Components in C.
IEEE Trans. Software Eng., 2004

Efficient Verification of Sequential and Concurrent C Programs.
Formal Methods Syst. Des., 2004

Explaining abstract counterexamples.
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Automated, compositional and iterative deadlock detection.
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

State/Event-Based Software Model Checking.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003
Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach.
Proceedings of the 2003 Workshop on Software Model Checking, 2003

Integrating Publish/Subscribe into a Mobile Teamwork Support Platform.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Predicate Abstraction with Minimum Predicates.
Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002
Types as models: model checking message-passing programs.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

2001
Parameterized Verification of Multithreaded Software Libraries.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Efficient Filtering in Publish-Subscribe Systems Using Binary Decision.
Proceedings of the 23rd International Conference on Software Engineering, 2001


  Loading...