2 citations · 3 across the 3 of their papers we have counts for
3 papers
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…
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories
Francesco Leofante, Erika Ábrahám, Tim Niemueller +2
In manufacturing, the increasing involvement of autonomous robots in production processes poses new challenges on the production management. In this paper we report on the usage of…
Challenges and Recommendations for Preparing HPC Applications for Exascale
Erika Abraham, Costas Bekas, Ivona Brandic +5
While the HPC community is working towards the development of the first Exaflop computer (expected around 2020), after reaching the Petaflop milestone in 2008 still only few HPC ap…