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

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

collaborators
Showing cs.LOShow 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…