activity
20122025
most citedTowards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata

6 citations · 9 across the 8 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.AI2024

Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes (Preprint)

Piotr Gorczyca, Dörthe Arndt, Martin Diller +7

We propose the Riskman ontology and shapes for representing and analysing information about risk management for medical devices. Risk management is concerned with taking necessary…