Maison des Polytechniciens, Paris, Jan. 21, 2005
- Compositional Abstraction and Analysis of Digital Linear Filters
using the Z-transform. David Monniaux, In First International Workshop on Numeric and Symbolic Abstract Domains (NSAD'05)
, Paris, France, January 21, 2005.
- Parametric Abstract Domains. Patrick Cousot, In First International Workshop on Numeric and Symbolic Abstract Domains (NSAD'05)
, Paris, France, January 21, 2005.
- A Relational Abstraction for Functions. Bertrand
Jeannet, Thomas Reps and Denis Gopan, In First International Workshop on Numeric and Symbolic Abstract Domains (NSAD'05)
, Paris, France, January 21, 2005.
- Numerical
Abstract Domains for Digital Filters. Jérôme Féret, In First International Workshop on Numeric and Symbolic Abstract Domains (NSAD'05)
, Paris, France, January 21, 2005.
- Benchmarking Polyhedral Algorithms:
Satisfiability and Dual Conversion. Duong Nguyen Que and François Irigoin, In First International Workshop on Numeric and Symbolic Abstract Domains (NSAD'05)
, Paris, France, January 21, 2005.
