Follow
Roberto Bagnara
Roberto Bagnara
Department of Mathematical, Physical and Computer Sciences - University of Parma, Italy
Verified email at cs.unipr.it - Homepage
Title
Cited by
Cited by
Year
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
R Bagnara, PM Hill, E Zaffanella
Science of Computer Programming 72 (1-2), 3-21, 2008
4992008
Precise widening operators for convex polyhedra
R Bagnara, PM Hill, E Ricci, E Zaffanella
Science of Computer Programming 58 (1-2), 28-56, 2005
1972005
Possibly not closed convex polyhedra and the Parma Polyhedra Library
R Bagnara, E Ricci, E Zaffanella, PM Hill
International Static Analysis Symposium, 213-229, 2002
1762002
Widening operators for powerset domains
R Bagnara, PM Hill, E Zaffanella
International Workshop on Verification, Model Checking, and Abstract …, 2004
131*2004
Data-flow analysis for constraint logic-based languages
R Bagnara
Università di Pisa. Dipartimento di Informatica, 1997
621997
A unified proof for the convergence of Jacobi and Gauss–Seidel methods
R Bagnara
SIAM review 37 (1), 93-97, 1995
571995
Not necessarily closed convex polyhedra and the double description method
R Bagnara, PM Hill, E Zaffanella
Formal Aspects of Computing 17 (2), 222-257, 2005
542005
Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness
R Bagnara, PM Hill, E Zaffanella
Formal Methods in System Design 35 (3), 279-323, 2009
502009
Generation of basic semi-algebraic invariants using convex polyhedra
R Bagnara, E Rodríguez-Carbonell, E Zaffanella
International Static Analysis Symposium, 19-34, 2005
502005
Symbolic path-oriented test data generation for floating-point programs
R Bagnara, M Carlier, R Gori, A Gotlieb
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
472013
Applications of polyhedral computations to the analysis and verification of hardware and software systems
R Bagnara, PM Hill, E Zaffanella
Theoretical Computer Science 410 (46), 4672-4691, 2009
472009
Set-sharing is redundant for pair-sharing
R Bagnara, PM Hill, E Zaffanella
International Static Analysis Symposium, 53-67, 1997
451997
A new look at the automatic synthesis of linear ranking functions
R Bagnara, F Mesnard, A Pescetti, E Zaffanella
Information and Computation 215, 47-67, 2012
442012
Factorizing equivalent variable pairs in ROBDD-based implementations of Pos
R Bagnara, P Schachte
International Conference on Algebraic Methodology and Software Technology …, 1999
431999
An improved tight closure algorithm for integer octagonal constraints
R Bagnara, PM Hill, E Zaffanella
International Workshop on Verification, Model Checking, and Abstract …, 2008
392008
Set-sharing is redundant for pair-sharing
R Bagnara, PM Hill, E Zaffanella
Theoretical Computer Science 277 (1-2), 3-46, 2002
352002
cTI: A constraint-based termination inference tool for ISO-Prolog
F Mesnard, R Bagnara
Theory and Practice of Logic Programming 5 (1-2), 243-257, 2005
332005
Eventual linear ranking functions
R Bagnara, F Mesnard
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
322013
A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
R Bagnara
Science of Computer Programming 30 (1-2), 119-155, 1998
321998
Widening operators for weakly-relational numeric abstractions
R Bagnara, PM Hill, E Mazzi, E Zaffanella
International Static Analysis Symposium, 3-18, 2005
302005
The system can't perform the operation now. Try again later.
Articles 1–20