Вы здесь

Peled D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Specifying and Verifying Partial Order Properties Using Template MSCs 2004 Genest B., Minea M., Muscholl A., Peled D. Lecture Notes in Computer Science 30.04.2004
СТ Unit Checking: Symbolic Model Checking for a Unit of Code 2003 Gunter E., Peled D. Lecture Notes in Computer Science 26.03.2004
СТ Automatic Verification of Annotated Code 2003 Peled D., Qu H. Lecture Notes in Computer Science 26.12.2003
СТ Adaptive Model Checking 2002 Groce A., Peled D., Yannakakis M. Lecture Notes in Computer Science 21.05.2002
СТ Comparing Symbolic and Explicit Model Checking of a Software System 2002 Eisner C., Peled D. Lecture Notes in Computer Science 01.05.2002
СТ From Falsification to Verification 2001 Peled D., Pnueli A., Zuck L. Lecture Notes in Computer Science 22.12.2001
СТ From Model Checking to a Temporal Proof 2001 Peled D., Zuck L. Lecture Notes in Computer Science 14.06.2001
СТ A Combined Testing and Verification Approach for Software Reliability 2001 Sharygina N., Peled D. Lecture Notes in Computer Science 06.04.2001
СТ Path Exploration Tool 1999 Gunter E. L., Peled D. Lecture Notes in Computer Science 08.04.1999
СТ Decising Global Partial-Order Properties 1998 Alur R., Mcmillan K., Peled D. Lecture Notes in Computer Science 11.08.1998
СТ Ten Years of Partial Order Reduction 1998 Peled D. Lecture Notes in Computer Science 03.07.1998
СТ A General Approach to Partial Order Reductions in Symbolic Verification 1998 Abdulla P. A., Jonsson B., Kindahl M., Peled D. Lecture Notes in Computer Science 03.07.1998
СТ Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs 1996 Godefroid P., Peled D., Staskauskas M. IEEE Trans. on Software Engineering 14.11.1996
СТ Partial Order Reduction: Model-Checking Using Representatives 1996 Peled D. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1996 11.10.1996
СТ An Analyzer for Message Sequence Charts 1996 Alur R., Holzmann G. J., Peled D. Lecture Notes in Computer Science 24.04.1996
СТ Formal Verification of a Partial-Order Reduction Technique for Model Checking 1996 Chou C. -T., Peled D. Lecture Notes in Computer Science 24.04.1996
СТ A Hierarchy of Partial Order Temporal Properties 1994 Kwiatkowska M., Peled D., Penczek W. Lecture Notes in Artificial Intelligence 12.08.1994
СТ All from One, One for All: on Model Cheking Using Representatives 1993 Peled D. Lecture Notes in Computer Science 20.08.1993
СТ A Compositional Approach for Fault-Tolerance Using Specification Transformation 1993 Peled D., Joseph M. Lecture Notes in Computer Science 29.07.1993
СТ Sometimes Some is as Good as All 1992 Peled D. Lecture Notes in Computer Science 16.10.1992