You are here

2011

  1. Alessandro Cimatti; Angelo Susi; Stefano Tonetta; Marco Roveri,
    in «SOFTWARE AND SYSTEMS MODELING»,
    vol. 10,
    n. 2,
    2011
    , pp. 147 -
    160
  2. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri,
    Safety, Dependability and Performance Analysis of Extended AADL Models,
    in «COMPUTER JOURNAL»,
    vol. 54,
    n. 5,
    2011
    , pp. 754 -
    775
  3. Anna Förster; Amy Lynn Murphy,
    in «AD HOC NETWORKS»,
    vol. 9,
    n. 5,
    2011
    , pp. 940 -
    965
  4. Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani,
    Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories,
    in «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH»,
    vol. 40,
    2011
    , pp. 701 -
    728
  5. Roberto Sebastiani; Stefano Tonetta; Moshe Vardi,
    Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking,
    in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
    vol. 13,
    n. 4,
    2011
    , pp. 319 -
    335
  6. Alessandro Cimatti; Sergio Mover; Marco Roveri; Stefano Tonetta,
    From Sequential Extended Regular Expressions to NFA with Symbolic Labels,
    Proceedings of 15th Int. Conference on Implementation and Application of Automata,
    vol.6482,
    2011
    , pp. 87-
    94
    , (CIAA 2010,
    Winnipeg, Canada,
    12-15/08/2010)
  7. Matteo Ceriotti; Michele Corrà; Leandro D’Orazio; Roberto Doriguzzi; Daniele Facchin; Stefan Gună; Gian Paolo Jesi; Renato Lo Cigno; Luca Mottola; Amy L. Murphy; Massimo Pescalli; Gian Pietro Picco; Denis Pregnolato; Carloalberto Torghele,
    Is There Light at the Ends of the Tunnel? Wireless Sensor Networks for Adaptive Lighting in Road Tunnels,
    Proceedings of the 10th Int. Conference on Information Processing in Sensor Networks,
    IEEE,
    2011
    , pp. 187-
    198
    , (IPSN 2011,
    Chicago, IL, USA,
    12-14/04/2011)
  8. Alberto Griggio; Thi Thieu Hoa Le; Roberto Sebastiani,
    Proceedings 17th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems,
    vol.To appear,
    2011
    , (TACAS 2011,
    Saarbrücken, Germany,
    26/03/2011-03/04/2011)
  9. Alessandro Cimatti; Iman Narasamdya; Marco Roveri,
    Boosting Lazy Abstraction for SystemC with Partial Order Reduction,
    Proceedings of 17th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems,
    vol.To appear,
    2011
    , (TACAS 2011,
    Saarbrücken, Germany,
    26/03/2011-03/04/2011)
  10. Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
    Efficient Scenario VeriFIcation for Hybrid Automata,
    2011
    , (Accepted at CAV 2011 - 23rd International Conference onComputer Aided Verification,
    Cliff Lodge, Snowbird, Utah,
    14-20/07/2011)

Pages