WorldCat Identities

Peled, Doron A. 1962-

Overview
Works: 42 works in 257 publications in 1 language and 8,142 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Other, Creator
Publication Timeline
.
Most widely held works by Doron A Peled
Software reliability methods by Doron A Peled( Book )

13 editions published between 2001 and 2011 in English and held by 281 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
Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedings by Nicolas Halbwachs( Book )

19 editions published in 1999 in English and held by 212 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
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 119 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 )

8 editions published in 1997 in English and Undetermined and held by 91 WorldCat member libraries worldwide

Model Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers by Doron A Peled( Book )

17 editions published in 2009 in English and Undetermined and held by 72 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
Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers by Saddek Bensalem( Book )

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

Annotation
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

Dependable software systems engineering by A Pretschner( Book )

9 editions published between 2015 and 2017 in English and held by 13 WorldCat member libraries worldwide

Automated Technology for Verification and Analysis 14th International Symposium, Proceedings by Cyrille Artho( Book )

9 editions published between 2005 and 2016 in English and Undetermined and held by 9 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
Automated technology for verification and analysis Third International Symposium, ATVA 2005 : Taipei, Taiwan, October 4-7, 2005 : proceedings by ATVA( )

5 editions published in 2005 in English and held by 6 WorldCat member libraries worldwide

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

1 edition published in 2008 in English and held by 0 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.13 for Dependable ... to 0.94 for Formal tec ...)

Software reliability methods
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 (109)

Covers
Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedingsPartial order methods in verification : DIMACS workshop July 24-26, 1996Model Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papersRuntime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papersFormal techniques for networked and distributed systems : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 ; proceedingsAutomated Technology for Verification and Analysis 14th International Symposium, ProceedingsAutomated technology for verification and analysis Third International Symposium, ATVA 2005 : Taipei, Taiwan, October 4-7, 2005 : proceedings