WorldCat Identities

Peled, Doron A. 1962-

Overview
Works: 43 works in 261 publications in 2 languages and 8,183 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Other, Creator
Publication Timeline
.
Most widely held works by Doron A Peled
Model checking by Edmund M Clarke( )

22 editions published between 1999 and 2008 in English and Undetermined and held by 1,727 WorldCat member libraries worldwide

This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers
Engineering dependable software systems by M Broy( )

8 editions published in 2013 in English and Undetermined and held by 1,026 WorldCat member libraries worldwide

"Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced STudy INstitute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany in July and August 2012. This tow week course for young computer scientists and mathematicians working in the field of formal software and systems was designed to give an in-depth presentation of state-of-the-art topics in the field, as well as promoting international contacts and collaboration and the teaming up of leading researchers and young scientists. The 12 lectures delivered at the school and presented here cover subjects including: model-based testing, formal modeling and verification, decudtively verified software, model checking, performance anlysis, integrating risk analysis, embedded systems and model checking, among others. The book will be of interest to all those whose work involves the development of large-scale, reliable and secure software systems."--
Dependable software systems engineering by NATO Advanced Study Institute on Dependable Software Systems Engineering( )

8 editions published between 2015 and 2017 in English and held by 759 WorldCat member libraries worldwide

Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings by Zhiming Liu( )

19 editions published in 2005 in English and Undetermined and held by 608 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Third International Conference on Automated Technology for Verificaton and Analysis, ATVA 2005, held in Taipei, Taiwan, in October 2005. The 33 revised full papers presented together with abstracts of 3 keynote papers were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on model checking, combined methods, timed, embedded, and hybrid systems, abstraction and reduction techniques, decidability and complexity, established formalisms and standards, compositional verification and games, protocols analysis, case studies, and tools, and infinite-state and parameterized systems
Model Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers by Doron A Peled( )

17 editions published in 2009 in English and Undetermined and held by 509 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields
Time for verification : essays in memory of Amir Pnueli by Zohar Manna( )

11 editions published in 2010 in English and held by 497 WorldCat member libraries worldwide

The topics covered span the entire breadth of the scientific work of Amir Pnueli, with a focus on the development and the application of formal methods. Also included is the first chapter of the unpublished Volume III of Zohar Manna and Amir Pnueli's work on the verification of reactive systems using temporal logic techniques. --Book Jacket
Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers by Saddek Bensalem( )

16 editions published in 2009 in English and Undetermined and held by 486 WorldCat member libraries worldwide

Annotation
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings by Bernhard Steffen( )

14 editions published in 2008 in English and held by 466 WorldCat member libraries worldwide

The book constitutes the refereed proceedings of the 9th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in San Francisco, USA, in January 2008. The 21 revised full papers presented together with 2 invited lectures and 2 invited tutorials were carefully reviewed and selected from a total of over 60 submissions. The papers feature current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, cross-fertilization, and advancement of hybrid methods
Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings by Doron A Peled( Book )

19 editions published between 2001 and 2002 in English and German and held by 376 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems
Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings by Rajeev Alur( )

16 editions published in 2004 in English and held by 353 WorldCat member libraries worldwide

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools, including algorithms and techniques needed for their implementation. The c- ference has traditionally drawn contributions from researchers as well as prac- tioners in both academia and industry. This year we received 94 regular paper submissions out of which 35 were selected. Each submission received an average of 4 referee reviews. In addition, the CAV program contained 11 tool presentations selected from 16 submissions. For each tool presentation, a demo was given at the conference. The large number of tool submissions and presentations testi?es to the liveliness of the?eld and its applied?avor
Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedings by Nicolas Halbwachs( Book )

20 editions published in 1999 in English and held by 350 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99. The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction
Software reliability methods by Doron A Peled( Book )

13 editions published between 2001 and 2011 in English and held by 337 WorldCat member libraries worldwide

This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability
Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings by Cyrille Artho( )

10 editions published between 2005 and 2016 in English and Undetermined and held by 257 WorldCat member libraries worldwide

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis
Partial order methods in verification : DIMACS workshop July 24-26, 1996 by Doron A Peled( Book )

12 editions published between 1996 and 1997 in English and held by 145 WorldCat member libraries worldwide

This book presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. It contains surveys of techniques used in tools developed for automatic validation of systems. Other papers present recent developments in concurrency theory, logics of programs, model-checking, automata and formal languages theory. The volume contains the proceedings from the workshop, Partial Order Methods in Verification, which was held in Princeton, NJ, in July 1996. The workshop focused on both the practical and the theoretical aspects of using partial order models, including
The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 by Jean-Charles Grégoire( Book )

9 editions published in 1997 in English and Undetermined and held by 97 WorldCat member libraries worldwide

Dependable Software Systems Engineering by A Pretschner( )

2 editions published in 2017 in English and held by 67 WorldCat member libraries worldwide

Tools for the model based development of certifiable, dependable systems 07241 abstracts collection ; Dagstuhl seminar( )

1 edition published in 2008 in English and held by 16 WorldCat member libraries worldwide

Tools for the model-based development of certifiable, dependable systems June 10th to June 15th 2007 Dagstuhl Seminar ; 07241 summary by M Huhn( )

1 edition published in 2008 in English and held by 15 WorldCat member libraries worldwide

Verification, Model Checking, and Abstract Interpretation by Francesco Logozzo( )

1 edition published in 2008 in English and held by 11 WorldCat member libraries worldwide

The book constitutes the refereed proceedings of the 9th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in San Francisco, USA, in January 2008. The 21 revised full papers presented together with 2 invited lectures and 2 invited tutorials were carefully reviewed and selected from a total of over 60 submissions. The papers feature current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, cross-fertilization, and advancemen
The SPIN Verification System by Jean-Charles Grégoire( )

1 edition published in 1997 in English and held by 10 WorldCat member libraries worldwide

What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. It has been used to detect design errors in a wide range of applications, such as abstract distributed algorithms, data communications protocols, operating systems code, and telephone switching code. The verifier can check for basic correctness properties, such as absence of deadlock and race conditions, logical completeness, or unwarranted assumptions about the relative speeds of correctness properties expressed in the syntax of Linear-time Temporal Logic (LTL). The tool tra
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.38 (from 0.07 for Model chec ... to 0.86 for Tools for ...)

Model checking
Covers
Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedingsModel Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papersTime for verification : essays in memory of Amir PnueliRuntime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papersVerification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedingsFormal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedingsComputer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedingsComputer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedings
Alternative Names
Barʾel Dan 1962-....

Peled, D. A. 1962-

Peled, Doron

Peled, Doron 1962-

Peled, Doron A.

Peled, Doron A. 1962-

פלד דורון 1962-....

Languages
English (211)

German (1)