Kedar S. Namjoshi

Available identifiers

zbMath Open namjoshi.kedar-sMaRDI QIDQ784102

List of research outcomes

Publication	Date of Publication	Type
Synthesis of compact strategies for coordination programs	2024-01-23	Paper
Synthesis of asynchronous reactive programs from temporal specifications	2023-05-26	Paper
The impact of program transformations on static program analysis	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
Abstraction for branching time properties.	2010-04-20	Paper
Abstract patterns of compositional reasoning.	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/Q4818807	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4818805	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/Q2754105	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2754080	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4936148	2000-01-25	Paper

Research outcomes over time

This page was built for person: Kedar S. Namjoshi