You are here

2003

  1. Alessandro Cimatti; Marco Pistore; Marco Roveri; Paolo Traverso,
    Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 147,
    n. 1-2,
    2003
  2. Armin Biere; Alessandro Cimatti; E.M. Clarke; Ofer Strichman; Yunshan Zhu,
    Bounded Model Checking,
    in «ADVANCES IN COMPUTERS»,
    vol. 58,
    n. ISBN 0-12-012158-1,
    2003
    , pp. 118 -
    149
  3. Anna Perini; Marco Pistore; Marco Roveri; Angelo Susi,
    Agent-oriented modeling by interleaving formal and informal specification,
    Agent-Oriented Software Engineering IV,
    Springer,
    2003
    , pp. 36 -
    52
  4. Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore; Paolo Traverso,
    Proceedings of ICAPS`03 - 13th International Conference on Automated Planning and Scheduling,
    AAAI,
    2003
    , pp. 215-
    225
    , (Proceedings of ICAPS`03 - 13th International Conference on Automated Planning and Scheduling,
    Trento, Italy,
    09/06/2003 - 13/06/2003)
  5. Marco Bozzano; Adolfo Villafiorita,
    Integrating Fault Tree Analysis with Event Ordering Information,
    :Safety & Reliability - ESREL 2003 - Proceedings of the European Safety and Reliability Conference 2003,
    2003
    , (:Safety & Reliability - ESREL 2003 - Proceedings of the European Safety and Reliability Conference 2003,
    2003)
  6. Marco Bozzano; Adolfo Villafiorita; O. Akerlund; P. Bieber; C. Bougnol; E. Boede; M. Bretschneider; A. Cavallo; C. Castel; M. Cifaldi; Alessandro Cimatti; A. Griffault; C. Kehren; B. Lawrence; A. Luedtke; S. Metge; C. Papadopoulos; R. Passarello; T. Peikenkamp; P. Persson; C. Seguin; L. Trotta; L. Villafiorita A. Valacca; Gabriele Zacco,
    ESACS: an integrated methodology for design and safety analysis of complex systems,
    Safety & Reliability - ESREL 2003 - Proceedings of the European Safety and Reliability Conference 2003,
    Balkema,
    2003
    , (Safety & Reliability - ESREL 2003 - Proceedings of the European Safety and Reliability Conference 2003,
    Maastricht, The Netherlands,
    2003)
  7. Piergiorgio Bertoli; Alessandro Cimatti; Paolo Traverso,
    ICAPS`03 Workshop on Planning under Uncertainty and Incomplete Information,
    AAAI,
    2003
    , pp. 1-
    7
    , (ICAPS`03 Workshop on Planning under Uncertainty and Incomplete Information,
    Trento, Italy,
    09/06/2003 - 13/06/2003)
  8. Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore; Marco Roveri; Paolo Traverso,
    ICAPS`03: system demo session,
    2003
    , (ICAPS`03: system demo session,
    2003)
  9. Piergiorgio Bertoli; Alessandro Cimatti; Lago U. Dal; Marco Pistore,
    ICAPS`03 Workshop on PDDL,
    2003
    , pp. 15-
    24
    , (ICAPS`03 Workshop on PDDL,
    Trento, Italy,
    2003)
  10. A. Fuxman; L. Liu; Marco Pistore; Marco Roveri; John Mylopoulos,
    Specifying and Analyzing Early Requirements: Some Experimental Results,
    11th IEEE International Conference on Requirements Engineering (RE 2003),
    IEEE Computer Society,
    2003
    , pp. 105-
    114
    , (11th IEEE International Conference on Requirements Engineering (RE 2003),
    Monterey Bay, USA,
    08/09/2003 - 12/09/2003)

Pages