Roberto Bagnara
Roberto Bagnara
Department of Mathematical, Physical and Computer Sciences - University of Parma, Italy
Email verificata su cs.unipr.it - Home page
TitoloCitata daAnno
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
arXiv preprint cs/0612085, 2006
4062006
Precise widening operators for convex polyhedra
R Bagnara, PM Hill, E Ricci, E Zaffanella
Science of Computer Programming 58 (1-2), 28-56, 2005
1792005
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
1632002
Widening operators for powerset domains
R Bagnara, PM Hill, E Zaffanella
International Workshop on Verification, Model Checking, and Abstract …, 2004
1002004
Data-flow analysis for constraint logic-based languages
R Bagnara
Università di Pisa. Dipartimento di Informatica, 1997
571997
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
482005
A unified proof for the convergence of Jacobi and Gauss–Seidel methods
R Bagnara
SIAM review 37 (1), 93-97, 1995
481995
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
442009
Set-sharing is redundant for pair-sharing
R Bagnara, PM Hill, E Zaffanella
International Static Analysis Symposium, 53-67, 1997
411997
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
402012
Generation of basic semi-algebraic invariants using convex polyhedra
R Bagnara, E Rodríguez-Carbonell, E Zaffanella
International Static Analysis Symposium, 19-34, 2005
402005
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
392009
Factorizing equivalent variable pairs in ROBDD-based implementations of Pos
R Bagnara, P Schachte
International Conference on Algebraic Methodology and Software Technology …, 1999
391999
An improved tight closure algorithm for integer octagonal constraints
R Bagnara, PM Hill, E Zaffanella
International Workshop on Verification, Model Checking, and Abstract …, 2008
372008
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
342013
Set-sharing is redundant for pair-sharing
R Bagnara, PM Hill, E Zaffanella
Theoretical Computer Science 277 (1-2), 3-46, 2002
332002
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
322005
A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
R Bagnara
Università di Pisa, 1996
311996
Enhanced sharing analysis techniques: A comprehensive evaluation
R Bagnara, E Zaffanella, PM Hill
Theory and practice of logic programming 5 (1-2), 1-43, 2005
292005
Eventual linear ranking functions
R Bagnara, F Mesnard
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
262013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20