M. D. Martijn Klabbers

According to our database, M. D. Martijn Klabbers authored at least 7 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A Modeling Approach to Support Safety Assurance in the Automotive Domain.

Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers

Proceedings of the Progress in Systems Engineering, 2014

From Conceptual Models to Safety Assurance.

Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers

Proceedings of the Conceptual Modeling - 33rd International Conference, 2014

2013

Extracting Models from ISO 26262 for Reusable Safety Assurance.

Yaping Luo, Mark van den Brand, Luc Engelen, John M. Favaro, Martijn Klabbers, Giovanni Sartori

Proceedings of the Safe and Secure Software Reuse, 2013

2012

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

2011

Understanding the Dynamics of Requirements Process Improvement: A New Approach.

A. S. Aminah Zawedde, M. D. Martijn Klabbers, Ddembe Williams, Mark van den Brand

Proceedings of the Product-Focused Software Process Improvement, 2011

2010

A software product certification model.

Petra Heck, Martijn Klabbers, Marko C. J. D. van Eekelen

Softw. Qual. J., 2010

Requirements Certification for Offshoring Using LSPCM.

Alexander Serebrenik, Amrita Mishra, Thomas Delissen, Martijn Klabbers

Proceedings of the Quality of Information and Communications Technology, 2010