2009

1. Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Alberto Griggio; Roberto Sebastiani,
   Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version,
   in «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE»,
   vol. 55,
   n. 1-2,
   2009
   , pp. 66 -
   99
2. Marco Pistore; Pietro Braghieri; Piergiorgio Bertoli; Antonio Biscaglia; Annapaola Marconi; Stefano Pintarelli; Michele Trainotti,
   ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain,
   At Your Service: Service-Oriented Computing from an EU Perspective,
   Cambridge,
   MIT Press,
   2009
   , pp. 183 -
   212
3. Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani,
   Interpolant Generation for UTVPI,
   Proceedings of the 22nd Int. Conference on Automated Deduction,
   Springer Verlag,
   vol.5663,
   2009
   , pp. 167-
   182
   , (CADE-22,
   McGill University, Montreal, Canada,
   2-7/08/2009)
4. Alessandro Cimatti; Marco Roveri; Stefano Tonetta,
   Requirements Validation for Hybrid Systems,
   Proceedings 21st Int. Conference on Computer Aided Verification,
   Springer,
   vol.5643,
   2009
   , pp. 188-
   203
   , (CAV 2009,
   Grenoble, France,
   26/06/2009-02/07/2009)
5. Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich,
   The synergy of precise and fast abstractions for program verification,
   Proceedings of the 24th Annual ACM Symposium on Applied Computing,
   New York, NY,
   ACM,
   2009
   , pp. 566-
   573
   , (ACM SAC 2009,
   Honolulu, Hawaii, USA,
   08-12/03/2009)
6. Matteo Ceriotti; Luca Mottola; Amy Lynn Murphy; Gian Pietro Picco; Stefan Guna; Michele Corrà; Matteo Pozzi; Daniele Zonta; Paolo Zanon,
   Monitoring Heritage Buildings with Wireless Sensor Networks: The Torre Aquila Deployment,
   Information Processing in Sensor Networks (IPSN 2009),
   ACM,
   2009
   , (Information Processing in Sensor Networks (IPSN 2009),
   San Francisco, USA,
   13/04/2009 - 16/04/2009)
7. Leonardo Leiria Fernandes; Amy Lynn Murphy,
   MVSink: Incrementally Building In-Network Aggregation Trees,
   6th European Conference on Wireless Sensor Networks (EWSN 2009),
   Springer Verlag,
   vol.5432,
   2009
   , pp. 216-
   231
   , (6th European Conference on Wireless Sensor Networks (EWSN 2009),
   Cork, Ireland,
   11/02/2009 - 13/02/2009)
8. Luigi Palopoli; Roberto Passerone; Amy Lynn Murphy; Gian Pietro Picco; Alessandro Giusti,
   Solving the Wake-Up Scattering Problem Optimally,
   6th European Conference on Wireless Sensor Networks (EWSN 2009),
   Springer Verlag,
   vol.5432,
   2009
   , (6th European Conference on Wireless Sensor Networks (EWSN 2009),
   Cork, Ireland,
   11/02/2009 - 13/02/2009)
9. Anna Förster; Alexander Förster; Amy Lynn Murphy,
   Optimal cluster sizes for wireless sensor networks: An experimental analysis,
   First International Conference on Ad Hoc Networks (ADHOCNETS `09),
   2009
   , (First International Conference on Ad Hoc Networks (ADHOCNETS `09),
   Niagara Falls, Ontario, Canada,
   23/09/2009 - 25/09/)
10. Stefano Tonetta,
    Abstract Model Checking without Computing the Abstraction,
    Proceedings of the 16th Int. Symposium on Formal Methods,
    Berlin, Heidelberg,
    Springer-Verlag,
    2009
    , pp. 89-
    105
    , (FM2009,
    Eindhoven, the Netherlands,
    02-06/11/2009)

Pages