8 citations · 14 across the 5 of their papers we have counts for
5 papers
A Valgrind Tool to Compute the Working Set of a Software Process
Martin Becker, Samarjit Chakraborty
This paper introduces a new open-source tool for the dynamic analyzer Valgrind. The tool measures the amount of memory that is actively being used by a process at any given point i…
Measuring Software Performance on Linux
Martin Becker, Samarjit Chakraborty
Measuring and analyzing the performance of software has reached a high complexity, caused by more advanced processor designs and the intricate interaction between user programs, th…
Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors
Martin Becker, Ravindra Metta, R Venkatesh +1
Estimating the Worst-Case Execution Time (WCET) of an application is an essential task in the context of developing real-time or safety-critical software, but it is also a complex…
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
Martin Becker, Emanuel Regnath, Samarjit Chakraborty
SPARK 2014 is a modern programming language and a new state-of-the-art tool set for development and verification of high-integrity software. In this paper, we explore the capabilit…
Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles
Martin Becker, Markus Neumair, Alexander Söhn +1
This paper describes the development and verification of a competitive parachute system for Micro Air Vehicles, in particular focusing on verification of the embedded software. We…