Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Roberto Bagnara A
Observed names:
BAGNARA R,
Bagnara, R.,
Bagnara, Roberto,
R. Bagnara,
ROBERTO BAGNARA,
Roberto Bagnara
show all 6
Institution:
University of Parma
Observed institutions:
University of Pisa,
University of Parma,
University of Leeds,
Mathématiques et Informatique Appliquées,
European Organization for Nuclear Research
ORCID:
0000-0002-6163-6278
Observed ORCID:
0000-0002-6163-6278
OpenAlex ID:
A5057370941
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
2008
·
Roberto Bagnara
, Patricia M. Hill
, et al.
·
Science of Computer Programming
·
474
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library
2002
·
Roberto Bagnara
, Elisa Ricci
, et al.
·
Lecture notes in computer science
·
132
Precise Widening Operators for Convex Polyhedra
2003
·
Roberto Bagnara
, Patricia M. Hill
, et al.
·
121
Precise widening operators for convex polyhedra
2005
·
Roberto Bagnara
, Patricia M. Hill
, et al.
·
Science of Computer Programming
·
69
PDF
Widening operators for powerset domains
2007
·
Roberto Bagnara
, Patricia M. Hill
, et al.
·
International Journal on Software Tools for Technology Transfer
·
64
PDF
A Unified Proof for the Convergence of Jacobi and Gauss–Seidel Methods
1995
·
Roberto Bagnara
·
SIAM Review
·
53
Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness
2009
·
Roberto Bagnara
, Patricia M. Hill
, et al.
·
Formal Methods in System Design
·
43
Data-Flow Analysis for Constraint Logic-Based Languages
1999
·
Roberto Bagnara
, Antonio Bassi
, et al.
·
42
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
2005
·
Roberto Bagnara
, Enric Rodríguez-Carbonell
, et al.
·
Lecture notes in computer science
·
41
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
2013
·
Roberto Bagnara
, Matthieu Carlier
, et al.
·
IEEE International Conference on Software Testing, Verification and Validation (ICST)
·
39
Precise Widening Operators for Convex Polyhedra
2003
·
Roberto Bagnara
, Patricia M. Hill
, et al.
·
Lecture notes in computer science
·
38
Not necessarily closed convex polyhedra and the double description method
2005
·
Roberto Bagnara
, Patricia M. Hill
, et al.
·
Formal Aspects of Computing
·
37
Widening Operators for Powerset Domains
2004
·
Roberto Bagnara
, Patricia M. Hill
, et al.
·
Lecture notes in computer science
·
37
Applications of polyhedral computations to the analysis and verification of hardware and software systems
2009
·
Roberto Bagnara
, Patricia M. Hill
, et al.
·
Theoretical Computer Science
·
34
PDF
A new look at the automatic synthesis of linear ranking functions
2012
·
Roberto Bagnara
, Fred Mesnard
, et al.
·
Information and Computation
·
33
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
2008
·
Roberto Bagnara
, Patricia M. Hill
, et al.
·
Springer eBooks
·
33
PDF
Widening operators for powerset domains
2006
·
Roberto Bagnara
, Patricia M. Hill
, et al.
·
International Journal on Software Tools for Technology Transfer
·
32
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software
2018
·
Roberto Bagnara
, Abramo Bagnara
, et al.
·
Lecture notes in computer science
·
29
Widening Operators for Weakly-Relational Numeric Abstractions
2005
·
Roberto Bagnara
, Patricia M. Hill
, et al.
·
Lecture notes in computer science
·
28
cTI: a constraint-based termination inference tool for ISO-Prolog
2005
·
FRED MESNARD
, ROBERTO BAGNARA
·
Theory and Practice of Logic Programming
·
27
PDF
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos
1998
·
Roberto Bagnara
, Peter Schachte
·
Lecture notes in computer science
·
27
Grids: A Domain for Analyzing the Distribution of Numerical Values
2007
·
Roberto Bagnara
, Katy Dobson
, et al.
·
Springer eBooks
·
26
Set-sharing is redundant for pair-sharing
2002
·
Roberto Bagnara
, Patricia M. Hill
, et al.
·
Theoretical Computer Science
·
24
PDF
A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
1998
·
Roberto Bagnara
·
Science of Computer Programming
·
24
PDF
Set-sharing is redundant for pair-sharing
1997
·
Roberto Bagnara
, Patricia M. Hill
, et al.
·
Lecture notes in computer science
·
23
Show more works
View as search
Works count:
151
Citation count:
1,859
H-index:
24
I10-index:
39
Year
Topic
Type
