PELED, DORON: search on Z-Library

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

Don't use scam websites

51

Editorial: special issue on synthesis

Peled, Doron, Schewe, Sven

Journal:

Acta Informatica

Year:

2014

Language:

english

File:

PDF, 86 KB

english, 2014

52

Core decompression and alendronate treatment of the osteonecrotic rat femoral head: computer-assisted analysis

Peled, Eli, Bejar, Jacob, Barak, Michal, Orion, Eyal, Norman, Doron

Journal:

International Journal of Experimental Pathology

Year:

2013

Language:

english

File:

PDF, 190 KB

english, 2013

53

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Sytems — FORTE 2002 Volume 2529 || Modelling SIP Services Using Cress

Peled, Doron A., Vardi, Moshe Y.

Year:

2002

Language:

english

File:

PDF, 413 KB

english, 2002

54

ENFORCING CONCURRENT TEMPORAL BEHAVIORS

PELED, DORON, QU, HONGYANG

Journal:

International Journal of Foundations of Computer Science

Year:

2006

Language:

english

File:

PDF, 1.11 MB

english, 2006

55

PREFACE

PELED, DORON A., TSAY, YIH-KUEN

Journal:

International Journal of Foundations of Computer Science

Year:

2007

Language:

english

File:

PDF, 161 KB

english, 2007

56

QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS

ELKIND, EDITH, GENEST, BLAISE, PELED, DORON, SPOLETINI, PAOLA

Journal:

International Journal of Foundations of Computer Science

Year:

2010

Language:

english

File:

PDF, 764 KB

english, 2010

57

[Lecture Notes in Computer Science] Model Checking and Artificial Intelligence Volume 5348 ||

Peled, Doron A., Wooldridge, Michael J.

Year:

2009

Language:

english

File:

PDF, 3.75 MB

english, 2009

58

[Lecture Notes in Computer Science] Model Checking and Artificial Intelligence Volume 5348 || Survey on Directed Model Checking

Peled, Doron A., Wooldridge, Michael J.

Year:

2009

Language:

english

File:

PDF, 403 KB

english, 2009

59

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1633 || Improved Automata Generation for Linear Temporal Logic

Halbwachs, Nicolas, Peled, Doron

Year:

1999

Language:

english

File:

PDF, 751 KB

english, 1999

60

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 ||

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 6.80 MB

english, 2004

61

[Texts in Computer Science] Software Reliability Methods ||

Peled, Doron A.

Year:

2001

Language:

english

File:

PDF, 30.64 MB

english, 2001

62

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 3707 || An EFSM-Based Intrusion Detection System for Ad Hoc Networks

Peled, Doron A., Tsay, Yih-Kuen

Year:

2005

Language:

english

File:

PDF, 390 KB

english, 2005

63

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || WSAT: A Tool for Formal Analysis of Web Services

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 165 KB

english, 2004

64

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || MCK: Model Checking the Logic of Knowledge

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 99 KB

english, 2004

65

[ACM Press the 1996 international symposium - San Diego, California, United States (1996.01.08-1996.01.10)] Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 - Using partial-order methods in the formal validation of industrial concurrent programs

Godefroid, Patrice, Peled, Doron, Staskauskas, Mark

Year:

1996

Language:

english

File:

PDF, 866 KB

english, 1996

66

Using partial-order methods in the formal validation of industrial concurrent programs

Godefroid, Patrice, Peled, Doron, Staskauskas, Mark

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1996

Language:

english

File:

PDF, 866 KB

english, 1996

67

Synthesis of succinct systems

Fearnley, John, Peled, Doron, Schewe, Sven

Journal:

Journal of Computer and System Sciences

Year:

2015

Language:

english

File:

PDF, 655 KB

english, 2015

68

Parametric temporal logic for “model measuring”

Alur, Rajeev, Etessami, Kousha, La Torre, Salvatore, Peled, Doron

Journal:

ACM Transactions on Computational Logic

Year:

2001

Language:

english

File:

PDF, 268 KB

english, 2001

69

Ganglioneuroma of the Adrenal Gland: A Rare Tumor in a Rare Location

Gilshtein, Hayim, Peled, Zvi, Grunner, Shahar, Fischer, Doron, Kakiashvili, Eli, Kluger, Yoram

Journal:

Case Reports in Oncology

Year:

2012

Language:

english

File:

PDF, 445 KB

english, 2012

70

[IEEE 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Austin, TX, USA (2015.9.21-2015.9.23)] 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Local and global fairness in concurrent systems

Brook, Alon, Peled, Doron, Schewe, Sven

Year:

2015

Language:

english

File:

PDF, 153 KB

english, 2015

71

Heparanase procoagulant activity as a predictor of wound necrosis following diabetic foot amputation

Peled, Eli, Melamed, Eyal, Portal, Tali Banker, Axelman, Elena, Norman, Doron, Brenner, Benjamin, Nadir, Yona

Journal:

Thrombosis Research

