Doron Peled (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

76 Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Combining Software and Hardware Verification Techniques. Formal Methods in System Design 21(3): 251-280 (2002)

66 Elsa L. Gunter, Robert P. Kurshan, Doron Peled: PET: An Interactive Software Testing Tool. CAV 2000: 552-556

44 Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357

38 Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Verifying hardware in its software context. ICCAD 1997: 742-749

Selection of 4 from 145 records - Doron Peled has 73 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

76		Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Combining Software and Hardware Verification Techniques. Formal Methods in System Design 21(3): 251-280 (2002)
66		Elsa L. Gunter, Robert P. Kurshan, Doron Peled: PET: An Interactive Software Testing Tool. CAV 2000: 552-556
44		Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357
38		Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Verifying hardware in its software context. ICCAD 1997: 742-749