BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Finland
1 × Germany
1 × India
1 × Spain
11 × USA
3 × France
3 × Italy
3 × United Kingdom
Collaborated with:
E.A.Emerson R.J.Trefler D.Dams A.Cohen Y.Sa'ar R.P.Kurshan L.D.Zuck S.Bansal U.Klein C.L.Conway N.Amla P.Manolios R.Summers C.Barrett S.A.Edwards R.Gjomemo P.H.Phung V.N.Venkatakrishnan
Talks about:
model (7) abstract (6) analysi (6) check (6) composit (5) program (5) verif (5) time (5) properti (4) reason (4)

Person: Kedar S. Namjoshi

DBLP DBLP: Namjoshi:Kedar_S=

Facilitated 1 volumes:

VMCAI 2006Ed

Contributed to:

TACAS 20152015
VMCAI 20152015
SAS 20132013
VMCAI 20132013
VMCAI 20122012
CAV 20112011
CAV 20102010
CAV 20082008
SAS 20082008
CAV 20072007
VMCAI 20072007
CAV 20052005
VMCAI 20052005
CAV 20042004
LICS 20042004
CAV 20032003
VMCAI 20032003
CAV 20012001
TACAS 20012001
CAV 20002000
CAV 19991999
CAV 19981998
LICS 19981998
CAV 19961996
POPL 19951995
CAV (1) 20182018
POPL 20202020

Wrote 32 papers:

TACAS-2015-NamjoshiT #analysis #network #process
Analysis of Dynamic Process Networks (KSN, RJT), pp. 164–178.
VMCAI-2015-GjomemoNPVZ #optimisation #verification
From Verification to Optimizations (RG, KSN, PHP, VNV, LDZ), pp. 300–317.
SAS-2013-NamjoshiZ #program transformation
Witnessing Program Transformations (KSN, LDZ), pp. 304–323.
VMCAI-2013-NamjoshiT #network #process #symmetry
Uncovering Symmetries in Irregular Process Networks (KSN, RJT), pp. 496–514.
VMCAI-2012-NamjoshiT #composition #symmetry #verification
Local Symmetry and Compositional Verification (KSN, RJT), pp. 348–362.
CAV-2011-KleinN #automation #behaviour #formal method #rest #verification
Formalization and Automated Verification of RESTful Behavior (UK, KSN), pp. 541–556.
CAV-2010-CohenNS #composition #reasoning
A Dash of Fairness for Compositional Reasoning (AC, KSN, YS), pp. 543–557.
CAV-2010-CohenNS10a #composition #ltl #named #verification
SPLIT: A Compositional LTL Verifier (AC, KSN, YS), pp. 558–561.
CAV-2008-CohenN #concurrent #linear #proving #source code
Local Proofs for Linear-Time Properties of Concurrent Programs (AC, KSN), pp. 149–161.
SAS-2008-ConwayDNB #analysis #fault #pointer #proving
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (CLC, DD, KSN, CB), pp. 62–77.
CAV-2007-CohenN #proving #safety
Local Proofs for Global Safety Properties (AC, KSN), pp. 55–67.
VMCAI-2007-Namjoshi #analysis #symmetry
Symmetry and Completeness in the Analysis of Parameterized Systems (KSN), pp. 299–313.
CAV-2005-ConwayNDE #algorithm #analysis #incremental #interprocedural #safety
Incremental Algorithms for Inter-procedural Analysis of Safety Properties (CLC, KSN, DD, SAE), pp. 449–461.
VMCAI-2005-DamsN #abstraction #automaton
Automata as Abstractions (DD, KSN), pp. 216–232.
CAV-2004-Namjoshi #model checking
An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking (KSN), pp. 57–69.
LICS-2004-DamsN #abstraction #branch #finite #model checking
The Existence of Finite Abstractions for Branching Time Model Checking (DD, KSN), pp. 335–344.
CAV-2003-Namjoshi #abstraction #branch
Abstraction for Branching Time Properties (KSN), pp. 288–300.
VMCAI-2003-DamsN #abstraction #analysis #model checking
Shape Analysis through Predicate Abstraction and Model Checking (DD, KSN), pp. 310–324.
VMCAI-2003-Namjoshi #abstraction #proving
Lifting Temporal Proofs through Abstractions (KSN), pp. 174–188.
CAV-2001-AmlaEKN #diagrams #model checking #named #performance
Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams (NA, EAE, RPK, KSN), pp. 387–390.
CAV-2001-Namjoshi #model checking
Certifying Model Checkers (KSN), pp. 2–13.
TACAS-2001-AmlaENT #composition #diagrams #reasoning
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams (NA, EAE, KSN, RJT), pp. 465–479.
CAV-2000-NamjoshiK #abstraction #automation #program transformation
Syntactic Program Transformations for Automatic Abstraction (KSN, RPK), pp. 435–449.
CAV-2000-NamjoshiT #composition #on the #reasoning
On the Competeness of Compositional Reasoning (KSN, RJT), pp. 139–153.
CAV-1999-ManoliosNS #bisimulation #model checking #proving #theorem proving
Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation (PM, KSN, RS), pp. 369–379.
CAV-1999-NamjoshiK #analysis #performance
Efficient Analysis of Cyclic Definitions (KSN, RPK), pp. 394–405.
CAV-1998-EmersonN #protocol #verification
Verification of Parameterized Bus Arbitration Protocol (EAE, KSN), pp. 452–463.
LICS-1998-EmersonN #infinity #model checking #nondeterminism #on the
On Model Checking for Non-Deterministic Infinite-State Systems (EAE, KSN), pp. 70–80.
CAV-1996-EmersonN #automation #verification
Automatic Verification of Parameterized Synchronous Systems (EAE, KSN), pp. 87–98.
POPL-1995-EmersonN #reasoning
Reasoning about Rings (EAE, KSN), pp. 85–94.
CAV-2018-BansalNS #source code #specification #synthesis
Synthesis of Asynchronous Reactive Programs from Temporal Specifications (SB, KSN, YS), pp. 367–385.
POPL-2020-BansalNS #coordination #linear #source code #specification #synthesis
Synthesis of coordination programs from linear temporal specifications (SB, KSN, YS), p. 27.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.