BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × France
1 × Greece
1 × Poland
1 × Portugal
1 × Spain
2 × Canada
2 × Denmark
3 × Italy
6 × USA
Collaborated with:
K.S.Namjoshi J.C.Browne R.Hojati R.K.Brayton V.Levin F.Xie O.Kupferman M.Yannakakis H.Yenigün D.Peled N.Amla M.Merritt A.Orda S.R.Sachs L.Lamport C.H.Golaszewski N.Sharygina E.L.Gunter K.L.McMillan R.Medel E.A.Emerson H.Chockler M.Y.Vardi T.R.Shiple R.Alur A.Itai H.J.Touati M.Minea H.Kim H.Jin K.Ravi P.Spacek J.Pierce F.Somenzi
Talks about:
model (9) check (7) verif (5) softwar (4) analysi (4) languag (3) contain (3) formal (3) effici (3) design (3)

Person: Robert P. Kurshan

DBLP DBLP: Kurshan:Robert_P=

Facilitated 1 volumes:

CAV 1990Ed

Contributed to:

CAV 20082008
FASE 20042004
FME 20032003
TACAS 20032003
CAV 20022002
CAV 20012001
FASE 20012001
CAV 20002000
CAV 19991999
TACAS 19981998
CSL 19971997
DAC 19971997
CAV 19951995
CAV 19941994
STOC 19941994
CAV 19931993
DAC 19931993
CAV 19921992
CAV 19901990

Wrote 24 papers:

CAV-2008-KimJRSPKS #analysis #random #simulation
Application of Formal Word-Level Analysis to Constrained Random Simulation (HK, HJ, KR, PS, JP, RPK, FS), pp. 487–490.
FASE-2004-XieLKB #design #model checking
Translating Software Designs for Model Checking (FX, VL, RPK, JCB), pp. 324–338.
FME-2003-XieBK #composition #reasoning
Translation-Based Compositional Reasoning for Software Systems (FX, JCB, RPK), pp. 582–599.
TACAS-2003-AmlaKMM #analysis #bound #model checking
Experimental Analysis of Different Techniques for Bounded Model Checking (NA, RPK, KLM, RM), pp. 34–48.
CAV-2002-KurshanLY #model checking
Compressing Transitions for Model Checking (RPK, VL, HY), pp. 569–581.
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-ChocklerKKV #approach #model checking
A Practical Approach to Coverage in Model Checking (HC, OK, RPK, MYV), pp. 66–78.
FASE-2001-SharyginaBK #analysis #design #object-oriented #reliability #verification
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification (NS, JCB, RPK), pp. 318–332.
CAV-2000-GunterKP #interactive #named #testing
PET: An Interactive Software Testing Tool (ELG, RPK, DP), pp. 552–556.
CAV-2000-NamjoshiK #abstraction #automation #program transformation
Syntactic Program Transformations for Automatic Abstraction (KSN, RPK), pp. 435–449.
CAV-1999-NamjoshiK #analysis #performance
Efficient Analysis of Cyclic Definitions (KSN, RPK), pp. 394–405.
TACAS-1998-KurshanLMPY #partial order #reduction
Static Partial Order Reduction (RPK, VL, MM, DP, HY), pp. 345–357.
CSL-1997-KupfermanKY #reduction
Existence of Reduction Hierarchies (OK, RPK, MY), pp. 327–340.
DAC-1997-Kurshan #verification
Formal Verification in a Commercial Setting (RPK), pp. 258–262.
CAV-1995-KurshanMOS #modelling
Modelling Asynchrony with a Synchronous Model (RPK, MM, AO, SRS), pp. 339–352.
CAV-1994-Kurshan #modelling
Models Whose Checks Don’t Explode (RPK), pp. 222–233.
STOC-1994-Kurshan #complexity #verification
The complexity of verification (RPK), pp. 365–371.
CAV-1993-HojatiBK #debugging #design #using
BDD-Based Debugging Of Design Using Language Containment and Fair CTL (RH, RKB, RPK), pp. 41–58.
CAV-1993-KurshanL #multi #verification
Verification of a Multiplier: 64 Bits and Beyond (RPK, LL), pp. 166–179.
CAV-1993-KurshanMOS #process
A Structural Linearization Principle for Processes (RPK, MM, AO, SRS), pp. 491–504.
DAC-1993-HojatiSBK #approach #model checking
A Unified Approach to Language Containment and Fair CTL Model Checking (RH, TRS, RKB, RPK), pp. 475–481.
CAV-1992-AlurIKY #approximate #verification
Timing Verification by Successive Approximation (RA, AI, RPK, MY), pp. 137–150.
CAV-1992-HojatiTKB #performance #regular expression
Efficient ω-Regular Language Containment (RH, HJT, RPK, RKB), pp. 396–409.
Task-Driven Supervisory Control of Discrete Event Systems (CHG, RPK), pp. 282–291.

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.