-
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
-
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
-
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
-
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)
-
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)
-
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)
-
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)
-
Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore; Marco Roveri; Paolo Traverso,
ICAPS`03: system demo session,
2003
, (ICAPS`03: system demo session,
2003)
-
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)
-
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)