Majumdar, Rupak.

Overview

Works:	2 works in 4 publications in 1 languages

Titles

Networked systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedings / by: Majumdar, Rupak.; SpringerLink (Online service); Georgiou, Chryssis.; NETYS (Conference) (2020 :) (Electronic resources)

Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / by: Havelund, Klaus, (1955-); Majumdar, Rupak.; Palsberg, Jens.; SpringerLink (Online service); International SPIN Workshop (2008 :) (Language materials, printed)

Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings / by: Majumdar, Rupak.; Tabuada, Paulo.; SpringerLink (Online service); HSCC 2009 ((2009 :) (Language materials, printed)

Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part I / by: Majumdar, Rupak.; SpringerLink (Online service); CAV (Conference) (2017 :); Kuncak, Viktor. (Electronic resources)

Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part II / by: Majumdar, Rupak.; SpringerLink (Online service); CAV (Conference) (2017 :); Kuncak, Viktor. (Electronic resources)

Symbolic algorithms for verification and control. by: Majumdar, Rupak.; University of California, Berkeley. (Electronic resources)

Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: Majumdar, Rupak.; SpringerLink (Online service); Bartocci, Ezio. (Electronic resources)

Subjects