You are here

2010

  1. Luca Mottola; Gian Pietro Picco; Matteo Ceriotti; Amy Lynn Murphy; Stefan Guna,
    Not All Wireless Sensor Networks Are Created Equal: A Comparative Study On Tunnels,
    in «ACM TRANSACTIONS ON SENSOR NETWORKS»,
    vol. 7,
    n. 2,
    2010
  2. Daniele Zonta; Huayong Wu; Matteo Pozzi; Paolo Zanon; Matteo Ceriotti; Gian Pietro Picco; Amy L. Murphy; Stefan Guna; Michele Corrà,
    Wireless Sensor Networks for Permanent Health Monitoring of Historic Constructions,
    in «SMART STRUCTURES AND SYSTEMS»,
    vol. 6,
    n. 5-6,
    2010
  3. Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani,
    Efficient generation of craig interpolants in satisfiability modulo theories,
    in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC»,
    vol. 12,
    n. 1, article 7,
    2010
  4. Alessandro Cimatti,
    SPIN,
    Berlin, Heidelberg,
    Springer-Verlag,
    2010
    , pp. 1 -
    3
  5. Marco Bozzano; Adolfo Villafiorita,
    Design and Safety Assessment of Critical Systems,
    London,
    Auerbach Publications (Taylor & Francis Group),
    2010
  6. Alessandro Cimatti; Anders Franzen; Alberto Griggio; Kalyanasundaram Krishnamani; Marco Roveri,
    Tighter Integration of BDD and SMT for Predicate Abstraction,
    Proceedings of the Design, Automation & Test in Europe,
    2010
    , pp. 1707-
    1712
    , (DATE 2010,
    Dresden, Germany,
    08-12/03/2010)
  7. Alessandro Cimatti; Anders Franzén; Alberto Griggio; Roberto Sebastiani; Cristian Stenico,
    Satisfiability Modulo the Theory of Costs: Foundations and Applications,
    Proceedings of 16th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems,
    Berlin / Heidelberg,
    Springer,
    vol.6015,
    2010
    , pp. 99-
    113
    , (TACAS 2010,
    Paphos, Cyprus,
    20-28/03/2010)
  8. Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
    Formalization and Validation of Safety-Critical Requirements,
    Proceedings of the Workshop on Formal Methods for Aerospace,
    vol.20,
    2010
    , pp. 68-
    75
    , (FMA'09 - 16th Int. Symposium on Formal Methods FM'09,
    Eindhoven, The Netherlands,
    03/11/2009)
  9. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri; Ralf Wimmer,
    A Model Checker for AADL,
    Proceedings of 22nd International Conference on Computer Aided Verification,
    Springer,
    vol.6174,
    2010
    , pp. 562-
    565
    , (CAV 2010,
    Edinburgh, UK,
    15-19/07/2010)
  10. Roderick Bloem; Alessandro Cimatti; Karin Greimel; Georg Hofferek; Robert Koenighofer; Marco Roveri; Viktor Schuppan; Richard Seeber,
    RATSY - A new Requirements Analysis Tool with Synthesis,
    Proceedings of 22nd Int. Conference on Computer Aided Verification,
    Springer,
    vol.6174,
    2010
    , pp. 425-
    429
    , (CAV 2010,
    Edinburgh, UK,
    15-19/07/2010)

Pages