Author

Rupak Majumdar

7 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

7 books
Computer Aided Verification

Computer Aided Verification

Year unknown Rupak Majumdar and Viktor Kunčak
Hybrid Systems : Computation and ...

Hybrid Systems : Computation and Control

Year unknown Rupak Majumdar and Paulo Tabuada
Model Checking Software

Model Checking Software

Year unknown Klaus Havelund, Rupak Majumdar, and Jens Palsberg
Networked Systems

Networked Systems

Year unknown Chryssis Georgiou and Rupak Majumdar
POPL '16

POPL '16

Year unknown Rastislav Bodik and Rupak Majumdar
Runtime Verification

Runtime Verification

Year unknown Ezio Bartocci and Rupak Majumdar
Tools and Algorithms for the Cons...

Tools and Algorithms for the Construction and Analysis of Systems

Year unknown Javier Esparza and Rupak Majumdar

Fetched from OpenLibrary. Some translations may appear as separate works.