Research outputs (3)

1. Published

   The forgotten case of the dependency bugs: on the example of the robot operating system

   Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

2. Published

   Detecting Floating-Point Errors via Atomic Conditions

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

3. Published

   Effective Floating-Point Analysis via Weak-Distance Minimization

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review