BibSLEIGH — Kedar_S

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: Namjoshi:Kedar_S=

Facilitated 1 volumes:

Contributed to:

2015

2013

2012

2011

2010

2008

2007

2005

2004

2003

2001

2000

1999

1998

1996

1995

2018

2020

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.