yr 〜
yr

Search results 21

Automated technology for verification and analysis : 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016 : proceedings

Automated technology for verification and analysis : 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016 : proceedings
Paper図書
Cyrille Artho, Axel Legay, Doron Peled (eds.)Springerc2016
Other Libraries in Japan
  • Author HeadingATVA Artho, Cyrille Legay, Axel Peled, Doron

Engineering dependable software systems

Engineering dependable software systems
Paper図書
edited by Manfred Broy, Doron Peled, Georg KalusIOS Pressc2013
Other Libraries in Japan
  • Author Heading... Broy, Manfred Peled, Doron Kalus, Georg

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan. (Lecture Notes in Computer Science ; 9938)

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan. (Lecture Notes in Computer Science ; 9938)
Paper図書
Springer[2016]<M17-19-536>
National Diet Library
  • Author HeadingATVA (Symposium) (14th : 2016 : Chiba, Japan) Artho, Cyrille. Legay, Axel. Peled, Doron A., 1962-

Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.). (Lecture notes in computer science ; 6200 ; Festschrift)

Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.). (Lecture notes in computer science ; 6200 ; Festschrift)
Paper図書
Springerc2010.<X>
National Diet Library
  • Author HeadingManna, Zohar Peled, Doron, 1962-

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings
Paper図書
Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingVMCAI Logozzo, Francesco Peled, Doron Zuck, Lenore D.

Runtime verification : 9th international workshop, RV 2009 : Grenoble, France, June 26-28, 2009 : selected papers. : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5779)

Runtime verification : 9th international workshop, RV 2009 : Grenoble, France, June 26-28, 2009 : selected papers. : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5779)
Paper図書
Springerc2009.<M17-10-1251>
National Diet Library
  • Author HeadingBensalem, Saddek. Peled, Doron, 1962- RV 2009 (2009 : Grenob...

Engineering dependable software systems : NATO Advanced Study Institute summer school Marktoberdorf 2012 : Jul 2012, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 34)

Engineering dependable software systems : NATO Advanced Study Institute summer school Marktoberdorf 2012 : Jul 2012, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 34)
Paper図書
IOS Press[2013]<M17-15-1429>
National Diet Library
  • Author Heading...roy, M., 1949- Peled, Doron A., 1962- Kalus, Georg.

Model checking and artificial intelligence : 5th international workshop, MoChArt 2008 : Patras, Greece, July 21, 2008 : revised selected and invited papers. : Jul 2008, Patras, Greece. (Lecture Notes in Computer Science ; 5348. Lecture Notes in Artificial Intelligence)

Model checking and artificial intelligence : 5th international workshop, MoChArt 2008 : Patras, Greece, July 21, 2008 : revised selected and invited papers. : Jul 2008, Patras, Greece. (Lecture Notes in Computer Science ; 5348. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-2067>
National Diet Library
  • Author HeadingPeled, Doron, 1962- Wooldridge, Michael J....

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4905)

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4905)
Paper図書
Springerc2008.<M17-08-1774>
National Diet Library
  • Author HeadingLogozzo, Francesco. Peled, Doron, 1962- Zuck, Lenore D., 1958-...

Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference, Houston, Texas, USA, November 11-14, 2002 : proceedings

Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
Paper図書
Doron A. Peled, Moshe Y. Vardi (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingFORTE IFIP Working Group 6.1 Peled, Doron Vardi, Moshe

Software reliability methods

Software reliability methods
Paper図書
Doron A. Peled ; foreword by Edmund M. ClarkeSpringerc2001
Other Libraries in Japan
  • Author HeadingPeled, Doron Clarke, Edmund

Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings

Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings
Paper図書
Nicolas Halbwachs, Doron Peled (eds.)Springer-Verlagc1999
Other Libraries in Japan
  • Author HeadingCAV (Conference) Halbwachs, Nicolas Peled, Doron

Model checking

Model checking
Paper図書
Edmund M. Clarke, Jr., Orna Grumberg, Doron A. PeledMIT Pressc1999
Other Libraries in Japan
  • Author HeadingClarke, Edmund Grumberg, Orna Peled, Doron

Computer aided verification : 16th international conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings. : Jul 2004, Boston, MA. (Lecture Notes in Computer Science ; 3114)

Computer aided verification : 16th international conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings. : Jul 2004, Boston, MA. (Lecture Notes in Computer Science ; 3114)
Paper図書
Springerc2004.<M17-05-75>
National Diet Library
  • Author HeadingAlur, Rajeev, 1966- Peled, Doron, 1962- CAV (Conference) (16th...

Formal techniques for networked and distributed systems -- FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings. : Nov 2002, Houston, TX. (Lecture Notes in Computer Science ; 2529)

Formal techniques for networked and distributed systems -- FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings. : Nov 2002, Houston, TX. (Lecture Notes in Computer Science ; 2529)
Paper図書
Springer2002.<M17-03-199>
National Diet Library
  • Author Heading...puter Science. Peled, Doron, 1962- Vardi, Moshe Y. FORTE ...

Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,

Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,
Paper図書
Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editorsAmerican Mathematical Societyc1997
Other Libraries in Japan
  • Author Heading...on University) Peled, Doron Pratt, Vaughan R. Holzmann, G...

The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996

The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996
Paper図書
Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editorsAmerican Mathematical Societyc1997
Other Libraries in Japan
  • Author HeadingWorkshop on the SPIN Verification System Grégoire, Jean-Charles Holzmann, Gerard J. Peled, Doron

Time for verification : essays in memory of Amir Pnueli

Time for verification : essays in memory of Amir Pnueli
Paper図書
Zohar Manna, Doron A. Peled (eds.)Springerc2010
Other Libraries in Japan
  • Author HeadingManna, Zohar Peled, Doron A.

Runtime verification : 9th International Workshop, RV 2009 Grenoble, France, June 26-28, 2009 : selected papers

Runtime verification : 9th International Workshop, RV 2009 Grenoble, France, June 26-28, 2009 : selected papers
Paper図書
Saddek Bensalem, Doron A. Peled (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingRV Bensalem, Saddek Peled, Doron A.

Automated technology for verification and analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings

Automated technology for verification and analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
Paper図書
Doron A. Peled, Yih-Kuen Tsay (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingATVA Tsay, Yih-Kuen Peled, Doron A.