activity
20152021
most citedChallenges and Recommendations for Preparing HPC Applications for Exascale

2 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.LO2019★ 1 cited

Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development

Philipp Berger, Johanna Nellen, Joost-Pieter Katoen +3

In industrial model-based development (MBD) frameworks, requirements are typically specified informally using textual descriptions. To enable the application of formal methods, the…