Kedar S. Namjoshi

Available identifiers

zbMath Open namjoshi.kedar-sMaRDI QIDQ784102

List of research outcomes

Publication	Date of Publication	Type
The impact of program transformations on static program analysis	2023-05-26	Paper
Synthesis of asynchronous reactive programs from temporal specifications	2023-05-26	Paper
A self-certifying compilation framework for WebAssembly	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4994706	2021-06-21	Paper
Witnessing secure compilation	2020-08-05	Paper
Parameterized compositional model checking	2019-09-17	Paper
Symmetry reduction for the local mu-calculus	2019-09-16	Paper
Securing the SSA Transform	2019-09-16	Paper
Securing a compiler transformation	2018-10-04	Paper
Securing a compiler transformation	2018-08-27	Paper
Compositional Reasoning	2018-07-20	Paper
On the completeness of compositional reasoning methods	2015-09-17	Paper
From Verification to Optimizations	2015-02-04	Paper
Uncovering Symmetries in Irregular Process Networks	2014-11-03	Paper
Local Symmetry and Compositional Verification	2012-06-15	Paper
Parallelizing a Symbolic Compositional Model-Checking Algorithm	2011-04-06	Paper
Computer Aided Verification	2010-04-20	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Local proofs for global safety properties	2009-11-23	Paper
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors	2008-08-28	Paper
Local Proofs for Linear-Time Properties of Concurrent Programs	2008-07-15	Paper
Symmetry and Completeness in the Analysis of Parameterized Systems	2008-04-04	Paper
Local Proofs for Global Safety Properties	2007-11-29	Paper
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs	2007-09-11	Paper
Computer Aided Verification	2006-01-10	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
On Reasoning About Rings	2005-10-19	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4818805	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4818807	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4422081	2003-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4414388	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4414398	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4553254	2002-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4551169	2002-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q2769609	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2754080	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2754105	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4936148	2000-01-25	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: Kedar S. Namjoshi