Вы здесь

Главная

Majumdar R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Temporal-Safety Proofs for Systems Code 2002 Henzinger T. A., Jhala R., Majumdar R., Necula G. C., Sutre G., Weimer W. Lecture Notes in Computer Science 31.08.2002
СТ Time-Safety Checking for Embedded Programs 2002 Henzinger T. A., Kirsch C. M., Majumdar R., Matic S. Lecture Notes in Computer Science 11.11.2002
СТ Software Verification with BLAST 2003 Henzinger T. A., Jhala R., Majumdar R., Sutre G. Lecture Notes in Computer Science 29.05.2003
СТ Extreme Model Checking 2003 Henzinger T. A., Jhala R., Majumdar R., Sanvido M.A. A. Lecture Notes in Computer Science 26.03.2004
СТ Abstractions from Proofs 2004 Henzinger T. A., Jhala R., Majumdar R., Mcmillan K. L. POPL 2004 09.06.2004
СТ The BLAST Query Language for Software Verification 2004 Beyer D., Chlipala A. J., Henzinger Th. A., Jhala R., Majumdar R. Lecture Notes in Computer Science Lecture Notes in Computer Science 22.10.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Hybrid Systems: Computation and Control: Proc./12th International Conference, HSCC 2009. San Francisco, CA, USA, April 2009 2009 Lecture Notes in Computer Science
  1. Majumdar R.
  2. Tabuada P.
 24.07.2009
СБ Tools and Algorithms for the Construction and Analysis of Systems: Proc./16th International Conference, TACAS 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010 2010 Lecture Notes in Computer Science
  1. Esparza J.
  2. Majumdar R.
 16.06.2010
СБ Runtime Verification: Proc./6th International Conference, RV 2015, Vienna, Austria, September 2015 2015 Lecture Notes in Computer Science
  1. Bartocci E.
  2. Majumdar R.
 20.10.2015