Rupak Majumdar

Identifiers

Open LibraryOL7940476A

Top Subjects

Computer software, verification (1)

Books by Rupak Majumdar

Total count: 6

Model Checking Software15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Springer London, Limited2008-01-01
Hybrid Systems : Computation and Control12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings

Springer London, Limited2009-01-01
Runtime Verification6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Springer London, Limited2015-01-01
POPL '16Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Association for Computing Machinery2016-03-23
Computer Aided Verification29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Springer2017-07-13
Networked Systems8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings

Springer International Publishing AG2021-01-01