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,
   A Framework for Planning with Extended Goals under Partial Observability,
   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,
   Interleaving Execution and Planning via Symbolic Model Checking,
   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,
   MBP: A Model Based Planner,
   ICAPS`03: system demo session,
   2003
   , (ICAPS`03: system demo session,
   2003)
9. Piergiorgio Bertoli; Alessandro Cimatti; Lago U. Dal; Marco Pistore,
   Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans,
   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