Doron Peled: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Introduction: Special Issue on Partial Order in Formal Methods

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 79 KB

english, 2005

2

Treatment of Graf’s Ultrasound Class III and IV Hips Using Pavlik’s Method

Eli Peled, Viktor Bialik, Alexander Katzman, Mark Eidelman, Doron Norman

Journal:

Clinical Orthopaedics and Related Research®

Year:

2008

Language:

english

File:

PDF, 139 KB

english, 2008

3

Towards a Constitutional Counter-Revolution in Israel?

Doron Navot, Yoav Peled

Journal:

Year:

2009

Language:

english

File:

PDF, 130 KB

english, 2009

4

Heapranase role in the treatment of avascular necrosis of femur head

Peled, Eli, Davis, Matthew, Axelman, Elena, Norman, Doron, Nadir, Yona

Journal:

Thrombosis Research

Year:

2013

Language:

english

File:

PDF, 1.88 MB

english, 2013

5

Recurrent episodes of micturition with expulsion of symphyseal plate screws following pelvic ring fixation: case report

Peled, Eli, Norman, Doron, Kakiashvili, David, Henley, M. Bradford

Journal:

BMC Musculoskeletal Disorders

Year:

2015

Language:

english

File:

PDF, 1009 KB

english, 2015

6

A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors

Huang, Chung-Hao, Peled, Doron A., Schewe, Sven, Wang, Farn

Journal:

IEEE Transactions on Software Engineering

Year:

2015

Language:

english

File:

PDF, 425 KB

english, 2015

7

First-order temporal logic monitoring with BDDs

Havelund, Klaus, Peled, Doron, Ulus, Dogan

Journal:

Formal Methods in System Design

Year:

2019

Language:

english

File:

PDF, 1.13 MB

english, 2019

8

Design tools for requirements engineering

Gerard J. Holzmann, Doron A. Peled, Margaret H. Redberg

Journal:

Bell Labs Technical Journal

Year:

1997

Language:

english

File:

PDF, 143 KB

english, 1997

9

Interleaving set temporal logic

Shmuel Katz, Doron Peled

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 3.28 MB

english, 1990

10

Defining conditional independence using collapses

Shmuel Katz, Doron Peled

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 1.64 MB

english, 1992

11

Enforcing Concurrent Temporal Behaviors

Doron Peled, Hongyang Qu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 324 KB

english, 2005

12

Automatic generation of path conditions for concurrent timed systems

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.19 MB

english, 2008

13

Efficient model checking for LTL with partial order snapshots

Peter Niebert, Doron Peled

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 631 KB

english, 2009

14

Stutter-invariant temporal properties are expressible without the next-time operator

Doron Peled, Thomas Wilke

Journal:

Information Processing Letters

Year:

1997

Language:

english

File:

PDF, 330 KB

english, 1997

15

Undecidability of partial order logics

Rajeev Alur, Doron Peled

Journal:

Information Processing Letters

Year:

1999

Language:

english

File:

PDF, 645 KB

english, 1999

16

On projective and separable properties

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.61 MB

english, 1997

17

An algorithmic approach for checking closure properties of temporal logic specifications and ω-regular languages

Doron Peled, Thomas Wilke, Pierre Wolper

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.47 MB

english, 1998

18

Specification and Verification using Message Sequence Charts

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 125 KB

english, 2002

19

Tracing the executions of concurrent programs

Elsa Gunter, Doron Peled

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 149 KB

english, 2002

20

Combining partial order reductions with on-the-fly model-checking

Journal:

Formal Methods in System Design

Year:

1996

Language:

english

File:

PDF, 1.48 MB

english, 1996

21

Verification of distributed programs using representative interleaving sequences

Shmuel Katz, Doron Peled

Journal:

Distributed Computing

Year:

1992

Language:

english

File:

PDF, 1.69 MB

english, 1992

22

Model checking, testing and verification working together

Elsa Gunter, Doron Peled

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 201 KB

english, 2005

23

Prevention of distortion of vascular deprivation-induced osteonecrosis of the rat femoral head by treatment with alendronate

Eli Peled, Jacob Bejar, Chaim Zinman, Jochanan H. Boss, Daniel N. Reis, Doron Norman

Journal:

Archives of Orthopaedic and Trauma Surgery

Year:

2009

Language:

english

File:

PDF, 326 KB

english, 2009

24

Compositional message sequence charts

Elsa L. Gunter, Anca Muscholl, Doron Peled

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 367 KB

