activity
20012023
most citedPURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis

21 citations · 78 across the 23 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.PL2018★ 2 cited

The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software

Roberto Bagnara, Abramo Bagnara, Patricia M. Hill

The MISRA project started in 1990 with the mission of providing world-leading best practice guidelines for the safe and secure application of both embedded control systems and stan…