pith. sign in

Roberto Bagnara

Identifiers

  • name variant Roberto Bagnara 0.60 · backfill

Papers (20)

  1. The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software cs.PL · 2018 · author #1
  2. MISRA C, for Security's Sake! cs.SE · 2017 · author #1
  3. Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version cs.AI · 2013 · author #1
  4. Eventual Linear Ranking Functions cs.PL · 2013 · author #1
  5. Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems cs.PL · 2013 · author #2
  6. The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version cs.PL · 2010 · author #1
  7. Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions cs.CG · 2009 · author #1
  8. A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract) cs.PL · 2007 · author #1
  9. An Improved Tight Closure Algorithm for Integer Octagonal Constraints cs.DS · 2007 · author #1
  10. On the Design of Generic Static Analyzers for Modern Imperative Languages cs.PL · 2007 · author #1
  11. Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems cs.CG · 2007 · author #1
  12. The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems cs.MS · 2006 · author #1
  13. PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis cs.MS · 2005 · author #1
  14. Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) cs.PL · 2004 · author #1
  15. Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version cs.PL · 2004 · author #1
  16. Enhanced sharing analysis techniques: a comprehensive evaluation cs.PL · 2004 · author #1
  17. A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages cs.PL · 2004 · author #3
  18. cTI: A constraint-based termination inference tool for ISO-Prolog cs.PL · 2003 · author #2
  19. Soundness, Idempotence and Commutativity of Set-Sharing cs.PL · 2001 · author #2
  20. Decomposing Non-Redundant Sharing by Complementation cs.PL · 2001 · author #3

Mentions

  • 1004.0944 #1 · backfill · confidence 0.70 Roberto Bagnara
  • 0904.1783 #1 · backfill · confidence 0.70 Roberto Bagnara
  • 0711.0345 #1 · backfill · confidence 0.70 Roberto Bagnara
  • 0705.4618 #1 · backfill · confidence 0.70 Roberto Bagnara

Frequent Coauthors