Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Bartocci, E., & Majumdar, R. (2017). Introduction to the Special Issue on Runtime Verification. Formal Methods in System Design, 51(1), 1-4. doi:10.1007/s10703-017-0287-6.