-
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
-
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
-
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)
-
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)
-
Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich,
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)
-
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)
-
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)
-
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)
-
Anna Förster; Alexander Förster; Amy Lynn Murphy,
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/)
-
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)