Requirements Certification for Offshoring Using LSPCM. - Alexander Serebrenik; Amrita Mishra; Thomas Delissen; Martijn Klabbers (QUATIC, 2010)

A software product certification model. - Petra Heck; Martijn Klabbers; Marko C. J. D. van Eekelen (Softw. Qual. J., 2010)

Understanding the Dynamics of Requirements Process Improvement: A New Approach. - A. S. Aminah Zawedde; M. D. Martijn Klabbers; Ddembe Williams; Mark van den Brand (PROFES, 2011)

Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2. - Jeroen J. A. Keiren; Martijn Klabbers (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Extracting Models from ISO 26262 for Reusable Safety Assurance. - Yaping Luo; Mark van den Brand; Luc Engelen; John M. Favaro; Martijn Klabbers; Giovanni Sartori (ICSR, 2013)

From Conceptual Models to Safety Assurance. - Yaping Luo; Mark van den Brand; Luc Engelen; Martijn Klabbers (ER, 2014)

A Modeling Approach to Support Safety Assurance in the Automotive Domain. - Yaping Luo; Mark van den Brand; Luc Engelen; Martijn Klabbers (ICSEng, 2014)