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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sagar Chaki