english, 2003

25

On commutativity based Edge Lean search

Dragan Bošnački, Edith Elkind, Blaise Genest, Doron Peled

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 442 KB

english, 2009

26

Deciding Global Partial-Order Properties

Rajeev Alur, Ken McMillan, Doron Peled

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 913 KB

english, 2005

27

Priority scheduling of distributed systems based on model checking

Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 595 KB

english, 2011

28

A compositional framework for fault tolerance by specification transformation

Doron Peled, Mathai Joseph

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 2.09 MB

english, 1994

29

Proving partial order properties

Doron Peled, Amir Pnueli

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 2.68 MB

english, 1994

30

Formal Verification of a Partial-Order Reduction Technique for Model Checking

Ching-Tsun Chou, Doron Peled

Journal:

Journal of Automated Reasoning

Year:

1999

Language:

english

File:

PDF, 147 KB

english, 1999

31

Relaxed Visibility Enhances Partial Order Reduction

Doron Peled, Antti Valmari, Ilkka Kokkarinen

Journal:

Formal Methods in System Design

Year:

2001

Language:

english

File:

PDF, 111 KB

english, 2001

32

Combining Software and Hardware Verification Techniques

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün

Journal:

Formal Methods in System Design

Year:

2002

Language:

english

File:

PDF, 190 KB

english, 2002

33

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1633 || Timed Automata

Halbwachs, Nicolas, Peled, Doron

Year:

1999

Language:

english

File:

PDF, 494 KB

english, 1999

34

A Partial Order Approach to Branching Time Logic Model Checking

Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek

Journal:

Information and Computation

Year:

1999

Language:

english

File:

PDF, 388 KB

english, 1999

35

Model-Checking of Correctness Conditions for Concurrent Objects

Rajeev Alur, Ken McMillan, Doron Peled

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 242 KB

english, 2000

36

d-Xylose absorption test

Y. Peled, O. Doron, H. Laufer, Y. Bujanover, T. Gilat

Journal:

Digestive Diseases and Sciences

Year:

1991

Language:

english

File:

PDF, 416 KB

english, 1991

37

Achieving distributed control through model checking

Susanne Graf, Doron Peled, Sophie Quinton

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 684 KB

english, 2012

38

Private Incarceration – Towards a Philosophical Critique

Yoav Peled, Doron Navot

Journal:

Year:

2012

Language:

english

File:

PDF, 506 KB

english, 2012

39

Modulation Transfer Function of a Lens Measured with a Random Target Method

Levy, Eli, Peles, Doron, Opher-Lipson, Michal, Lipson, Stephen G.

Journal:

Year:

1999

Language:

english

File:

PDF, 163 KB

english, 1999

40

Increased heparanase level and procoagulant activity in orthopedic surgery patients receiving prophylactic dose of enoxaparin

Eli Peled, Alexey Rovitsky, Elena Axelman, Doron Norman, Benjamin Brenner, Yona Nadir

Journal:

Thrombosis Research

Year:

2012

Language:

english

File:

PDF, 386 KB

english, 2012

41

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Efficient deadlock detection for concurrent systems

Bensalem, Saddek, Griesmayer, Andreas, Legay, Axel, Nguyen, Thanh-Hung, Peled, Doron

Year:

2011

Language:

english

File:

PDF, 755 KB

english, 2011

42

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || CVC Lite: A New Implementation of the Cooperating Validity Checker

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 91 KB

english, 2004

43

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 90 KB

english, 2004

44

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || DPLL(T): Fast Decision Procedures

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 211 KB

english, 2004

45

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || An Experimental Evaluation of Ground Decision Procedures

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 289 KB

english, 2004

46

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1633 || Deciding Equality Formulas by Small Domains Instantiations

Halbwachs, Nicolas, Peled, Doron

Year:

1999

Language:

english

File:

PDF, 757 KB

english, 1999

47

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || The UCLID Decision Procedure

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 100 KB

english, 2004

48

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Range Allocation for Separation Logic

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 267 KB

english, 2004

49

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1633 || Abstract and Model Check while You Prove

Halbwachs, Nicolas, Peled, Doron

Year:

1999

Language:

english

File:

PDF, 623 KB

english, 1999

50

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 3707 || Introducing Dynamic Properties with Past Temporal Operators in the B Refinement

Peled, Doron A., Tsay, Yih-Kuen

Year:

2005

Language:

english

File:

PDF, 302 KB

english, 2005

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски