Martijn Klabbers

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Entity Relationship

Intelligent Agent Technology

Conceptual Modelling

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers
A Modeling Approach to Support Safety Assurance in the Automotive Domain. ICSEng (2014)
Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers
From Conceptual Models to Safety Assurance. ER (2014)
Yaping Luo, Mark van den Brand, Luc Engelen, John M. Favaro, Martijn Klabbers, Giovanni Sartori
Extracting Models from ISO 26262 for Reusable Safety Assurance. ICSR (2013)
Jeroen J. A. Keiren, Martijn Klabbers
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Alexander Serebrenik, Amrita Mishra, Thomas Delissen, Martijn Klabbers
Requirements Certification for Offshoring Using LSPCM. QUATIC (2010)
Petra Heck, Martijn Klabbers, Marko C. J. D. van Eekelen
A software product certification model. Softw. Qual. J. 18 (1) (2010)