Browse
FAQ

Author

Rupak Majumdar

7 books found

Cover of Networked Systems

Networked Systems

Chryssis Georgiou, Rupak Majumdar · First published 2021

Cover of Computer Aided Verification

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak · First published 2017

Cover of POPL '16

Popl '16

Rastislav Bodik, Rupak Majumdar · First published 2016

Cover of Runtime Verification

Runtime Verification

Ezio Bartocci, Rupak Majumdar · First published 2015

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Javier Esparza, Rupak Majumdar · First published 2010

Cover of Hybrid Systems : Computation and Control

Hybrid Systems : Computation and Control

Rupak Majumdar, Paulo Tabuada · First published 2009

Cover of Model Checking Software

Model Checking Software

Klaus Havelund, Rupak Majumdar, Jens Palsberg · First published 2008