Year:

2016

Language:

english

File:

PDF, 981 KB

english, 2016

72

Synthesizing, correcting and improving code, using model checking-based genetic programming

Katz, Gal, Peled, Doron

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 735 KB

english, 2016

73

Ethnic Democracy Revisited: On the State of Democracy in the Jewish State

Yoav Peled and Doron Navot

Journal:

Israel Studies Forum

Year:

2005

Language:

english

File:

PDF, 2.26 MB

english, 2005

74

Use of a New Exsanguination Tourniquet in Internal Fixation of Distal Radius Fractures

Norman, Doron, Greenfield, Inbal, Ghrayeb, Nabil, Peled, Eli, Dayan, Lior

Journal:

Techniques in Hand & Upper Extremity Surgery

Year:

2009

Language:

english

File:

PDF, 286 KB

english, 2009

75

A novel self-care biomechanical treatment for obese patients with knee osteoarthritis

Lubovsky, Omri, Mor, Amit, Segal, Ganit, Atoun, Ehud, Debi, Ronen, Beer, Yiftah, Agar, Gabriel, Norman, Doron, Peled, Eli, Elbaz, Avi

Journal:

International Journal of Rheumatic Diseases

Year:

2015

Language:

english

File:

PDF, 175 KB

english, 2015

76

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9938 ||

Artho, Cyrille, Legay, Axel, Peled, Doron

Year:

2016

Language:

english

File:

PDF, 12.70 MB

english, 2016

77

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9938 || Synchronous Products of Rewrite Systems

Artho, Cyrille, Legay, Axel, Peled, Doron

Year:

2016

Language:

english

File:

PDF, 235 KB

english, 2016

78

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9938 || A Sketching-Based Approach for Debugging Using Test Cases

Artho, Cyrille, Legay, Axel, Peled, Doron

Year:

2016

Language:

english

File:

PDF, 711 KB

english, 2016

79

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9938 || Symbolic Model Checking for Factored Probabilistic Models

Artho, Cyrille, Legay, Axel, Peled, Doron

Year:

2016

Language:

english

File:

PDF, 345 KB

english, 2016

80

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9938 || Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents

Artho, Cyrille, Legay, Axel, Peled, Doron

Year:

2016

Language:

english

File:

PDF, 294 KB

english, 2016

81

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9938 || Certified Symbolic Execution

Artho, Cyrille, Legay, Axel, Peled, Doron

Year:

2016

Language:

english

File:

PDF, 393 KB

english, 2016

82

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9938 || Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems

Artho, Cyrille, Legay, Axel, Peled, Doron

Year:

2016

Language:

english

File:

PDF, 484 KB

english, 2016

83

Hyperbaric Oxygen for Stage I and II Femoral Head Osteonecrosis

Koren, Lior, Ginesin, Eyal, Melamed, Yehuda, Norman, Doron, Levin, Daniel, Peled, Eli

Journal:

Year:

2015

Language:

english

File:

PDF, 206 KB

english, 2015

84

Ethnic Democracy Revisited: On the State of Democracy in the Jewish State

Peled, Yoav, Navot, Doron

Journal:

Israel Studies Forum

Year:

2005

Language:

english

File:

PDF, 165 KB

english, 2005

85

[IEEE 2017 Formal Methods in Computer-Aided Design (FMCAD) - Vienna (2017.10.2-2017.10.6)] 2017 Formal Methods in Computer Aided Design (FMCAD) - First order temporal logic monitoring with BDDs

Havelund, Klaus, Peled, Doron, Ulus, Dogan

Year:

2017

Language:

english

File:

PDF, 144 KB

english, 2017

86

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Termination of Linear Programs

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 225 KB

english, 2004

87

[IEEE 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - Porto, Portugal (2018.4.10-2018.4.13)] 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - DejaVu: A Monitoring Tool for First-Order Temporal Logic

Havelund, Klaus, Peled, Doron, Ulus, Dogan

Year:

2018

Language:

english

File:

PDF, 101 KB

english, 2018

88

Automated 4-dimensional regional myocardial strain evaluation using cardiac computed tomography

Peled, Zvi, Lamash, Yechiel, Carasso, Shemy, Fischer, Anath, Agmon, Yoram, Mutlak, Diab, Aronson, Doron, Bolotin, Gil, Lessick, Jonathan

Journal:

The International Journal of Cardiovascular Imaging

Year:

2019

Language:

english

File:

PDF, 2.51 MB

english, 2019

89

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Statistical Model Checking of Black-Box Probabilistic Systems

Alur, Rajeev, Peled, Doron A.

Year:

2004

File:

PDF, 247 KB

2004

90

Ethics Review Boards for Research With Human Participants: Past, Present, and Future

Peled-Raz, Maya, Tzafrir, Shay S., Enosh, Guy, Efron, Yael, Doron, Israel (Issi)

Journal:

Qualitative Health Research

Year:

2020

File:

PDF, 164 KB

2020