BibSLEIGH — Robert_P

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: Kurshan:Robert_P=

Facilitated 1 volumes:

Contributed to:

2008

2004

2003

2002

2001

2000

1999

1998

1997

1995

1994

1993

1992

1990

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.
CAV-1990-GolaszewskiK: Task-Driven Supervisory Control of Discrete Event Systems (CHG, RPK), pp. 282–291.