Efficient Axiom Pinpointing with EL2MCS

Development of MDevSPICE – the Medical Device Software Process Assessment Framework

Diagonal Riccati Stability and Applications

Detection of Violation Causes in Relexion Models

Developing Software and Systems Engineering Standards

The Development and Validation of a Roadmap for Traceability

Development and Validation of the MedITNet Assessment Framework: Improving Risk Management of Medical IT Networks

Computing Maximal Autarkies with Few and Simple Oracle Queries

A Conceptual Framework for Lean Regulated Software Development

Connected Health: People, Technology and Processes