IRIS

ZAFFANELLA, Enea

ZAFFANELLA, Enea  

Dipartimento di Scienze Matematiche, Fisiche e Informatiche  

Mostra records
Risultati 1 - 20 di 92 (tempo di esecuzione: 0.04 secondi).
Titolo Data di pubblicazione Autore(i) File
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 1-gen-2001 Hill, P. M.; Zaffanella, Enea; Bagnara, Roberto
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 1-gen-2004 Hill, P. M.; Zaffanella, Enea; Bagnara, Roberto
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis offinite and rational tree languages 1-gen-2004 Hill, Pm; Zaffanella, E; Bagnara, R
A direct encoding for NNC polyhedra 1-gen-2018 Becchi, Anna; Zaffanella, Enea
A Linear Domain for Analyzing the Distribution of Numerical Values 1-gen-2005 Bagnara, Roberto; Dobson, K.; Hill, P. M.; Mundell, M.; Zaffanella, Enea
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A New Encoding of Not Necessarily Closed Convex Polyhedra 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A New Look at the Automatic Synthesis of Linear Ranking Functions 1-gen-2012 Bagnara, Roberto; Mesnard, F.; Pescetti, Andrea; Zaffanella, Enea
A Prolog-Based Environment for Reasoning About Programming Languages 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Abstracting Synchronization in Concurrent Constraint Programming 1-gen-1998 Zaffanella, Enea; Giacobazzi, R.; Levi, G.
Abstracting Synchronization in Concurrent Constraint Programming 1-gen-1994 Zaffanella, Enea; Giacobazzi, R.; Levi, G.
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra 1-gen-2018 Becchi, Anna; Zaffanella, Enea
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 1-gen-2008 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems 1-gen-2009 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics 1-gen-2018 Frehse, Goran; Abate, Alessandro; Adzkiya, Dieky; Bu, Lei; Giacobbe, Mirco; Syifa'ul Mufid, Muhammad; Zaffanella, Enea
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics 1-gen-2019 Frehse, Goran; Abate, Alessandro; Adzkiya, Dieky; Becchi, Anna; Bu, Lei; Cimmati, Alessandro; Giacobbe, Mirco; Griggio, Alberto; Mover, Sergio; Syifa'ul Mufid, Muhammad; Riouak, Idriss; Tonetta, Stefano; Zaffanella, Enea
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 1-gen-2020 Bu, Lei; Abate, Alessandro; Adzkiya, Dieky; Syifa'Ul Mufid, Muhammad; Ray, Rajarshi; Wu, Yuming; Zaffanella, Enea
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 1-gen-2022 Bu, Lei; Frehse, Goran; Kundu, Atanu; Ray, Rajarshi; Shi, Yuhui; Zaffanella, Enea