Sagar Chaki

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Achieving high coverage in hardware equivalence checking via concolic verification	2023-10-30	Paper
BDD-Based Symbolic Model Checking	2018-07-20	Paper
SMT-based model checking for recursive programs	2017-03-28	Paper
Model Checking with Multi-threaded IC3 Portfolios	2016-03-23	Paper
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)	2016-02-25	Paper
Types as models	2015-03-17	Paper
Compositional Sequentialization of Periodic Programs	2014-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q2852081	2013-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q2845499	2013-08-30	Paper
Parametric Verification of Address Space Separation	2012-06-29	Paper
Regression Verification for Multi-threaded Programs	2012-06-15	Paper
Boxes: A Symbolic Abstract Domain of Boxes	2010-10-01	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Integrated Formal Methods	2009-05-07	Paper
Three optimizations for assume-guarantee reasoning with \(L^{*}\)	2008-07-30	Paper
Verification of evolving software via component substitutability analysis	2008-07-30	Paper
State/Event Software Verification for Branching-Time Specifications	2007-11-29	Paper
Optimized L*-Based Assume-Guarantee Reasoning	2007-09-03	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Concurrent software verification with states, events, and deadlocks	2006-10-25	Paper
Computer Aided Verification	2006-01-10	Paper
Computer Aided Verification	2006-01-10	Paper
FM 2005: Formal Methods	2006-01-10	Paper
An Iterative Framework for Simulation Conformance	2005-10-18	Paper
Efficient verification of sequential and concurrent C programs	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q2769585	2002-02-05	Paper

Research outcomes over time

This page was built for person: Sagar Chaki